AdeAtlas
Invariants / T-CONS-01

T-CONS-01

T true enforced

Chain selection depends only on canonical observables; same candidates -> same tip

Source

Project constitution §2, 01_core §12

Enforcement trace

Code

Tests 6

  • replay_is_deterministic
  • reject_reason_bytes_are_stable
  • higher_block_no_wins
  • equal_block_no_tiebreaker_decides
  • select_best_chain_arrival_order_independent_distinct_heights
  • select_best_chain_arrival_order_independent_tiebreaker

CI 2

Cross-references

CN-CONS-01

Evidence notes

Binding to existing enforcement, NOT new semantic coverage (slice REG-T-CONS-01-BINDING, 2026-06-17). T-CONS-01 is the abstract true-tier statement of chain-selection determinism -- 'same candidate set -> same selected tip'. Its concrete enforcement is CN-CONS-01: the arrival-order-independence permutation proof (select_best_chain_arrival_order_independent_distinct_heights / _tiebreaker) establishes the selected tip is a pure function of the candidate set, independent of arrival order; replay_is_deterministic + ci_check_chain_selection_arrival_order_independent.sh + ci_check_no_density_in_fork_choice.sh lock it mechanically. This slice binds T-CONS-01 to that same code_locus / tests / ci_script. No chain-selection logic was added or changed; no new test or behaviour was introduced.