Claims — Computation

Every claim on Computation and the pages under it, one line each: name, tier, verifier. 19 claims at this build. All sections.

Computation

• The universality verdict is demand-law-relative rule — explore_growth_machine.py, explore_slack_machine.py, explore_demand_reading.py
• The reading/hosting square rule — explore_demand_reading.py
• Mortality's closed form rule — explore_clock_vacuity.py
• The knife edge rule — explore_archimedean_dial.py
• The expressiveness perimeter rule — explore_expressiveness_perimeter.py
• Erasure and the borrow are two knobs at one seat rule — explore_erasure_ledger.py
• The decidable-equivalence dividend rule — explore_decidable_equivalence.py
• The ruler ladder rule — explore_ruler_ladder.py
• The carry tie rule — explore_ruler_ladder.py

The recovery chart

• The comparison threshold rule — explore_second_ruler.py, explore_two_place_universality.py
• The forgetful borrow rule — explore_reset_corner.py
• The base-extension borrow rule — explore_ecc_borrow.py
• The frontier rider: the bare element class is universal rule — explore_frontier_rider.py, explore_minimal_carrier.py, explore_unary_price.py
• The supply law: the boundary is the linear rate rule — explore_bit_supply.py, explore_sqrt_supply.py, explore_decidable_side.py
• The ratchet theorem rule — explore_interactive_hand.py
• The read surface rule — explore_read_surface.py, explore_flip_timing.py

The delay line

• The suffix-evaluation normal form theorem — explore_born_at_zero.py
• The growth certificate, and the direction that looked like a wall rule — explore_growth_certificate.py, explore_forced_one.py
• The landing dichotomy and the three-verdict decider rule — explore_pending_fires.py, explore_wrap_word.py, explore_supply_tameness.py, explore_super_critical.py, explore_first_hit_bound.py