Receipts · settlement evidence

Receipts

Fills, settlements, released margin, transfers, and claim evidence — the audit trail. Each settlement receipt is deterministically replayable; community posts and UI previews are not protocol evidence.

SIMULATION ONLY

Settlement receipts

Each is deterministically replayable

IndexerUnavailable

INDEXERERROR

forward listings / portfolio / history are an indexer projection (Phase 4D); the indexer client is not wired and the SDK has no catalog fetch (No-Drift #2)

Contract lifecycle log

Durable per-status-transition record

IndexerUnavailable

INDEXERERROR

forward listings / portfolio / history are an indexer projection (Phase 4D); the indexer client is not wired and the SDK has no catalog fetch (No-Drift #2)

Liquidation receipts

0 bad debt

No liquidation receipts — under the WCC no-leverage default each side prepays its worst case up front, so liquidation is inert and there is nothing to recover.INDEXER

Fail-closed gate

6 checks

Pure compute descriptor

pure_compute

pass

Bounded domain

bounded_domain

pass

Zero-sum conservation

conservation

pass

Certified sup-provider

sup_provider

pass

CU within cap

cu_cap

pass

Conservative transfer mint

conservative_mint

pass

Evidence bundle

UDSI dominationpass

T-DOMINATION UNSATSIMULATION ONLY

Conservationpass

Sigma f = 0SIMULATION ONLY

Clamp then snappass

range proof greenSIMULATION ONLY

CU north-starpass

6.1k CU/order @ N=8INDEXER REPLAY

3-lane paritypass

Rust/Python/TS 0 driftSIMULATION ONLY

Mode-C verifierreview

off-chain cert hash pending for one pilotWORKER PENDING

Readback surfaces

Forward-path receipts — settlement, lifecycle, and liquidation — are SDK-decodable and wired above. Batch, perp, and secondary surfaces are decode-only (no SDK instruction builder, not yet cross-lane parity-locked), so they stay gated until their lane is built.

ProductTemplatePda

RegistrationReceipt

ListWccGateResult

BatchStatePda

BatchResultPda

SettlementReceipt

DisbursementRecord

EvidenceBundle