Invariants / DC-ADMIT-12
DC-ADMIT-12
DC derived enforcedUndecodable peer bytes are Diverged (or PeerSentUndecodableBytes); never InputNotFound; never silent clean exit. C strengthens N-M-B's ProcessedBlock::Undecodable → AdmissionExitCode::Ok path: undecodable peer bytes are adversarial by default. They map to AgreementVerdict::Diverged (when a peer tip exists at the same slot) or AdmissionHalted { reason: PeerSentUndecodableBytes } (when no peer tip exists at that slot) (¬P-C7 no InputNotFound for adversarial input, ¬P-C9 no silent clean-exit on adversarial bytes).
- Source
docs/planning/phase4-n-m-c-operator-pass-invariants.md §1 (I-C10) + §2 (¬P-C7, ¬P-C9)
Enforcement trace
Tests 1
- admission_log::event::tests::admission_log_event_discriminator_round_trips_for_each_variant