TCK-01 / JUSTIFIED CHECKPOINT FINALITY, CONFLICT REJECTION & RECOVERY COURT

Justify one checkpoint.
Reject conflicting certificates.
Preserve the finality lock.

Checkpoint binds synchronized history to a stable validator epoch, proves deterministic two-thirds justification, rejects conflicting certificates and recovers finality after a partition.

01OBSERVE

02BIND

03VALIDATORS

04PREVOTE

05QUORUM

06CERTIFY

07CONFLICT

08LOCK

09RECOVER

10SEAL

0102030405

FIVE FINALITY PROFILES
ONE JUSTIFIED CHECKPOINT

01 / BIND CHECKPOINT CERTIFICATESYNC + NODE + QUORUM

Prove quorum.
Contain conflicting finality.

FINALITY DOMAINLEAD PROFILE

CERTIFICATE TAGFINALITY PURPOSE

SYNC RECEIPT / SHA-256NODE RECEIPT / SHA-256QUORUM RECEIPT / SHA-256BLOCK / SHA-256VALIDATOR SET / SHA-256

VALIDATORSSIGNED VOTES

VALIDATOR EPOCHBLOCK HEIGHT

MAX FINALITY SECONDS

DEVICE AUTHORITYCHECKING

I authorize ephemeral local finality evidence only. Checkpoint cannot contact public peers, access production validator keys, cast real votes, mutate production state, publish blocks, slash or move assets.

02 / SIGNED FINALITY EVIDENCEAWAITING CERTIFICATE

FINALITY INVARIANTS

SYNC BOUNDSET STABLE2/3 QUORUMSIGNERS UNIQUECONFLICT LOCKEDREPLAY EXACT

The SuperQuantum observer challenges quorum and conflicting certificates but has zero validator, voting, finality, state or launch authority.

PROFILE 01