A registered result in its source context

CONTRACT.F.01

Original ledger classification: Contract [C]/[O] (typed functor: discrete kernels [E], external solvers [C]; not a closure)

Original claim text

THE F_transfer FUNCTOR CONTRACT (2026-06-15): the four frontier transfers are ONE typed functor F_transfer = F_observable o F_threshold o F_RG satisfying four structural axioms, each instance a DISCRETE compiler kernel [E/I] composed with an EXTERNAL continuous solver [C/O]. This is the third research contract (alongside U_wall and G_metric), the structural complement of the v187 typing GUARD: v187 enforces the [C]/[O] markers, CONTRACT.F.01 verifies the functor structure. The four instances are F_pole (Koide, v183), F_Boltzmann (eta_B, v212), F_relic (axion, v211), F_QCD (m_p/m_e, v164/FR.MPME). (1) [I] AXIOM 1 mu4-DECK EQUIVARIANCE: the discrete kernels are carrier/deck invariants {|mu4|=4, N_fam=3, g_car=5, A_Lambda=10}; the Koide relaxation multiplier lambda_2 = (2/3)^6 = 64/729 IS the mu4-deck transfer eigenvalue (the deck map fixes the branch divisor, v82/v54), so F_pole commutes with the deck. (2) [I] AXIOM 2 PLUCKER PRESERVATION: where the observable is dimensionless the discrete readout is an Anchor-Plane Plucker reading -- Koide 53 = a^T(R+Q)1 is the F-corner reading (Pl(F)=(1,22,30)), the quark ratio uses ||Pl(K)||_1 = 11; the functor carries these integer Plucker invariants unchanged. (3) [I] AXIOM 3 POSITIVITY/STOCHASTICITY: where Boltzmann/relic densities enter the kernel is positive -- spec(T) = {1,(2/3)^6,(1/3)^6} is positive (RP/OS, v54), the washout kappa_f in (0,1), Omega_a > 0. (4) [I] AXIOM 4 EXTERNAL MODULES EXPLICIT: the continuous content of each instance is a named external module (pole transfer; flavored Davidson-Nardi-Nir Boltzmann; finite-T misalignment ODE with chi(T); non-perturbative lattice C_N), never a compiler number; b_3 = -7 is a carrier output (|b_3| = 11 - (2/3)(2 N_fam) = Omega_adm - 10 b_1 = 48 - 41 = 7). (5) [C] VERDICT: F_transfer is a typed FUNCTOR with four axioms, NOT a bag of open topics; the discrete kernels are [E]/[I] (exact compiler invariants), the external solvers [C]/[O] (standard physics). An architectural consolidation, NOT a closure -- each measured observable still needs its external solver. [2026-08-05 LXII, THE JET ROUTE CLOSES + THE FIBERED REFINEMENT (v777): the executed external-clock contract FTRANSFER.CLOCKS.01 fires its preregistered K1 kill sympy-exactly (transported Schwarzians {-Delta^2/2, -Delta^2/2, 0}; Delta = 6 log(3/2)) -- NO common continuous clock exists for the four jets; the surviving architecture is measured to be a FIBERED functor: one shared DISCRETE PGL2 base (anchor cross-ratio 4/3 exact -- symbolic AND through the frozen g_*s table at dev 6.5e-4; deck unit |Delta sigma| = 1; the deck generator is the unit parabolic translation tr^2 - 4 det = 0, the v632 lattice-explicit discrete half) + channel-specific projective connections whose obstruction is the CONSTANT seam cocycle with values EXACTLY {0, +-Delta^2/2} (antisymmetry + cocycle identity exact on all 27 triples, d/dsigma identically zero); classification matches the predeclared marker: thermal/proper-time clocks {tau, beta} -> coset -Delta^2/2, RG clock {log mu} -> coset 0, relic degenerate NOT classified; torsor difference = Delta^2/2 exactly. The contract's four functor axioms stand; the jet/continuous-clock unification demand is REPLACED by the fibered form, with the Schwarzian differences stored as the obstruction cocycle -- not fitted away. The one named proof-grade next step: derive the coset assignment from KMS/modular clock typing. The four observables stay [C]/[O]; no marker move.] Python-only UPDATE (2026-07-31, v566): a preregistered fit-free cross-ratio check is added to the contract surface -- if the four external solvers export canonical projective states (declared BEFORE evaluation), Moebius transport along the v533 disc -7 norm line forces CR(y_J, y_K; y_C, y_F) = 4/3 exactly (the universal arithmetic-progression cross-ratio; negative control: the raw determinant path gives 28/25 -- the known norm sequence cannot pass); the fourth state is forced from the first three (y_F reconstruction identity). Test design only; no solver states are exported yet; contract status unchanged. [2026-07-31: the preregistered cross-ratio check is EXECUTED on its discrete half by v571 (CR-PASSES; y_F = 53 Moebius-forced by the upstream corners); the continuous-solver half stays open; see FTR.CRDISC.01.] [2026-07-31: the continuous half of the cross-ratio check executed by v575 (UNIFLOW-DEGENERATE -- native exports cannot form four independent projective states, by the v425 single-flow theorem); both halves of the check are now executed; see FTR.CRCONT.01.] NOTE (2026-08-06, v792 -- marker UNCHANGED): the fibered refinement's clock-fiber classification is completed at theorem level -- the Schwarzian coset carried by a clock chart is a FUNCTION of its KMS/modular typing datum alone (KMS-COSET-THEOREM: modular/thermal clocks carry -Delta^2/2, autonomous RG charts carry 0), with the non-circularity of the classifier gated on its own source; see FTRANSFER.KMSCOSET.01.

Original classification detail

Contract [C]/[O]: F_transfer = F_observable o F_threshold o F_RG, four axioms (mu4-deck equivariant, Plucker-preserving, positive/stochastic, external-module-explicit), four instances v183/v212/v211/v164; discrete kernels [E], external solvers [C]; the third research contract alongside U_wall/G_metric, guarded by v187, NOT a closure; 2026-08-05 (v777): the jet route is closed by the executed K1 kill of FTRANSFER.CLOCKS.01 -- the surviving form is the FIBERED functor (discrete PGL2 base, constant seam obstruction cocycle {0, +-Delta^2/2}, thermal-vs-RG coset split, relic degenerate); next named step: coset assignment from KMS/modular clock typing

Dependencies as recorded

FR.KOIDE.04; FR.ETAB.04; DM.AXION.SPINE.01; FR.MPME.01; v187_ftransfer_laws.py