Claims — Measure

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

Measure

• The graded logic rule — explore_idempotent_logic.py
• The defect calculus rule — explore_idempotent_logic.py
• The quantifier pair rule — explore_idempotent_logic.py, explore_quantifier_envelope.py
• The quantifier envelope rule — explore_quantifier_envelope.py
• The quantifier ladder rule — explore_quantifier_ladder.py
• The measurement table rule — explore_gate_budget.py

Words and curves

• The word-profile theorem rule — explore_joint_measurement.py
• The crystallographic skeleton rule — explore_joint_measurement.py
• The meadow wall-breaker rule — explore_joint_measurement.py
• The fiber criterion criterion — explore_curve_skeleton.py
• The torsion-menu law rule — explore_curve_skeleton.py
• The realizability law rule — explore_realizability.py
• The two-fat-slice exclusion rule — explore_cover_exclusion.py, explore_staircase_reduction.py
• The gon theorem and the coset collapse rule — explore_multiprime_exclusion.py

The price of a read

• The orbit-cost law theorem — explore_orbit_cost.py, explore_trade_exclusion.py, explore_gate_budget.py
• The height floor rule — explore_gate_budget.py
• One test, every semiring rule — explore_evidence_calculus.py
• Evidence is one-directional rule — explore_evidence_calculus.py