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

SIMULATION ONLYLocal simulation workspace.No transaction, wallet signature, program id, or funds movement is implied by this render.

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