Invariants / DC-ADMIT-03

DC-ADMIT-03

DC derived enforced

Diverged + InputNotFound are authority-fatal at the binary boundary. Distinct exit codes: EXIT_LIVE_AGREEMENT_DIVERGED=30, EXIT_LIVE_INPUT_NOT_FOUND=31. Mirrors PHASE4-N-K DC-NODE-04 fail-fast discipline. The fatality is the binary's response to the evidence — the verdict reducer itself stays pure / no exit.

Source: docs/planning/phase4-n-m-b-admission-invariants.md §1 (I-B2)

Enforcement trace

Code

crates/ade_node/src/admission/runner.rs

Tests 3

ade_node::admission::runner::tests::exit_code_constants_round_trip_to_i32
ade_node::admission::runner::tests::halt_for_verdict_only_diverged_or_input_not_found_halts
admission_replay_equivalence::admission_exit_codes_match_registered_values

CI 1

ci_check_admission_runner_closure.sh

Cross-references