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

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 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