A registered result in its source context
Original ledger classification: Executed preregistered search target (frozen 2026-08-04 [X]; executed + promoted 2026-08-05, v777): the K1 kill fired exactly as the frozen prior expected (NO-COMMON-CONNECTION); the fibered-groupoid refinement carries; the four observables stay [C]/[O]; no marker move (Python-only per GATE.WOLFRAM.02).
Recorded statement: Preregistered theory-contract search target (frozen 2026-08-04, experiments/ftransfer-clocks/hypotheses/ftransfer_clocks_v1.yaml; EXECUTED 2026-08-05, v777): the external-clock contract for the F_transfer jets. THE FOUR FROZEN CLOCKS…
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
FTRANSFER.CLOCKS.01
Original ledger classification: Executed preregistered search target (frozen 2026-08-04 [X]; executed + promoted 2026-08-05, v777): the K1 kill fired exactly as the frozen prior expected (NO-COMMON-CONNECTION); the fibered-groupoid refinement carries; the four observables stay [C]/[O]; no marker move (Python-only per GATE.WOLFRAM.02).
Original claim text
Preregistered theory-contract search target (frozen 2026-08-04, experiments/ftransfer-clocks/hypotheses/ftransfer_clocks_v1.yaml; EXECUTED 2026-08-05, v777): the external-clock contract for the F_transfer jets. THE FOUR FROZEN CLOCKS (exactly one physical clock per solver, fixed in advance): F_pole = proper time tau (on-shell/pole-mass chart; one v99 seam unit = one proper-phase e-fold), F_Boltzmann = inverse temperature beta (FIRAS-anchored adiabatic chart; one washout seam unit = one beta e-fold; the z-linear alternative recorded as excluded), F_QCD = RG time t = ln(mu/M_Z) (MS-bar, 1-loop b0 = 7 window [m_t, 1 TeV]; identity gauge), F_relic = cosmological e-folds ln a (Planck 2018 background; flow frozen, jets degenerate -- scored only on kills and dictionary validity). THE PREREGISTERED PREDICTION (FTC.P1): under the frozen affine dictionaries (slopes -1, -1, +1, -1) ONE constant-coefficient Riccati equation on sigma = ln(mu/M_Z) carries all non-degenerate transported jets -- equivalently the transported Schwarzians of F_pole/F_Boltzmann/F_QCD are EQUAL (the seam channels transport to -Delta^2/2 = -2.959235170076978 exactly; the prediction forces the QCD value onto it). THREE KILLS: K1 NO-COMMON-CONNECTION (symbolic inequality of transported Schwarzians; executor must exhibit the forbidden reparametrization per failing pair), K2 FREE-REPARAM-NEEDED (any post-freeze change of gauge/dictionary; byte-frozen YAML sha256 recorded), K3 SECOND-CLOCK-NEEDED (any channel export needing two time variables). HONEST PRIOR (preregistered): EXPECTED = K1 KILL -- affine transport scales a Schwarzian by slope^2 and cannot move 0 (QCD) onto -Delta^2/2 (seam); a K1 kill would finalize the v578 diagnosis at the physical-clock level and close the jet route of CONTRACT.F.01; ONE-CLASS would be the surprise. EXECUTOR: PENDING -- v752_ftransfer_clock_jets.py-pattern module at a future round (sympy-exact kernel; the FTC.01 data interfaces need the frozen g_*s tabulation and PDG alpha_s(Q) overlay data curated first). FIREWALL: no marker move, nothing upgrades CONTRACT.F.01; the four observables stay [C]/[O]; this design is typed [X]. NO RH claim (unrelated surface; discipline note). [2026-08-05 LXII, EXECUTED + PROMOTED (v777_ftransfer_clock_jets.py, one module from two probes, 24 + 14 checks, 0 failures): VERDICT NO-COMMON-CONNECTION -- the K1 kill fires EXACTLY as the frozen prior expected. Freeze guards verified at run time (YAML sha256 880224f7..., g_*s table 8ae2a4fe..., alpha_s table 2ca6332d...; both data tables curated + byte-frozen BEFORE the first executor run). All four dictionary-validity legs PASS (FTC.01.K: q_exp dev 6.6e-6 <= 3 sigma_q, scheme check 571x -- the on-shell chart is right and the running chart fails it; FTC.01.B: washout entropy-chart drift 1.15e-4, N_eff certificate 0.32 sigma; FTC.01.Q: frozen chain reproduced exactly, 1-loop overlay max dev 0.83% on [m_t, 1 TeV]; FTC.01.R: onset T_osc = 76.68 GeV, slope dev 0.0602). The one-class prediction FTC.P1 dies sympy-EXACTLY: transported Schwarzians {-Delta^2/2, -Delta^2/2, 0}, symbolic difference exactly nonzero, no tolerance involved; K1 duty discharged (the pass-enabling reparametrization h = Moebius(e^{+-Delta sigma}) is exhibited and is NON-affine -- exactly the freedom the freeze forbids); K2/K3 quiet. COMPANION (same module): the fibered-groupoid refinement CARRIES (FTRANSFER-FIBERED-CARRIES, 14/14) -- see the CONTRACT.F.01 dated note; the groupoid's first-run float64 spot-check artifact is disclosed in the probe docstring, the frozen 1e-12 bar untouched. The four observables stay [C]/[O]; no marker move.] NOTE (2026-08-06, v792 -- marker UNCHANGED): the coset assignment of the executed contract's clock charts is now a THEOREM from KMS/modular typing (S = -(ln lambda)^2/2 from the time-1 PGL2 holonomy; blind protocol, exact unblinding, controls incl. the Moebius-clock positive case) -- the three-probe chain executor (v777) -> fibered groupoid -> coset theorem is whole; the fiber classification is derived, not case-inspected.
Original classification detail
EXECUTED 2026-08-05 (v777): the K1 kill fired sympy-exactly as the frozen prior expected -- NO-COMMON-CONNECTION ({-Delta^2/2, -Delta^2/2, 0}); all four dictionary legs construction-valid (571x / 1.15e-4 / 0.83% / 0.0602); K1 duty discharged (the needed reparametrization is the forbidden non-affine Moebius clock); the fibered-groupoid refinement carries (constant seam cocycle {0, +-Delta^2/2}); nothing upgrades CONTRACT.F.01; no marker move.
Dependencies as recorded
CONTRACT.F.01; FTR.JETS.01; FTR.PGL2.01; FTRANSFER.STT.01; FTRANSFER.COCYCLE.01; v578; v632; v723; v724
Open the original ledger source, row 676Location 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.
- E8 audit and bootstrap
- Frontier and open physical interfaces
- Research contracts
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.
- Certifiability and recommended ordertfpt research contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- -1.4cm FTRANSFER.CLOCKS.01 — the frozen external-clock contract\ the [formula in source] jets\\[1mm] Preregistration companion (design, type [X]); frozen 2026-08-04ftransfer clocks contract
- Front matter / supportE8 audit and bootstrap
- Certifiability and recommended ordertfpt research contracts
- Certifiability and recommended orderResearch contracts
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.
- =150 2026-08-27 (CXXXI) (the external deep-review round — dimension / dynamics / gravity firewalls and the 4D construction ladder: the review diagnosis ``chiral [formula in source] D seam net [formula in source] local, interacting [formula in source] D quantum world'' is implemented as eight new contract IDs in tfpt_research_contracts plus one new load-bearing module. (1) DIMENSION.UPLIFT.FIREWALL.01 (standing rule, in force): no [formula in source] D theorem closes a [formula in source] D claim; every contract closure states the spacetime dimension of hypotheses AND conclusion; audit census recorded (SEAM.EQUIV.01 is [formula in source] D in and out — even fully proved it is a boundary building block, not the 4D theory; the v957 kinematic uplift does not close it; the anomaly-inflow bulk is invertible/topological, never to be silently equated with physical spacetime); the realistic route ordering (seam as boundary module [formula in source] genuine 4D Euclidean lattice [formula in source] OS package [formula in source] chirality/no-mirror [formula in source] only then BW/CHM [formula in source] entanglement gravity [formula in source] bulk–seam equivalence) is registered as the programme skeleton. (2) SEAM.BULK4D.RECON.01 : the previously implicit seam [formula in source] bulk theorem made explicit (4D local algebras/Schwinger functions; locality/microlocality, Poincar\'e covariance [formula in source] spectrum condition, spin-statistics [formula in source] CPT, both helicities, clustering, nontrivial S-matrix, unique operator dictionary). (3) the dynamics split DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (``three meanings of dynamics'': relaxation [formula in source] / dissipative semigroup [formula in source] / unitary [formula in source] ): the finite kernel half of MARKOV.EMBED is executed \ as v971_markov_embedding_generator.py ( [formula in source] , sympy-exact) — [formula in source] of the v221 seam kernel is an EXACT classical Markov generator: [formula in source] by spectral calculus, row sums symbolically zero, off-diagonals exactly [formula in source] (the reviewer's independently verified numbers), uniformization certificate [formula in source] entrywise [formula in source] [formula in source] positivity-preserving doubly stochastic for all [formula in source] , [formula in source] (gap [formula in source] ), negative control: second eigenvalue [formula in source] gives [formula in source] — provably NOT embeddable; the field level and the local size-consistent unitary dilation (Stinespring [formula in source] Lieb–Robinson [formula in source] OS continuation) stay ; binding precision: the shared F_transfer relaxation shape is a universal CONTRACTION CLASS, not one physical clock (v723/v724/v777). (4) QFT4D.OS.RECON.01 \ (the genuine 4D Euclidean lattice OS package) with the binding phrasing rule: the v381 all-orders leg is a local perturbative construction under the stated EG/BRST hypotheses (Duch weak adiabatic limit cited, hypotheses unverified for the concrete model; no confinement / mass gap / asymptotic charged states / nonperturbative Higgs vacuum / full S-matrix follows) — tfpt_2 and tfpt_5 phrasing restricted accordingly. (5) CHIRAL4D.NOMIRROR.01 \ (explicit GW/overlap chiral lattice operator; local gauge-invariant measure, perturbative [formula in source] global anomaly freedom, no Witten [formula in source] anomaly, no mirrors, correct index/charges, stable continuum limit; Mastropietro arXiv:2303.02790 as calibration). (6) GRAV.NONCIRCULAR.01 (standing rule, in force): BW is a theorem WITHIN a local Poincar\'e-covariant QFT (Mund/Morinelli counterexample landscape cited), never a generator of Lorentz spacetime from a modular flow; every BW/CHM use declares assumption-vs-result; audit census: the entanglement-equilibrium Einstein derivation (v323/v358/v359) is typed ASSUMPTION (conditional on the 4D package, never citable as evidence for it), QG.AMB.01 correctly declared, the seam KMS [formula in source] chain dimension-typed, the intrinsic-BW programme the honest result-direction attempt. (7) OBS.TRANSDUCTION.01: the transduction principle (internal eigenvalue [formula in source] nonvanishing projection [formula in source] [formula in source] physical coupling [formula in source] observable signature; without the middle arrow neither non-observation falsifies nor observation confirms; minimal model machine-checked at exploration level in fo01, uniform functional blind to [formula in source] , character channel recovers [formula in source] to [formula in source] ; the ACT [formula in source] Planck birefringence proximity typed coincidence-level pending the shared-action proof). (8) PRED.JOINTLIKELIHOOD.01 : evidence reorganized from hit-counting into overdetermined relation bundles (flavor sum rule; [formula in source] , [formula in source] ; one normalized axion action; character-resolved transfer) with the statistical demand (joint likelihood, atom-induced covariance, effective dof, prespecified null [formula in source] formula grammar, real holdout); the v100 ``13/13, [formula in source] '' statement retyped as a look-elsewhere quantifier under its declared null — the 2026-06-09 freeze protects FUTURE measurements, it does not retroactively make historically known data blind. Docs corrected in the same change: docs/OPEN_PROBLEMS.md (the Einstein-derivation overstatement rewritten to the conditional Jacobson-route typing with the explicit does-NOT-follow list; ``zero open internal mechanisms'' fixed to match the contract scope fence — ledger wins; the all-orders phrasing restricted) and docs/FALSIFICATION.md (the null-model section retitled and rescoped, freeze and kill tests unchanged). Ledger [formula in source] rows; suite [formula in source] modules; bash build.sh audit and the manifest regeneration are the joint exit gate)Research changelog; TFPT — Introduction and reading guide
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')Research contracts
- 5. Decision rules and executorftransfer clocks contract
- Front matter / supportFrontier and open physical interfaces
Registered verification modules
- v777_ftransfer_clock_jets.pyRegistered verification module · core
Read the description recorded in the module registry
FTRANSFER.CLOCKS.01 AUSGEFÜHRT + die gefaserte Verfeinerung von CONTRACT.F.01, EIN Modul aus zwei Probes — **NO-COMMON-CONNECTION + FTRANSFER-FIBERED-CARRIES (24 + 14 Checks, 0 Fails): der präregistrierte K1-Kill EXAKT wie der eingefrorene Prior erwartet (Prereg-YAML 880224f7… byte-verifiziert; Datentabellen VOR dem ersten Lauf kuratiert + eingefroren: Saikawa–Shirai g_*s 8ae2a4fe…, PDG-2024 alpha_s 2ca6332d…); alle vier Wörterbücher konstruktions-valide (Koide-Schema-Check 571x, Washout-Drift 1.15e-4, QCD-Overlay 0.83%, Relikt-Steigung 0.0602); der Kill sympy-exakt {-Δ²/2, -Δ²/2, 0} — ein Pass bräuchte GENAU den verbotenen nicht-affinen Möbius-Clock (K1-Duty exhibiert). Die diskrete Schicht koinzidiert EXAKT (CR = 4/3 symbolisch, Deck-Einheit |Δσ| = 1, unit-parabolische Klasse — v632 gitter-explizit); die Obstruktion ist der KONSTANTE Naht-Kozykel mit Werten exakt {0, ±Δ²/2} (Antisymmetrie + Kozykel-Identität exakt, d/dσ ≡ 0 auf 50 Digits); Klassifikation = der vordeklarierte Thermal-vs-RG-Marker; Relikt degeneriert unklassifiziert; alle Kontrollen inkl. Möbius-Transplantat feuern; das float64-Artefakt des ersten Groupoid-Laufs offengelegt, Schranke unberührt. Die Jet-Route von CONTRACT.F.01 schließt auf Physik-Clock-Ebene; nächster benannter proof-grade Schritt: die Coset-Zuordnung aus KMS/modularer Clock-Typisierung ableiten
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.