Follow the approved clause to the ledger

Inspect the generated bytes, the bounded verification report, and the exact postings committed by the winning command.

Deployment verdictVerified historical artifact

Approvalappr_1hwgc1h373xscrfnvfsgq7ad3x
Definitionsha256:f415caedbdc726e3c288ecdd2b85265fe4e8b1e55c53e0265171444d93654026
Artifactsha256:eea4307cc12106af397e1fb7b5a71e05f05869f0feb61a5edc5a5f47303b8569
Reportsha256:a01f896a02596c033792edf9e25c5c2e6ed7e0f87748da21ad5cf59743c6ec6a
Posting2

From clause to postings

The clause that fired, its money effect, the verified script it compiled to, the ledger transaction it produced, and the exact postings that settled.

release won

Proof-carrying manifest

sha256:eea4307cc12106af397e1fb7b5a71e05f05869f0feb61a5edc5a5f47303b8569

Integrity verifiedActivation status: superseded

If the buyer accepts a submitted delivery before the deadline, release 90% of escrow to the seller and 10% to marketplace `market_001`.

01
Transitionaccept_deliveryclause_acceptance, clause_release, clause_deadline
02
Money effectrelease_escrow
03
Verified scriptrelease-escrow.numsha256:458718541ba0810e000672e3167cc0dbc91a0375ea695a05a3be5f01f4e172cd
04
Ledger transactionID 3agreement:agr_77z3yxatmfwjqeb17v9h63vf9p:event:evt_5r7s0dh0qw7a3qqcdaet1fby1s
05
Exact postings2 persisted

Bounded verification

Declared invariants hold within the explored Pact model and recorded bounds.

Tamper control

No mismatch found on this read

This is the exact persisted integrity status; no tamper run is fabricated.

Technical details

ARTIFACT_INTEGRITY_VERIFIED