A registered result in its source context
Original ledger classification: Branch policy (frozen) [C]/[X]
Recorded statement: 4D-QFT FORK FROZEN AS A BRANCH POLICY (2026-06-18): boundary-only is the canonical 4D reading; carrier-native Pati-Salam is a falsifiable UV branch; SM-only 4D-GUT unification is killed. A frozen decision tree (qft4d_fork_freeze.json) with…
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
QFT4D.FORK.01
Original ledger classification: Branch policy (frozen) [C]/[X]
Original claim text
4D-QFT FORK FROZEN AS A BRANCH POLICY (2026-06-18): boundary-only is the canonical 4D reading; carrier-native Pati-Salam is a falsifiable UV branch; SM-only 4D-GUT unification is killed. A frozen decision tree (qft4d_fork_freeze.json) with explicit promotion/demotion rules, not an open ambiguity.
Original classification detail
[C] A canonical (boundary only) + B conditional PS UV branch; [X] SM-only GUT killed; [E] wording guard + decision JSON written. The fork is a frozen decision tree, not an ambiguity.
Dependencies as recorded
QFT4D.RGTEST.01; PS.RGTEST.01; PS.E8BRANCH.01; QFT.MSC.01
Open the original ledger source, row 351Location 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.
- 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.
- 2026-06-18 (The 4D-QFT fork frozen as a branch policy: boundary-only canonical, Pati–Salam a falsifiable UV branch, SM-only GUT killed, v265)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
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.
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- 2026-06-24 (Harvesting the QFT/gravity machinery: v385 the UV-branch kill-test surface, v386 the graviton-exchange amplitude, v387 the gap-driven correction calculus)Research changelog; TFPT — Introduction and reading guide
- Research Contract 1 — [formula in source]tfpt research contracts
- 2026-06-18 (4D QFT: the perturbative S-matrix as an Epstein–Glaser / pAQFT skeleton, v269)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportResearch contracts
- 2026-06-18 (Branch B decided: the explicit PS threshold model [formula in source] proton-decay window — minimal content killed, [formula in source] survives, Hyper-K decisive, v266)Research changelog; TFPT — Introduction and reading guide
- Target F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)Red-team audit
- Research Contract 1 — [formula in source]tfpt research contracts
All 9 linked sections
Registered verification modules
- v265_qft4d_fork_freeze.pyRegistered verification module · registry
Read the description recorded in the module registry
QFT4D.FORK.01 — freeze the 4D-QFT fork as a Branch Policy (not an open ambiguity); writes qft4d_fork_freeze.json + a prose guard, no new physics. A=boundary-only is the canonical 4D reading (no 4D-GUT claim by default); SM-only 4D-GUT unification is killed (1-loop spread ~8.8 at 2e16, v246); B=carrier-native Pati-Salam is a falsifiable UV branch (E8 content {1,10,16,45} no 126 v247, sin^2 thetaW=3/8 v248, kappa O(1) band v249/v253, threshold+proton kill test). Proton safety rule: no fake tau_p window. Wording guard: bare 4D over-claims absent + scoped policy phrases present. Frozen decision tree, not an open ambiguity.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.