Claims — Instruments

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

Ceilings

• The sign bit and the parity dial rule — explore_eval_ceiling.py
• The threshold law rule — explore_ceiling_anatomy.py
• The orientation ceiling and the inverted dial rule — explore_ceiling_anatomy.py
• The comparison ceiling and the constant dial rule — explore_ceiling_dials.py
• The skew unit and the price of doing less observation — explore_eval_ceiling.py, explore_ceiling_anatomy.py, explore_ceiling_dials.py
• Deadness is score-relative rule — explore_ceiling_anatomy.py, explore_ceiling_dials.py
• The window law and the resonance rule — explore_ceiling_dials.py, explore_tilt_resonance.py
• The k-ary ceiling and the live arc rule — explore_kary_ceiling.py

Stated uncertainty

• The coverage map observation — explore_ceiling_ruler.py, explore_ruler_divergence.py
• Placement on a thin edge rule — explore_ceiling_ruler.py, explore_ruler_boundary.py
• One bracket, correct and empty rule — explore_ceiling_ruler.py, explore_ruler_divergence.py
• The tree the data does not fix observation — explore_ruler_divergence.py
• The uncounted term observation — explore_uncounted_term.py
• A bound over a parameter the data cannot pin observation — explore_nonidentified_statement.py
• The coordinate that decides is seen only while it moves observation — explore_uncounted_inside.py, explore_uncounted_corner.py

Deletion audits

• The flip and the band observation — explore_deletion_ruler.py, explore_flip_level.py
• Two silent failures, two cuts of one number observation — explore_noroot_margin.py, explore_flip_level.py
• The self-report is compressed rule — explore_flip_risk.py, explore_flip_inbox.py, explore_flip_floor.py
• The floor is a trade, not a wall rule — explore_flip_floor.py
• Split-half wins where no derivation holds observation — explore_flip_floor.py
• The exact call and the miscalibrated probability observation — explore_membership_ruler.py

Prediction sets

• The abandoned atom property — explore_ruler_barecell.py, explore_ruler_exchange.py, explore_ruler_abandon.py, explore_ruler_dual.py
• The overshoot bounds the error rule — explore_ruler_surplus.py
• The level-excess identity property — explore_ruler_excess.py
• The exactness threshold rule — explore_ruler_surplus.py, explore_ruler_boundedgap.py
• The flattening law property — explore_ruler_gaplaw.py

The swap

• The feasibility window and the swap property — explore_ruler_swap.py, explore_ruler_multiswap.py, explore_ruler_gain.py