Invariants / DC-ADMIT-01
DC-ADMIT-01
DC derived enforcedClosed AgreementVerdict sum (GREEN evidence, not authority): exactly four variants — Agreed{our_hash,peer_hash}, Lagging{our_slot,peer_slot}, Diverged{our_hash,peer_hash,slot}, InputNotFound{tx_in}. Each variant has narrow comparison semantics per the cluster invariants sketch §1 (I-B1). The reducer compares already-authoritative outputs (CN-CONS-08 admit verdict + peer's announced tip); it never decides validity, chain selection, or canonical state.
See memory [[feedback-evidence-reducers-are-green-not-authority]] for the classification doctrine this rule embodies.
- Source
docs/planning/phase4-n-m-b-admission-invariants.md §1 (I-B1) + §6 table
Enforcement trace
Tests 8
- ade_node::admission::verdict::tests::verdict_agreed_when_hashes_match
- ade_node::admission::verdict::tests::verdict_diverged_when_our_admit_differs_from_peer_hash
- ade_node::admission::verdict::tests::verdict_diverged_when_admit_invalid_at_same_slot
- ade_node::admission::verdict::tests::verdict_lagging_when_peer_ahead_of_our_slot
- ade_node::admission::verdict::tests::verdict_input_not_found_when_admit_missing_input
- ade_node::admission::verdict::tests::verdict_lagging_when_peer_tip_is_origin
- ade_node::admission::verdict::tests::verdict_derive_is_pure_two_runs_byte_identical
- ade_node::admission::verdict::tests::verdict_kind_discriminator_round_trips_each_variant