Claims — Schedule

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

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