Trust no label.
Recompute the package.
Make three paths agree.
Transaction Verification independently recomputes one TXV-01 disclosure package through policy lineage, canonical commitment and proof transcript paths. All three must converge on the exact roots, context, claims and caveats before local verification evidence can be sealed.
01OBSERVE
02INHERIT
03BIND
04RECOMPUTE
05CONTEXT
06CONSTRAIN
07TRIANGULATE
08REPLAY
09DECIDE
10SEAL
0102030405
3 / 3 PATHSINDEPENDENT CONVERGENCE
TXQ01
NOT ACCEPTED
PATH / APOLICY LINEAGEPASS
PATH / BCOMMITMENT RECOMPUTEPASS
PATH / CPROOF TRANSCRIPTPASS
QUORUMTHREE OF THREECONVERGED
LOCALNOT ACCEPTED
One disclosed view.
Three independent checks.
TRANSACTION VERIFICATION CONTRACT
ROOTS EXACTLINEAGE CONTINUOUSPOLICY CURRENTCOMMITMENT RECOMPUTEDTRANSCRIPT BOUNDREPLAY CLOSED
COURT DECISION
REQUIRE TXV-01, TXT-01, TVR-01 AND TPF-01; BIND THE DISCLOSURE AND EVIDENCE ROOTS; PRESERVE ATTESTATION, STATEMENT, TRANSACTION AND NETWORK LINEAGE; RECOMPUTE POLICY, MODEL AND PACKAGE COMMITMENT; BIND AUDIENCE, DOMAIN, PURPOSE AND CHALLENGE; CONSTRAIN CLAIMS AND CAVEATS; REQUIRE THE EXACT PROOF DIGEST, VERIFIER KEY AND THREE-OF-THREE PATH CONVERGENCE; REJECT EXPIRY, REVOCATION, EQUIVOCATION AND REPLAY.
TXQ-01 proves only that a declared disclosure package is internally consistent under three deterministic local paths. It cannot accept the package, issue a verification result, grant legal status, recommend or decide, enforce, accept proof, sign, broadcast, settle, recover, write state, hold custody or move assets.
01TXV-01 DISCLOSUREWAIT
02TXT-01 ATTESTATIONWAIT
03TVR-01 VERIFIERWAIT
04TPF-01 PROOFWAIT
05PACKAGE + EVIDENCE ROOTSWAIT
06POLICY + MODEL HASHESWAIT
07ATTESTATION LINEAGEWAIT
08CANONICAL COMMITMENTWAIT
09AUDIENCE + PURPOSEWAIT
10CLAIMS + CAVEATSWAIT
11PROOF TRANSCRIPTWAIT
123 OF 3 PATHSWAIT
13WINDOW + REPLAYWAIT
14ZERO AUTHORITYWAIT
TRANSACTION DISCLOSURE VERIFICATION EVIDENCETXQ-01
AWAITING-EVIDENCEPATHS / 0/3CLAIMS / 0/2CAVEATS / 0/3ACCEPTANCES / 0