Invariants / DC-ADMIT-06
DC-ADMIT-06
DC derived enforcedVerdict reducer is pure: verdict::derive(admit_outcome, peer_tip) is a pure function over closed input enums → closed output enum. No I/O, no clock, no state. The reducer is the GREEN-evidence boundary per [[feedback-evidence-reducers-are-green-not-authority]] — it compares authoritative outputs; it never decides authority.
- Source
docs/planning/phase4-n-m-b-admission-invariants.md §1 (I-B8)
Enforcement trace
Tests 1
- ade_node::admission::verdict::tests::verdict_derive_is_pure_two_runs_byte_identical