Claims — Growth

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

Growth

• The three fates rule — explore_growth_laws.py, explore_headroom.py
• The lock-prime law rule — explore_lock_prime.py
• The two-adic prices rule — explore_two_adic_prices.py
• The greedy-optimal class rule — explore_growth_capability.py
• Myopia mortality rule — explore_growth_capability.py
• The properness criterion criterion — explore_size_crystallization.py
• The selection ladder rule — explore_selection_frame.py
• The class gap rule — explore_class_gap.py, explore_bottomless_columns.py

Growth over other fields

• The local module law theorem — explore_module_law.py
• The class-group split pattern — explore_number_field_lock.py, explore_module_law.py, explore_headed_cubic_walk.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 cascade boundary

• The escape's conjunction rule — explore_module_law.py, explore_element_cascade.py
• The standing-move dichotomy rule — explore_standing_move.py, explore_standing_recipe.py
• The budget inequality rule — explore_ghost_wander.py, explore_module_law.py
• The characteristic sweep rule — explore_cascade_chars.py
• The loosened ladder rule — explore_element_cascade.py
• The inhabited residual theorem — explore_cascade_residual.py
• The entry price rule — explore_cascade_residual.py
• The shape of a death rung theorem — explore_cascade_theorem.py

Principal places

• The principal place's reach rule — explore_principal_place.py
• What the floor was made of rule — explore_real_principal.py
• A scale effect, and pricing it overshoots observation — explore_principal_share.py, explore_paired_division.py, explore_first_hit_survival.py
• What the shortfall is rule — explore_class_share.py, explore_class_order.py, explore_class_level.py, explore_ceiling_squares.py, explore_ceiling_constant.py, explore_ceiling_early.py

The split triple

• Coverage at degree 3, and the wait the class group sets observation — explore_cubic_principal.py
• The spacing behind the shortfall, and the stratum that reads against it observation — explore_cubic_class_map.py, explore_cubic_first_hit.py
• What a totally split prime's triple can be rule — explore_cubic_split_triple.py, explore_cubic_transposition.py
• Two populations under one label observation — explore_cubic_split_triple.py, explore_cubic_zero_tilt.py

The degenerate regime

• What sorts a field into its regime criterion — explore_genus_index.py, explore_cubic_regime_sorter.py, explore_ray_class_lines.py, explore_ray_class_inverted.py
• What degeneracy is, and the two regimes one word covers property — explore_noncyclic_level.py, explore_rank2_hunt.py
• The shortfall that deepens with the class number, and the inert primes' cube pattern — explore_triple_cube_term.py, explore_genus_index.py

The generator ceiling

• The generator ceiling across degrees, and what carries it observation — explore_cubic_transposition.py, explore_cubic_order_level.py, explore_ceiling_curve.py, explore_ceiling_topband.py, explore_ceiling_realquad.py, explore_ceiling_realcubic.py, explore_ceiling_fourthcell.py, explore_ceiling_squares.py, explore_ceiling_constant.py, explore_ceiling_early.py, explore_quartic_seat.py, explore_quartic_second.py

The image and limit

• The fate image rule — explore_fate_image.py, explore_fate_image_ff.py
• The cardinality trichotomy rule — explore_greedy_image_nf.py, explore_greedy_image_ec.py, explore_greedy_image_g2.py
• The tie width rule — explore_greedy_image_nf.py, explore_headed_cubic_walk.py
• The ideal limit theorem — explore_greedy_limit.py
• The element limit rule — explore_element_limit.py
• Which coordinates are unbounded rule — explore_rider_recursion.py
• What decides a coordinate that stops rule — explore_increment_group.py
• The separation lemma rule — explore_undercut_nf.py, explore_cubic_undercut.py

The pricing schedule

• The limit belongs to the schedule, not the ring rule — explore_price_schedule.py, explore_tick_pump.py
• A covering rule stops the openings only by outrunning them rule — explore_ladder_stop.py, explore_seated_cover.py
• A function field's own covering rule frees one degree rule — explore_ladder_stop.py
• What a finite image is rule — explore_void_untie.py, explore_stopped_untie.py
• The element schedule, in both characteristics rule — explore_class_schedule.py, explore_element_schedule_nf.py
• A rider discounts a door, and never the clock rule — explore_undercut.py

The clock

• The lock/sprawl dichotomy rule — explore_tick_pump.py, explore_lock_budget.py, explore_bare_cost.py, explore_populated_door.py, explore_cubic_undercut.py, explore_wild_ring.py, explore_support_growth.py, explore_ring_free_door.py, explore_one_vehicle.py
• The sup gap stops the walk, the tail gap prices it rule — explore_headed_ladder.py, explore_populated_door.py, explore_head_width.py
• The door's premium rule — explore_door_index.py, explore_coarsest_colouring.py, explore_menu_invisibility.py
• The coincidence locus rule — explore_vehicle_coincidence.py

Which rings walk

• The colour-plus-gap licence rule — explore_element_schedule_nf.py, explore_cubic_ring.py, explore_wild_ring.py
• The headless lock rule — explore_cubic_ring.py, explore_wild_ring.py
• The headed walk rule — explore_cubic_field_shop.py, explore_headed_cubic_walk.py
• The winner-kind dichotomy rule — explore_late_seating.py, explore_opening_law.py, explore_even_winner.py, explore_cross_kind_tie.py, explore_ram_tie.py

The shopped carrier

• The cheap carrier rule — explore_cubic_undercut.py, explore_cubic_carrier.py
• The carrier on a walk observation — explore_cubic_carrier.py, explore_carrier_window.py, explore_norm5_carrier.py
• The ramified door theorem — explore_ramified_door.py

The clock dial

• One deep coordinate is a corner rule — explore_block_clock.py, explore_headed_block.py
• Where a strand rests, and how many rule — explore_headed_block.py, explore_splice_cap.py, explore_rung_schedule.py, explore_price_hypotheses.py, explore_census_theorem.py, explore_born_set.py
• The global-clock reading rule — explore_headed_image.py
• The domain of the per-item image rule — explore_headed_image.py, explore_image_domain.py

The inside view

• The ledger of the knowable rule — explore_observer_view.py, explore_induction_ceiling.py
• The seed–history confound rule — explore_observer_view.py
• The one-way design rule — explore_one_way.py, explore_rogue_world.py
• The headroom ledger theorem — explore_headroom.py, explore_premium.py, explore_composite_move.py
• A probe prices its own ignorance theorem — explore_resolver_threshold.py, explore_proth_window.py, explore_silent_set.py, explore_composite_move.py
• The scar ledger rule — explore_interactive_observer.py
• The phoenix criterion rule — explore_interactive_observer.py, explore_phoenix_bill.py

The blind spot

• The blindness census observation — explore_headroom.py, explore_blind_spot_infinite.py
• The blind-spot theorem theorem — explore_blind_spot_infinite.py, explore_silent_set.py, explore_blind_share.py, explore_blind_model.py, explore_blind_bernoulli.py

Irreducibility

• The clock spectrum observation — explore_irreducibility_order.py, explore_irreducibility_places.py, explore_irreducibility_crossfield.py
• The clock factorization rule — explore_clock_factorization.py
• The mode staircase rule — explore_mode_staircase.py, explore_astar_slope.py

Thermal and density

• The hot-limit theorem rule — explore_hot_limit.py
• The closure trichotomy rule — explore_hot_limit.py
• The zeta measure rule — explore_thermal_growth.py
• Transparency density approaches 1 theorem — explore_lcm_shifted_primes.py, explore_shifted_prime_density.py, 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

Constants

• 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