A registered result in its source context
Original ledger classification: F_transfer functor certificate [E]/[C] (Paper E: the four frontier sectors as one F_observable o F_threshold o F_RG with exact atom sources + kill-test coverage + the firewall; physical predictions stay conditional). A consolidation, no new number
Recorded statement: THE F_transfer FUNCTOR CERTIFICATE (2026-06-24, Paper E / the physical-interface contract): the four frontier sectors are ONE functor F_transfer = F_observable o F_threshold o F_RG, consolidating the typed solvers (FR.POLE.SOLVE.01,…
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
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
FTRANSFER.SUITE.01
Original ledger classification: F_transfer functor certificate [E]/[C] (Paper E: the four frontier sectors as one F_observable o F_threshold o F_RG with exact atom sources + kill-test coverage + the firewall; physical predictions stay conditional). A consolidation, no new number
Original claim text
THE F_transfer FUNCTOR CERTIFICATE (2026-06-24, Paper E / the physical-interface contract): the four frontier sectors are ONE functor F_transfer = F_observable o F_threshold o F_RG, consolidating the typed solvers (FR.POLE.SOLVE.01, FR.BOLTZMANN.SOLVE.01, FR.RELIC.SOLVE.01, FR.QCD.BUDGET.01). Does NOT re-press any frontier observable into the compiler (forbidden by the frontier firewall, v187); it certifies the composition law and the kill-test coverage. [E] COMPOSITION LAW: every frontier observable factors as source -> threshold/matching -> standard RG -> observable (verified structurally for all four). [E] EXACT ATOM SOURCES: Koide Q_src (phi0-ladder, v93); leptogenesis A_Lambda=2 g_car=10 and delta_CP=4pi/3 (v9/v212); axion f_a=M_scal/128 (v185/v211); m_p/m_e carrier beta b3=-(11-2 n_f/3)=-7 (v164/v262). [E] KILL-TEST COVERAGE: each sector carries a committed falsifier (Koide wrong-sign QED; eta_B outside [obs/3,3obs]; axion outside [0.08,0.16]; m_p/m_e C_p band excluding 1836.15). [C] THE FIREWALL: the PHYSICAL prediction of each sector stays [C]/[O] (threshold/RG/solver dependent); only the algebraic SOURCE is [E] -- no frontier observable is a primitive compiler output. [E] NO FREE DIAL: external inputs declared with propagated error budgets, algorithmic and versioned.
Original classification detail
[E] the functor composition law (each sector factors source->threshold->RG->observable) + the exact atom sources (Q_src; A_Lambda=10, delta=4pi/3; f_a=M_scal/128; b3=-7) + the kill-test coverage for all four; [C] the frontier firewall (physical predictions stay conditional, only the algebraic source is [E], never re-pressed into the compiler). A consolidation of the FR.*.SOLVE solvers; no new number.
Dependencies as recorded
FR.POLE.SOLVE.01; FR.BOLTZMANN.SOLVE.01; FR.RELIC.SOLVE.01; FR.QCD.BUDGET.01; v9; v93; v164; v185; v187; v211; v212; v262
Open the original ledger source, row 472Location 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.
- 2026-06-24 (The five TOE/QFT closure contracts v398– v402 + a ledger rescope)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportFrontier and open physical interfaces
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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v402_ftransfer_suite.pyRegistered verification module · frontier
Read the description recorded in the module registry
F_transfer functor suite (Paper E): the four frontier sectors as one F_observable o F_threshold o F_RG with exact atom sources + kill-test coverage + the firewall
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.