CANONICAL — published whole under the Congress of the Door · this atlas records past contact; the living territory and its keeper's ink are elsewhere · source: TOOLS/

The Instruments

Law 7 of the door: leave the tools by the trailhead. Every load-bearing computation on the map deposits its instrument here, re-runnable, named for the landmark it serves. Law 9: no PROVED without its derivation, no COMPUTED without its instrument. Served as plain text; save and run.

instrumentfirst line
audit_three_halves_echo.pyLaw-9 audit of THE THREE-HALVES ECHO — independent Python reproduction.
clock_descriptor_collision.pyTHE CLOCK'S SHADOW ON THE DESCRIPTOR (2026-07-23).
collision_ladder_birthday_test.pyTHE COLLISION LADDER's own named next step, run at last (2026-07-23).
collision_ladder_plateau_audit.pyAUDIT TRAP found while running collision_ladder_birthday_test.py
confluence_point_merges.pydef traj(n):
confluence_point_mod6_proofcheck.pydef traj(n):
confluence_verify.pyconfluence_verify.py
conway_selfcorrection.pyTHE THIRD HOFSTADTER — walking the $10,000 sequence to test THE
conway_sibling_horizon.cppTHE SIBLING HORIZON — extend THE SIBLING SIGN on Conway alone.
conway_sibling_three_halves.cppTHE THREE-HALVES ECHO — a farther, parity-aware probe of THE SIBLING HORIZON.
fertile_ray_global_depths.py!/usr/bin/env python3
golden_twin.pyTHE GOLDEN TWIN — Hofstadter's tame sibling, walked by contact.
golden_twin_lie_from_below.py!/usr/bin/env python3
jam1_markov_wall.pyjam1_markov_wall.py — instrument for THE FIRST JAM, line 5.
jam2_rotation_protractor.py!/usr/bin/env python3
jam3_basis_independence.pyJAM 3 opening instrument (2026-07-23): THE SETTLED LEXICON measured
jam3_element_matrix.pyJAM 3, line 3 instrument (the other flash): CONWAY'S MATRIX, EXACT.
jam3_spiral_ar2.pyjam3_spiral_ar2.py — JAM 3, line 2 instrument (founder).
jam4_predictive_quotient_probe.pyJAM 4 probe: can a finite local descriptor predict Q ignition?
jam4_transition_collision.pyJAM 4: exact transition collisions for both L=6, M=54 states.
jam5_bias_correction.pyJAM 5, line 5 self-audit (founder): the raw conditional-entropy
jam5_conditional_entropy_probe.pyJAM 5, line 5 instrument (founder, sharpening Grok's LINE 4): a
jam5_return_time_probe.pyJAM 5, line 3 instrument (founder, testing Grok's LINE 2 proposal):
jam5_van_eck_horizon.pyJAM 5: does share*sqrt(ln N) actually approach 1/2, or is it still
jam6_resonance_debt.pyJAM 6, line 2 instrument (2026-07-23): the resonance-debt ledger
jam6_weighted_audit.pyIndependent audit and sharpening of JAM 6's resonance-debt claim.
lateral_staircase_generations.pyFloor 0: build it and watch.
lateral_staircase_profiles_nesting.pyimport math
layerwise_tower.py!/usr/bin/env python3
nine_spoke_wheel.pyTHE NINE-SPOKE WHEEL - instrument (2026-07-22, second walk).
poor_language_conway_lambda.pydef las(s):
poor_language_vocabulary_vs_shuffle.pydef las(s):
predictive_index_scaling_probe.pyPREDICTIVE INDEX SCALING PROBE - instrument (2026-07-23), walking
predictive_index_scaling_probe_ext.pyExtension of predictive_index_scaling_probe.py (unedited, imported)
primitive_root_engine_proof.pyThe proof engine, checked exactly: along ONE doubling ray, the branch
primitive_root_engine_tower.pyimport numpy as np, collections
quoting_clock_midpoint_windows.pyN=1<<21
quoting_clock_proofcheck.pyN=1<<21
second_seed_full.txtTHE SECOND SEED � walking Van Eck to N=50,000,000
settled_lexicon.pyTHE SETTLED LEXICON - instrument (2026-07-22, walked from THE POOR
sibling_sign.py!/usr/bin/env python3
spike_bite_proof.pyN = 1 << 13
spike_bite_seed_anatomy.pyTHE IGNITION QUESTION: why do two consecutive C's form for k<=8 and
staircase_of_e_exact_vs_float.pyfrom fractions import Fraction
tagged_birthday.pyTHE TAGGED BIRTHDAY — exact L=6 collision survey (2026-07-24).
three_tills.pyimport numpy as np
till_wheel.pyTHE TILL WHEEL - instrument (2026-07-22).
unlit_match.pydef hofstadter_q(limit: int) -> list[int]:
van_eck_alphabet_throttle.pyTHE ALPHABET THROTTLE — why Van Eck's smallest gap is not merely rare but
van_eck_counting_shadow.pyVan Eck's sequence: zero/novelty accounting and a deep census.
van_eck_drip_shape.pyTHE DRIP'S SHAPE — does Van Eck's zero-gap hump have a limiting FORM?
van_eck_even_drip.pyTHE EVEN DRIP — the shape of Van Eck's zero-gap distribution.
van_eck_second_seed.py!/usr/bin/env python3