Invariants / T-CORE-02
T-CORE-02
T true enforcedNo wall-clock, unseeded randomness, floats, or nondeterministic collections in authoritative paths
- Source
Project constitution §2, D-2 through D-5
- Cluster
- CL-LEDGER-VERDICT
- Authority surface
- BLUE crate source
Enforcement trace
Tests 5
- taylor_exp_cmp_le_zero_x_returns_false
- taylor_exp_cmp_le_x_equals_one_returns_true
- taylor_exp_cmp_le_monotone_in_x
- is_leader_determinism
- is_leader_known_vector_matches_reference