Claims

Every claim on the site, one line each: name, tier, verifier. 69 claims at this build.

Home

The limit object rule — explore_limit_object.py
The sieve identity property — explore_sieve_connection.py
The genesis ladder rule — explore_genesis_ladder.py
The transparency criterion property — explore_lambda_tower.py
The reciprocal naming criterion criterion — explore_tower_naming.py, explore_chi_primality.py
The factorization rule rule — explore_seed_flower_k8.py, explore_rich_rungs.py

The three fates rule — explore_growth_laws.py
The lock-prime law rule — explore_lock_prime.py
The greedy-optimal class rule — explore_growth_capability.py
Myopia mortality rule — explore_growth_capability.py
The local module law theorem — explore_module_law.py
The class-group split observation — explore_number_field_lock.py, explore_module_law.py
The hot-limit theorem rule — explore_hot_limit.py
The zeta measure rule — explore_thermal_growth.py
The ledger of the knowable rule — explore_observer_view.py, explore_induction_ceiling.py
The clock spectrum observation — explore_irreducibility_order.py, explore_irreducibility_places.py, explore_irreducibility_crossfield.py
The function-field melt rule — explore_function_field_melt.py
The mortality split rule — explore_halt_clock.py, explore_function_field_melt.py
The phoenix criterion rule — explore_interactive_observer.py, explore_phoenix_bill.py
The growth machine is not universal rule — explore_growth_machine.py
The knife edge rule — explore_archimedean_dial.py
Transparency density approaches 1 pattern — explore_asymptotic_density.py, explore_density_extended.py, explore_complexity_ledger.py
The complexity ledger rule — explore_complexity_ledger.py
The collision equivalence theorem — explore_collision_equivalence.py, explore_ledger_threshold.py

The readout theorem theorem — explore_readout_proof.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

The locality criterion rule — explore_size_transform.py
The hiding lemma rule — explore_size_transform.py, explore_size_crystallization.py
The exact comparator and its cost law rule — explore_rns_comparator.py
The provenance ladder rule — explore_walls_provenance.py
The index transform rule — explore_index_transform.py
The Zech wall rule — explore_index_transform.py
The rigidity dichotomy rule — explore_index_transform.py
The two-readings criterion criterion — explore_numeration_windows.py
The readability chart rule — explore_numeration_windows.py
The internet-checksum ring rule — explore_checksum_ring.py
The machine-word tower and the uint64 departure rule — explore_machine_word_tower.py, explore_uint64_tower.py
Exact binding property — explore_meaning_codeword.py
Snap-to-whole in three exact zones rule — explore_meaning_codeword.py
The superposition wall and its cure rule — explore_meaning_codeword.py
The decoupling law and the coupling toll rule — explore_ring_ca.py
The snap-back automaton rule — explore_snapback_ca.py

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

The realizer identity rule — explore_reserve_zoo.py
The rank family rule — explore_reserve_zoo.py, explore_ledger_threshold.py
The density family rule — explore_reserve_zoo.py
The collision hinge property — explore_ledger_threshold.py, explore_complexity_ledger.py, explore_collision_equivalence.py
The abscissa reserve observation — explore_abscissa_reserve.py