A registered result in its source context
Original ledger classification: Identity/guard [I] (ledger-enforced typing discipline)
Recorded statement: 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.*),…
Statement, assumptions and sources
Paper context: Research contracts
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
FR.TRANSFER.01
Original ledger classification: Identity/guard [I] (ledger-enforced typing discipline)
Original claim text
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
Original classification detail
Identity/guard [I]: the four F_transfer frontier observables are ledger-enforced to stay [C]/[A]/[O], never primitive [E]/[N]
Dependencies as recorded
FR.KOIDE.07; FR.ETAB.03; FR.DM.03; QCD.LAMBDA.01; REG.FREEZE.01; AUDIT.NULLMC.01
Open the original ledger source, row 181Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Frontier and open physical interfaces
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)tfpt research contracts
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)tfpt research contracts
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)Research contracts
- 2026-06-14 (F_transfer round: eta_B honest test v184, axion relic v185, discipline guard v187)Research changelog; TFPT — Introduction and reading guide
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Layer 3 — the over-determination map (multiply vs.\ compress)Verification safeguards
- 2026-06-19 (the discrete [formula in source] dynamic lens on F_transfer: one shape, one seam-rate, v303)Research changelog; TFPT — Introduction and reading guide
- 2026-06-14 (Zenodo release 5.1 (rev 120) — F_transfer firewall, v184–v188)Research changelog; TFPT — Introduction and reading guide
- Honest statusinput 4 origin theory
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Layer 4 — the firewall and the No-Unit theoremVerification safeguards
- 2026-06-15 (the F_transfer functor contract CONTRACT.F.01)Research changelog; TFPT — Introduction and reading guide
All 33 linked sections
- Certifiability and recommended order
- 2026-06-24 (Typed correction budget: v388 the gap correction is keyed to the mechanism class, not a uniform band)
- Honest status
- 2026-06-24 (The five TOE/QFT closure contracts v398– v402 + a ledger rescope)
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- 2026-06-15 (archive integration \#1: the rare kaon sector [formula in source] — v202)
- Honest status
- 2026-06-25 (F_pole external: the Koide source [formula in source] pole transfer is one-loop EM: v420)
- 2026-06-23 (Bird's-eye synthesis: two new structural patterns — v383 the universal spectral-gap principle and v384 the residual is certification, not construction)
- Front matter / support
- 2026-06-24 (Correction error-bars: v393 the typed budget as actual first-correction magnitudes)
- The unique attractor: a gapped transport selects ONE fixed point
- Front matter / support
- 2026-06-27 ( v431, v432 — the ``unmapped'' [formula in source] degrees are forced spine [formula in source] flavor structure; the unconditional over-determination floor)
- Honest status
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- 2026-06-24 (A falsifiable clock probe of the frontier: v397 how external is the ``external physics''?)
- Summary — the layered defense
- 2026-06-29 ( v436 — hardening the unconditional ``is it numerology?'' floor to an assumption-minimal counting floor; plus a literature note grounding the [formula in source] Chern level)
- The Koide relation — near [formula in source] , computed exactly
- Certifiability and recommended order
- 2026-06-22 (next-steps round: the keystone collapsed to one shared premise (Lean [formula in source] one citable theorem), the [formula in source] solver suite, the cusp weight derived from a minimal rewrite, and the [formula in source] pressure point: FORM.QGEO.BW.01, v325, v326, v327, v328)
- The unique attractor: a gapped transport selects ONE fixed point
- Front matter / support
- Certifiability and recommended order
Registered verification modules
- v187_ftransfer_laws.pyRegistered verification module · registry
Read the description recorded in the module registry
the F_transfer discipline guard (CI-style firewall, the machine-readable form of the Frontier rule): the four continuous-transfer frontier observables — Koide (FR.KOIDE.*), η_B (FR.ETAB.*), axion (FR.DM.*), m_p/m_e+Λ_QCD (FR.MPME.*/QCD.LAMBDA.*) — must NEVER be typed as primitive [E]/[N] compiler predictions; each must carry a [C]/[A]/[O] marker. Reads the ledger and enforces it (all active frontier rows pass; exact algebraic sub-parts like Koide 53/54 v183 or b3=−7 v159 may be [I]/[E], the physical prediction never is). Records the four interfaces F_pole/F_Boltzmann/F_relic/F_QCD and that the raster rule + frozen registry + null model bind — preventing any future edit from quietly promoting a pretty frontier number to a closed compiler output.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.