Witness the checkpoint.
Cross-check the quorum.
Exercise no finality.
Finality Observation binds one TBI-01 inclusion to inherited TCK-01 checkpoint, TQM-01 quorum and TFN-01 finalizer commitments. It verifies checkpoint height and root, certificate and validator-set commitments, two-thirds signer threshold, epoch, round, contiguous sequence, bounded timing, clear revocation, conflict freedom and one-time evidence use.
01OBSERVE
02INHERIT
03BIND
04CHECKPOINT
05CERTIFY
06QUORUM
07CONFLICT
08EXPIRE
09REPLAY
10SEAL
0102030405
FIVE FINALITY PROFILESONE CONFLICT-FREE CERTIFICATE COURT
TBI-01 INCLUDEDTCK-01 CHECKPOINT2 / 3 QUORUMTFO-01 OBSERVED
Bind the irreversible claim.
Retain reversible authority.
FINALITY OBSERVATION CONTRACT
INCLUSION EXACTCHECKPOINT BOUNDCERTIFICATE HASH-ONLYQUORUM SUFFICIENTCONFLICT FREEREPLAY CLOSED
COURT DECISION
REQUIRE THE EXACT TBI-01 EVIDENCE ROOT, TRANSACTION AND INCLUDED BLOCK; TCK-01 CHECKPOINT COMMITMENT AND ROOT; TFN-01 CERTIFICATE COMMITMENT; TQM-01 VALIDATOR SET; TWO-THIRDS DISTINCT SIGNER THRESHOLD; EPOCH; ROUND; CONTIGUOUS SEQUENCE; OPEN WINDOW; CLEAR REVOCATION; CONFLICT-FREE STATE; AND UNUSED FINALITY OBSERVATION NONCE.
TFO-01 proves only that declared hash evidence consistently observes a justified finality certificate. It cannot read or mutate a live checkpoint, accept or publish finality, publish a certificate, connect to RPC, broadcast, produce a block, execute, settle, hold custody or move assets.
01CUMULATIVE CHAINWAIT
02TBI-01 INCLUSION ROOTWAIT
03TRANSACTION + BLOCKWAIT
04CHAIN + NETWORKWAIT
05CHECKPOINT COMMITMENTWAIT
06CHECKPOINT ROOTWAIT
07FINALITY CERTIFICATEWAIT
08VALIDATOR SETWAIT
09QUORUM THRESHOLDWAIT
10EPOCH + ROUNDWAIT
11WINDOW + REVOCATIONWAIT
12CONFLICT + REPLAYWAIT
13ZERO AUTHORITYWAIT
FINALITY OBSERVATION RECEIPTTFO-01
AWAITING-EVIDENCEINCLUSION / TBI-01CHECKPOINT / TCK-01QUORUM / TQM-01FINALITY ACTIONS / 0