Skip to main content

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 676

Location 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.

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.

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.

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.