Claims — Observatory

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

Observatory

• The readout theorem theorem — explore_readout_proof.py
• The constellation law rule — explore_arrival_defect.py, explore_tame_face.py
• The cutoff law rule — explore_cutoff_ladder.py
• The tame readout theorem — explore_tame_readout.py
• The triangle theorem — explore_readout_triangle.py
• The reduction law theorem — explore_reduction_law.py
• The odd-p triangle theorem — explore_slot_algebra.py, explore_deep_spectrum.py
• The telescope rule — explore_telescope.py