The common generating functional contract

FTRANSFER.GENERATING.01

Original ledger classification: Open (research contract; finite W[J] derivative identities + transduction shadow executed at 1+1D Z6; no upgrade permitted)

Original claim text

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.

Original classification detail

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

FR.TRANSFER.01; TFPT4D.LATTICE.ACTION.01; QFT4D.OS.RECON.01