Original ledger status
FR.TRANSFER.01
THE F_TRANSFER DISCIPLINE GUARD (a CI-style firewall check, the machine-readable form of the Frontier rule; external-review proposal 2026-06-14): the four continuous-transfer frontier observables -- Koide (FR.KOIDE.*), eta_B (FR.ETAB.*), the axion relic (FR.DM.*), and m_p/m_e + Lambda_QCD (FR.MPME.*, QCD.LAMBDA.*) -- must NEVER be typed as primitive [E]/[N] compiler predictions; each must carry a conditional [C] / anchor-open [A]/[O] marker. The guard reads status_ledger.csv and enforces it (all active frontier prediction rows pass; exact algebraic SUB-parts may be [I]/[E] -- the Koide 53/54 factor v183, b3=-7 v159 -- but the PHYSICAL prediction never is). Records the four explicit interfaces: F_pole (source masses->pole, Koide v183), F_Boltzmann (CP source->eta_B, v169/v184), F_relic ((f_a,m_a,theta_i,N_DW)->Omega_a, v185), F_QCD ((alpha_s,b3,Lambda_QCD,lattice)->m_p/m_e, v164). Confirms the raster rule + frozen registry (REG.FREEZE.01) + null model (AUDIT.NULLMC.01) bind, so the frontier transfers stay OUTSIDE the closed dimensionless compiler. Prevents any future edit from quietly promoting a pretty frontier number to a closed compiler output. Python-only
Recorded status: Identity/guard [I] (ledger-enforced typing discipline)
Dependencies, status detail and source
Canonical status: Identity/guard [I]: the four F_transfer frontier observables are ledger-enforced to stay [C]/[A]/[O], never primitive [E]/[N]
Dependencies: FR.KOIDE.07; FR.ETAB.03; FR.DM.03; QCD.LAMBDA.01; REG.FREEZE.01; AUDIT.NULLMC.01
Scripts: v187_ftransfer_laws.py
Location: tfpt_4_frontier
Original CSV, line 181Original ledger status
AUDIT.NULLMC.01
NUMEROLOGY NULL TEST (look-elsewhere corrected; executes the legacy 'numerology grammar test' TODO from the CMB paper): (A) EXACT CENSUS - for each of the 13 scored frozen-registry observables the FULL declared grammar class (one-term (p/q) phi0^a lamC^c (1+lamC)^d pi^b e^(u/w) with p,q<=130, |a|<=2, |c|<=3, |d|,|b|<=1, |u|<=6, w<=6; two-term sums with coefficients<=12; machine-checked fairness: the class contains every TFPT formula it scores) is enumerated exactly against conservative data windows (max of achieved deviation, documented sigma, quote resolution, 5% quark scheme spread - tension observables enter with their honest LARGE windows and contribute almost nothing): joint formula-fishing probability prod p_i = 1e-25.8, robust to <2 dex under coefficient bound 80..200 and plausibility window 5x..20x; (B) MONTE CARLO 2x200k deterministic pseudo-theories (random rational dials in TFPT's own formula skeletons, seed phi0 fixed resp. drawn log-uniformly) reach at most 5/13 resp. 4/13 hits vs TFPT 13/13; (C) POWER controls: perturbing phi0 by 1%/10%/30% collapses TFPT's own scorecard to 9/6/4 hits, shuffling the data<->formula assignment to mean 1.2; (D) ALPHA CLASS: all 94500 complexity-matched F_U1 variants (coefficients, M, transport exponent, resolvent power) root-solved, exactly ONE - the TFPT instance (2, 4/5, M=41, e^-2a, -5/4) - lands inside the achieved 4e-8 CODATA window => p_alpha <= 1.1e-5. TOTAL: P(random complexity-matched theory reproduces the scorecard incl. alpha) <= 1e-30.7 (~102 bits), CONDITIONAL on the declared grammar - a look-elsewhere-corrected null-model rejection, never 'certainty'. Complementary to the freeze: v84 prevents FUTURE look-elsewhere drift, v100 quantifies the RETROSPECTIVE look-elsewhere burden
Recorded status: Numerical [N] (statistical null-model rejection; Python-only)
Dependencies, status detail and source
Canonical status: Numerical [N]: joint null probability <= 1e-30.7 conditional on the declared grammar
Dependencies: REG.FREEZE.01 (scored predictions = frozen registry); DATA.SCORECARD.01 (documented data centrals)
Scripts: v100_numerology_null_mc.py
Location: introduction;tfpt_3;tfpt_5_redteam
Original CSV, line 183