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
FTRANSFER.GENERATING.01
THE GENERATING FUNCTIONAL CONTRACT [O] (registered 2026-08-27 from the external bird's-eye review; the constructive successor named by the FR.TRANSFER.01 guard). The four continuous-transfer 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) are currently four SEPARATE bridges. DEMAND: IF the 4D theory Z_a[J] of TFPT4D.LATTICE.ACTION.01 exists with a controlled continuum limit (QFT4D.OS.RECON.01), the four bridges MUST arise from ONE generating functional W[J] = log Z[J] -- lepton/quark masses as poles of two-point functions (zeros of Gamma^(2)), m_p/m_e from the baryon and electron correlator poles of the SAME theory, eta_B from the real-time Schwinger-Keldysh dynamics of the SAME theory (CP violation, B violation, nonequilibrium), the axion relic from the cosmological solution of the SAME normalized action. F_transfer is then not another 3x3 matrix; it is the full W[J]. BINDING (the guard stays in force): the four frontier observables remain [C]/[A]/[O] under FR.TRANSFER.01 UNTIL W[J] exists and each bridge is DERIVED from it -- this contract does NOT permit any marker upgrade; it names the single object whose existence would collapse the four transfer problems into computations within one theory. KILL TEST: the four bridges provably require mutually inconsistent normalizations of the same W[J]. EXECUTED UPDATE (2026-08-28, v990): Z6-centre 6Y table + the first executed W[J] at dim 96 -- dW/dJ = <O> (6e-11), Hessian = Kubo (1e-7), transduction shadow d2W/dJ dtheta: seam-coupled -9.3e-3, decoupled e^c control exactly 0. Finite-level mechanism, not the 4D generating functional. FR.TRANSFER.01 guard stays binding. Python-only / Wolfram mirror deferred.
Recorded status: Open (research contract; finite W[J] derivative identities + transduction shadow executed at 1+1D Z6; no upgrade permitted)
Dependencies, status detail and source
Canonical status: Open: one generating functional W[J] = log Z[J] from which all four F_transfer bridges derive. EXECUTED (v990): finite 1+1D Z6 W[J] derivative identities + transduction shadow. No upgrade permitted by this row.
Dependencies: FR.TRANSFER.01; TFPT4D.LATTICE.ACTION.01; QFT4D.OS.RECON.01
Scripts: v990_wj_transduction_mechanism.py
Location: tfpt_research_contracts
Original CSV, line 759