403 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
v168_qgeo_rigidity.py / (claims QGEO.RIGID.01, QGEO.REALIZE.01). Hardens the finite half of the one remaining Tier-1 hinge GATE.QGEO (the seam [formula in source] flavour [formula in source] horizon identification). Exact, machine-checked: [formula in source] has cross-ratio [formula in source] and a faithful M\"obius stabiliser of order [formula in source] ; [formula in source] has rank [formula in source] ; and the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 344 to 369
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v166_higgs_free_seam.py / (claim HIGGS.FREESEAM.01). A new prediction tying the Higgs mass to premise (A). The seam UV is the free chiral [formula in source] fixed point (v158, Gaussian, no relevant/marginal interactions), so the one marginal SM scalar coupling vanishes there: [formula in source] and [formula in source] — the Shaposhnikov–Wetterich double-criticality, here derived from the free seam, not assumed. Int
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 1 to 21
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
v163_rg_stability_flavor.py / (claim FLAV.RGSTAB.01). Scale-tagging of the flavor sector. The lepton-mixing seeds ( [formula in source] , [formula in source] ) are RG-stable: the PMNS running is [formula in source] -suppressed (the only mixing-rotating Yukawa term is [formula in source] , PyR@TE SM RGEs), so [formula in source] and [formula in source] — two to three orders below precision. Seam value [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 22 to 46
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
New module v159_pyrate_gauge_crosscheck.py / (claim EM.BUDGET.02). The one-loop gauge coefficients used by the transfer functor are confirmed by an independent third-party RGE generator. Feeding the carrier / Standard-Model field content into the textbook one-loop formula (GUT normalisation) gives [formula in source] , and PyR@TE\,3 ( arXiv:2007.12700, github.com/LSartore/pyrate) writes [formula in source] , [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 47 to 71
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
New module v167_inventory_post_closure.py / . The terminal residual inventory (line v105 [formula in source] v123 [formula in source] v167), re-pinned after the (A)-chain. With (A) discharged ( GATE.METRIC.16–19) the v123 five structural classes collapse: the seam clock (R1), the index- [formula in source] net (R2) and the [formula in source] -realisation (R5) all merge into one Tier-1 hinge — the seam [formula in so
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 72 to 90
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v105_residual_inventory.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v152_norm_is_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v167_inventory_post_closure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v167_inventory_post_closure.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v123_inventory_update.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
New module v165_premise_a_closure.py / . Pins the two residual gates of the v160– v162 (A)-chain to their floor. [formula in source] (net existence) closes by assembly of established mathematics : the [formula in source] free Majoranas give a free-fermion conformal net (Buchholz–Mack–Todorov), the holomorphic [formula in source] lattice net is [formula in source] (Frenkel–Kac–Segal / Dong–Xu / Kawahigashi–Longo), the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 91 to 112
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v165_premise_a_closure.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v165_premise_a_closure.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v157_rigid_fixed_point.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v116_resonance_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
literal source filename/path in TeX
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v115_anchor_residue.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v162_seam_transport_identification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
New module v162_seam_transport_identification.py / . Pushes the v161 residual as far as it rigorously goes and shows it carries no new open content. The one-particle symbol splits into a gap value [formula in source] and a fixed space [formula in source] . [formula in source] is forced: a [formula in source] -equivariant generator is diagonal in the cusp basis (the deck average is the diagonal projection, [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 113 to 133
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
New module v161_one_particle_reduction.py / . Discharges the scope premise of v160 (``the transport is gapped on the full Schwinger cone'') via Bogoliubov second quantisation. A quasi-free transport is [formula in source] , the second quantisation of a one-particle contraction [formula in source] on the [formula in source] -dim Majorana space; [formula in source] acts on the degree- [formula in source] correlator sec
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 134 to 155
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
New module v160_seam_gaussianity_from_pf.py / . Formalises the proposed closure of premise (A) (``the seam bulk is a reflection-positive free field'') as a fixed-point theorem and types it honestly. The exact parts: (1) a quasi-free state has all higher connected cumulants [formula in source] — verified by the signed set-partition/Pfaffian moment [formula in source] cumulant inversion on a concrete pure Majorana cova
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 156 to 178
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v160_seam_gaussianity_from_pf.py
literal source filename/path in TeX
- explicit script identifier v56_unique_attractor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
literal source filename/path in TeX
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
Changelog sort enforced. audit_sync.py now checks that every dated subsection\*\YYYY-MM-DD...\ block in this file is non-increasing (newest first; range titles such as 2026-06-07 / 2026-06-08 sort by the later date). A manual prepend had left five 2026-06-12 entries above seven 2026-06-13 blocks — reordered; future mis-sorts fail build.sh audit as [B.changelog].
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 179 to 188
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
The free chiral [formula in source] fixed point is provably stable ( v158, exact dimension count). The finite core of (A)'s ``reaches-the-fixed-point'' residual: the chiral Majorana has [formula in source] , the bilinear current [formula in source] , the quartic [formula in source] . The relevant window [formula in source] for bosonic deformations is empty, the [formula in source] currents are chiral ( v157, not [for
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 189 to 203
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v157_rigid_fixed_point.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
The free-bulk premise becomes a fixed-point property ( v157, simplicity-first). Instead of postulating Gaussianity, three facts click: (i) the DtN/Calder\'on symbol is universally [formula in source] (Lee–Uhlmann — order- [formula in source] [formula in source] DO, principal symbol [formula in source] ; interactions live in the irrelevant lower-order symbol), so the free dispersion is bulk-detail-independent; (ii) a
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 204 to 220
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
The constructive route carried to its exact endpoint ( v156). `` [formula in source] '' is no longer an assertion: the chiral seam net is built explicitly and the identification checked. (a) The Dirichlet-to-Neumann (Calder\'on) operator of the [formula in source] d Laplacian is the free chiral dispersion [formula in source] (harmonic extension [formula in source] ); (b) [formula in source] free Majoranas give [formu
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 221 to 238
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
[formula in source] 's last premise reduces to a single shared physical premise ( v155, Python-only). The seam-side identification of the Simple-Current Extension Theorem ( v154) splits ( v110) into (a) ``the Calder\'on involution is sheet-odd'' (the double-cover deck, structural) and (b) ``the seam [formula in source] -point kernel is quasi-free''. Part (b) is not independent: the boundary marginal of a reflection-p
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 239 to 257
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v110_calderon_sheet.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v59_area_law_evidence.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v151_bfk_split.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
[formula in source] re-typed: the No-Unit Theorem ( v153). Every load-bearing compiler datum is mass-dimension [formula in source] and invariant under a unit rescaling [formula in source] , whereas a mass / [formula in source] is not — so a dimensionless boundary compiler provably cannot select an absolute scale. [formula in source] is therefore an irreducible metrology primitive, not an open gap, and the three appar
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 258 to 284
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v148_fock_census.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
No old-version framing left in the active docs. A consistency sweep found a residual layer of old-series ``Paper N'' attributions and removed them: four literal ``Paper 6'' references ( tfpt_4_frontier leptogenesis/axion, tfpt_2 seam determinant), the old ``Paper 4'' (OS/admissibility) and ``Paper 5'' (APS/Hodge) references in tfpt_2, the old ``Paper 3'' transport-kernel attributions in tfpt_2, and the internal ``Pap
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 285 to 301
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.
Research changelog · TFPT — Introduction and reading guide
R3: the [formula in source] normalisation merges into the one anchor ( v152). The replica EH coefficient is a log-ratio [formula in source] ( [formula in source] alone is scale-ambiguous, only [formula in source] is physical); pinning [formula in source] fixes the dimensionless ratio [formula in source] , and in [formula in source] that ratio is the induced Newton constant [formula in source] ( v68). So [formula in s
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 302 to 317
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v78_vgeo_floor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v152_norm_is_anchor.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
Release version string. build.sh now writes tex-artefacts/release-version.txt as \TFPTversion\ (rev \git count\) (matches TFPTdatestamp without the date). scripts/zenodo_upload.py and build.sh zenodo/ zenodo-publish use this label on Zenodo; cursor rules extended for when zenodo_description.html must move with deposit-facing changes.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 318 to 326
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
Automated Zenodo versioning. Added scripts/zenodo_upload.py and .github/workflows/ zenodo-release.yml: creates a new draft version of record 20579275 (DOI 10.5281/ zenodo. 20579275), uploads the ten active paper PDFs, refreshes zenodo_description.html, bumps the version from tex-artefacts/version.tex, and optionally publishes via GitHub Actions ( ZENODO_TOKEN secret).
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 327 to 335
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
One-way GitHub mirror for Overleaf sync. Added scripts/export-shadow.sh and .github/workflows/shadow-sync.yml: on every push to main, a filtered copy is pushed to sthamann/tfpt5-shadow (papers, tex-artefacts/, figures/, verification/, experiments/; excludes _archive/, website/, all *.pdf, .cursor/). [formula in source] 270 files / [formula in source] 3\,MB — within Overleaf GitHub-sync limits.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 336 to 344
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.