AdeAtlas
Invariants / CN-CONS-05

CN-CONS-05

CN true declared

Authoritative consensus decisions must not depend on wall-clock time, arrival-order races, scheduler interleavings, or OS behavior

Source

classification_table.md §D

Enforcement trace

Code

Tests 5

  • validate_replay_is_deterministic
  • consensus::header_validate::tests::pipeline_short_circuits_on_first_failure
  • consensus::header_validate::tests::nonce_contribution_uses_nonce_role_vrf_output_not_leader_role
  • replay_is_deterministic
  • reject_reason_bytes_are_stable

CI 2

Cross-references

T-CORE-02T-CONS-02DC-CONS-08

Strengthened in

PHASE4-N-B

Attack rationale

Core anti-nondeterminism rule.

Evidence notes

Direct restatement of T-CORE-02. Universal to any deterministic consensus system.