Find the original argument.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

Matching source sections

403 sections found. Current publication documents are listed before historical material.

2026-06-18 (a [formula in source] closed form + Route A literature stack, v296– v297)

Research changelog · TFPT — Introduction and reading guide

v296_flataway_a2_closed.py ( FLATAWAY.A2.CLOSED.01) evaluates the exact [formula in source] coefficient in closed form: the operator tails telescope geometrically ( [formula in source] ) to [formula in source] , leaving a finite [formula in source] -term middle; e.g.\ [formula in source] . Manifestly positive, small- [formula in source] law [formula in source] (the [formula in source] term cancels). Reproduces v295 t

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 220 to 233

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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v286_seam_equivalence_contract.py
literal short identifier uniquely resolves in local script registry
explicit file citation v296_flataway_a2_closed.py
literal source filename/path in TeX
explicit file citation v297_route_a_literature_stack.py
literal source filename/path in TeX
explicit script identifier v297_route_a_literature_stack.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v296_flataway_a2_closed.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v295_flataway_a2_exact.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (Flat-Away heat route made exact + Lean-formalised, v295 / FORM.FLATAWAY.01)

Research changelog · TFPT — Introduction and reading guide

v295_flataway_a2_exact.py ( FLATAWAY.A2.01) upgrades the v292 positive-definiteness from a numerical scan to a proof: the first variation of [formula in source] vanishes (zero-mean off-mark curvature, Gauss-Bonnet), and since [formula in source] is convex (Klein/Peierls), [formula in source] is the global minimum — so [formula in source] for all deformations, [formula in source] iff [formula in source] . The exact se

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 234 to 249

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v295_flataway_a2_exact.py
literal source filename/path in TeX
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
explicit file citation SeamDeckClosure.lean
literal source filename/path in TeX
explicit script identifier v292_flataway_heat_reduction.py
literal short identifier uniquely resolves in local script registry
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 v295_flataway_a2_exact.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

2026-06-18 (Flat-Away attacked on all three routes, v292– v294)

Research changelog · TFPT — Introduction and reading guide

v292_flataway_heat_reduction.py ( FLATAWAY.HEAT.01): the heat route, made precise. The heat-trace deviation [formula in source] is a positive-definite quadratic form in the off-mark curvature ( [formula in source] for every [formula in source] mode, positive on all combinations), leading invariant [formula in source] — so Flat-Away reduces to the single fact ``the seam fixes the [formula in source] heat coefficient''

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 250 to 269

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v293_flataway_spectral_hessian.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v292_flataway_heat_reduction.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v294_flataway_rp_energy.py
literal source filename/path in TeX
cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v294_flataway_rp_energy.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v292_flataway_heat_reduction.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (Route-B red-team: the smooth [formula in source] adversary + Flat-Away as a mini-theorem, v290– v291)

Research changelog · TFPT — Introduction and reading guide

v290_z4_smooth_curvature_adversary.py ( SEAM.ADVERSARY.01) is the honest red-team that [formula in source] block-diagonality is not mark-locality: a smooth [formula in source] off-mark curvature [formula in source] \ passes the v288 commutator ( [formula in source] , same as mark-local) yet \ shifts the DtN spectrum ( [formula in source] ) and the heat trace ( [formula in source] ). So the commutator is necessary, no

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 270 to 285

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v291_flataway_contract.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v290_z4_smooth_curvature_adversary.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v290_z4_smooth_curvature_adversary.py
literal source filename/path in TeX
explicit file citation v291_flataway_contract.py
literal source filename/path in TeX

2026-06-18 (Route B sharpened: raw mark-locality decomposed + reviewer firewalls, v289 / v287– v288)

Research changelog · TFPT — Introduction and reading guide

v289_marklocal_raw.py ( MARKLOCAL.RAW.01) decomposes the one remaining Route-B residual (`why is the raw seam sub-principal term mark-local?') into a 5-lemma chain and isolates the single open analytic lemma: \ L1 conic parametrix (b-calculus/Melrose, imported); \ L2 Flat-Away — RP [formula in source] gap [formula in source] 4 marks [formula in source] curvature vanishes away from the marks; \ L3 orbit-source ( v195/

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 286 to 303

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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v216_marks_gauss_bonnet.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 v289_marklocal_raw.py
literal source filename/path in TeX
explicit script identifier v287_free_rp_bulk_to_holomorphic_boundary.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v195_marks_lefschetz_character.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v289_marklocal_raw.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v264_raw_seam_marklocal.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (closing sprint: the Seam Equivalence Theorem named + both routes attacked, v286– v288)

Research changelog · TFPT — Introduction and reading guide

v286_seam_equivalence_contract.py ( SEAM.EQUIV.01) names the one open theorem — the raw RP seam state is the holomorphic [formula in source] net at [formula in source] — and concentrates the whole open structure on it: four objects, six arrows (2 closed, 1 conditional v282, 1 open Gral), an import firewall proving the two routes ( v276/ v280/ v284 vs v277/ v281/ v285) never import each other (no ` [formula in source]

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 304 to 324

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 v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v276_qgeo_flat_closes_commutator.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 file citation v287_free_rp_bulk_to_holomorphic_boundary.py
literal source filename/path in TeX
cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v288_full_l2_subprincipal_z4.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 v201_seam_subprincipal_marks.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v285_route_ii_seam_condensation.py
literal short identifier uniquely resolves in local script registry
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 v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
cross reference join CartanDeterminants.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 seam_equivalence.json
literal source filename/path in TeX
explicit script identifier v284_route_i_rp_uniqueness.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 script identifier v286_seam_equivalence_contract.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 SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v280_pillowcase_steklov.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
explicit file citation v286_seam_equivalence_contract.py
literal source filename/path in TeX
explicit script identifier v282_e8_tau_i_unification.py
literal short identifier uniquely resolves in local script registry
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

2026-06-18 (the two proof routes decomposed: Route (i) and Route (ii) into lemma chains, v284/ v285)

Research changelog · TFPT — Introduction and reading guide

v284_route_i_rp_uniqueness.py ( QGEO.ROUTEI.01) turns Route (i) (RP-state uniqueness) into a 6-lemma chain: \ 5/6 lemmas are already discharged — L1 RP [formula in source] DtN ( v194), L2 marks [formula in source] pillowcase ( v195/ v216/ v214), L3 flat Steklov [formula in source] (verified here), L4 covariance from DtN ( v258), L5 [formula in source] -invariance ( v276/Lean/ v280); \ Troyanov ( [formula in source] u

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 325 to 340

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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v284_route_i_rp_uniqueness.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 v280_pillowcase_steklov.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v276_qgeo_flat_closes_commutator.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 v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v195_marks_lefschetz_character.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v285_route_ii_seam_condensation.py
literal short identifier uniquely resolves in local script registry
explicit file citation v285_route_ii_seam_condensation.py
literal source filename/path in TeX
explicit script identifier v194_raw_seam_dtn_rp.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v282_e8_tau_i_unification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v214_seam_pillowcase.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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
explicit file citation v284_route_i_rp_uniqueness.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

2026-06-18 (self-investigation round: pillowcase DtN, modular data, the E8-at- [formula in source] unification, live scorecard, v280– v283)

Research changelog · TFPT — Introduction and reading guide

v280_pillowcase_steklov.py ( QGEO.STEKLOV.01) runs the QGEO chain on the actual flat [formula in source] pillowcase orbifold: the order-4 deck permutes the 4 cone points (2 fixed [formula in source] 1 swap) and the geometric chain [formula in source] is numerically exact — route-(i) evidence for QGEO.OBLIG.01; the premise stays . v281_holomorphy_modular_data.py ( QGAMB.MODULAR.01): \#anyons [formula in source] (E8 [f

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 341 to 359

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v280_pillowcase_steklov.py
literal short identifier uniquely resolves in local script registry
explicit file citation v283_live_killtest_scorecard.py
literal source filename/path in TeX
explicit file citation v281_holomorphy_modular_data.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
cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v283_live_killtest_scorecard.py
literal short identifier uniquely resolves in local script registry
explicit file citation v280_pillowcase_steklov.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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 v281_holomorphy_modular_data.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 v282_e8_tau_i_unification.py
literal short identifier uniquely resolves in local script registry
explicit file citation v282_e8_tau_i_unification.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

2026-06-18 (the Gr\"al: QGEO.SYM.01 as one precise lemma [formula in source] the all-orders step Lean-formalised, v279/ FORM.QGEO.04)

Research changelog · TFPT — Introduction and reading guide

v279_qgeo_obligation_lemma.py ( QGEO.OBLIG.01) writes the bedrock as ONE precise constructive-QFT lemma. Given the premise the raw seam carries the flat [formula in source] pillowcase metric (Troyanov-unique, [formula in source] ), then [formula in source] mark-locality [formula in source] . \ the reduction DAG from `free RP seam' has exactly one open leaf — `the raw seam state is the flat state'; \ the geometric sid

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/017-source.tex · lines 360 to 377

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
explicit script identifier v276_qgeo_flat_closes_commutator.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v279_qgeo_obligation_lemma.py
literal source filename/path in TeX
explicit script identifier v279_qgeo_obligation_lemma.py
literal short identifier uniquely resolves in local script registry
explicit file citation SeamDeckClosure.lean
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 claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join SeamDeckClosure.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
explicit lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context

2026-06-18 (4D QFT: the [formula in source] LSZ bridge [formula in source] one-loop unitarity, v278)

Research changelog · TFPT — Introduction and reading guide

v278_lsz_bridge_unitarity.py ( QFT4D.SPERT.04) connects the perturbative S-matrix to the physical asymptotic one and verifies one-loop unitarity. \ LSZ bridge: the EG [formula in source] -products of [formula in source] ( v269) are the OS Wick-rotated correlators ( v240), so amputate [formula in source] on-shell-residue gives [formula in source] ; \ the gap [formula in source] gives Haag–Ruelle asymptotic states. \ o

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 1 to 14

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v240_gns_os_reconstruction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v269_spert_paqft_skeleton.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 v278_lsz_bridge_unitarity.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v278_lsz_bridge_unitarity.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

2026-06-18 (QG.AMB.01 Tier-B made concrete: the seam-Calder\'on [formula in source] match, v277)

Research changelog · TFPT — Introduction and reading guide

v277_seam_calderon_e8_match.py ( QGAMB.TIERB.01) reduces Tier-B to ONE bit. \ the full [formula in source] matching target is computed and matches: [formula in source] , [formula in source] , the holomorphic character [formula in source] with a single primary and exactly [formula in source] weight-1 currents ( [formula in source] roots). \ the discriminator is holomorphy — the [formula in source] counterexample [form

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 15 to 26

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
explicit file citation v277_seam_calderon_e8_match.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v276_qgeo_flat_closes_commutator.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v260_k3_kummer_unification.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 SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

2026-06-18 (QGEO.SYM.01 narrowed: the flat pillowcase closes the commutator to all orders, v276)

Research changelog · TFPT — Introduction and reading guide

v276_qgeo_flat_closes_commutator.py ( QGEO.SYM.03) collapses the bedrock to ONE geometric postulate. The state-level residual the whole bedrock rests on is the operator equation [formula in source] . \ if [formula in source] and the order-4 deck [formula in source] ( [formula in source] ) is a flat- [formula in source] isometry, then [formula in source] exactly, to all orders (verified on the discretised square torus

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 27 to 40

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
explicit script identifier v201_seam_subprincipal_marks.py
literal short identifier uniquely resolves in local script registry
explicit file citation v276_qgeo_flat_closes_commutator.py
literal source filename/path in TeX
cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v276_qgeo_flat_closes_commutator.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 v198_modular_commutator_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 claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

2026-06-18 (Red Team Target F — adversarial audit of the v269–v275 round, rt_F)

Research changelog · TFPT — Introduction and reading guide

redteam/rt_F_qft4d.py ( REDTEAM.F.01) stress-tests the just-published round (the perturbative [formula in source] layer, the PMNS Jarlskog, the [formula in source] -scale, the over-determination, the QG.AMB.01 roadmap). Survives (narrowed): two attacks land and are folded in. (1) the gravity [formula in source] Weyl [formula in source] sub-sector is power-counting renormalizable but non-unitary (the Stelle ghost: the

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 41 to 54

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v274_scale_overdetermination.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v269_spert_paqft_skeleton.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 file citation run_redteam.py
literal source filename/path in TeX
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 rt_F_qft4d.py
literal source filename/path in TeX
explicit script identifier v275_qgamb_roadmap.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (Zenodo release 5.2 (rev 191) — the perturbative 4D-QFT layer + scale closure, v269–v275)

Research changelog · TFPT — Introduction and reading guide

Published to Zenodo. Version 5.2 (rev 191) of the ten-PDF document set was published as a new version of the TFPT deposit — record 20743347, DOI 10.5281/zenodo.20743347. This release carries the perturbative 4D-QFT layer (the Epstein–Glaser [formula in source] skeleton v269, the concrete one-loop quartic v271 and gauge [formula in source] -coefficients v273), the complete complex PMNS matrix and leptonic CP strength

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 55 to 67

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v273_eg_gauge_running.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v269_spert_paqft_skeleton.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation run_all.py
literal source filename/path in TeX
explicit script identifier v274_scale_overdetermination.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 v271_eg_oneloop_quartic.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v270_pmns_jarlskog_assembly.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v275_qgamb_roadmap.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (scale + frontier round: [formula in source] -mass scale, EG gauge running, over-determination, QG roadmap, v272– v275)

Research changelog · TFPT — Introduction and reading guide

v272_nu_mass_scale.py ( FLAV.NUSCALE.01) types the absolute neutrino-mass scale honestly (no fabricated [formula in source] — would contradict the v184 firewall). \ the absolute scale reduces to one seesaw ratio [formula in source] (one UV input, like [formula in source] , v153); \ the observed [formula in source] eV with the TFPT PS [formula in source] GUT window [formula in source] GeV ( v249) needs [formula in sou

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 68 to 92

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 v272_nu_mass_scale.py
literal source filename/path in TeX
explicit file citation v274_scale_overdetermination.py
literal source filename/path in TeX
explicit script identifier v275_qgamb_roadmap.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v36_spectral_action_g2.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 v184_etaB_anchored_boltzmann.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v271_eg_oneloop_quartic.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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 v269_spert_paqft_skeleton.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v273_eg_gauge_running.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v249_ps_unification.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 v275_qgamb_roadmap.py
literal source filename/path in TeX
explicit script identifier v78_vgeo_floor.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v77_e8_conformal_net.py
literal short identifier uniquely resolves in local script registry
explicit file citation v273_eg_gauge_running.py
literal source filename/path in TeX
explicit script identifier v159_pyrate_gauge_crosscheck.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
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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

2026-06-18 (4D QFT: a concrete Epstein–Glaser one-loop quartic renormalization, v271)

Research changelog · TFPT — Introduction and reading guide

v271_eg_oneloop_quartic.py ( QFT4D.SPERT.02) takes the v269 [formula in source] skeleton from ``exists'' to an actual EG number (no path integral). \ the first renormalization is the order-2 product [formula in source] ; the massless propagator has scaling degree [formula in source] in [formula in source] , the one-loop bubble has [formula in source] , so [formula in source] [formula in source] exactly one logarithmi

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 93 to 106

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v271_eg_oneloop_quartic.py
literal short identifier uniquely resolves in local script registry
explicit file citation v271_eg_oneloop_quartic.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v269_spert_paqft_skeleton.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

2026-06-18 (PMNS: the complete complex matrix + the leptonic Jarlskog CP strength, v270)

Research changelog · TFPT — Introduction and reading guide

v270_pmns_jarlskog_assembly.py ( FLAV.PMNS.03) assembles the four TFPT channels ( [formula in source] , [formula in source] , [formula in source] , [formula in source] ) into one exactly-unitary complex PMNS matrix and derives the leptonic CP strength. \ [formula in source] is unitary; \ the Jarlskog [formula in source] ( [formula in source] ) is a derived number, the leptonic analogue of the CKM [formula in source]

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 107 to 119

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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v270_pmns_jarlskog_assembly.py
literal short identifier uniquely resolves in local script registry
explicit file citation v270_pmns_jarlskog_assembly.py
literal source filename/path in TeX
explicit script identifier v88_cp_phase_audit.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (4D QFT: the perturbative S-matrix as an Epstein–Glaser / pAQFT skeleton, v269)

Research changelog · TFPT — Introduction and reading guide

v269_spert_paqft_skeleton.py ( QFT4D.SPERT.01) builds the honest middle layer of the three-layer S-matrix (the first concrete 4D-QFT step beyond the spectral-action contract), not a nonperturbative closure. \ three distinct layers: [formula in source] (2d DHR braiding [formula in source] , statistics, v243), [formula in source] (4d Epstein–Glaser/BV S-matrix of the spectral action), [formula in source] (LSZ on the OS

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 120 to 134

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 v243_haag_ruelle_braiding.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v265_qft4d_fork_freeze.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v269_spert_paqft_skeleton.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v269_spert_paqft_skeleton.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v240_gns_os_reconstruction.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

2026-06-18 (PMNS: the reactor-angle exponent closed as the carrier hypercharge trace, v268)

Research changelog · TFPT — Introduction and reading guide

v268_theta13_carrier_trace.py ( FLAV.TH13.01) closes the [formula in source] exponent origin. The value [formula in source] was already checked ( v16); now the exponent is exact: \ [formula in source] , the carrier hypercharge-squared trace ( [formula in source] , roots of [formula in source] ; complement [formula in source] the neutrino ratio). \ own channel: the [formula in source] -breaking [formula in source] ind

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 135 to 147

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 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 v16_solar_dual_anchor.py
literal short identifier uniquely resolves in local script registry
explicit file citation v268_theta13_carrier_trace.py
literal source filename/path in TeX
explicit script identifier v268_theta13_carrier_trace.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (Infrastructure: a generated causal ``script atlas'' so the suite is navigable at a glance)

Research changelog · TFPT — Introduction and reading guide

verification/make_script_atlas.py generates verification/script_atlas.md — a single grouped, dependency-aware view fusing the existing single sources ( status_ledger.csv for claim [formula in source] status [formula in source] dependencies [formula in source] supersedes, script_registry.csv/ script_clusters.csv for the theme grouping, docs_map.csv for where each script is cited). It lists every registered script by c

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/018-source.tex · lines 148 to 159

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation make_script_atlas.py
literal source filename/path in TeX
explicit file citation script_atlas.md
literal source filename/path in TeX
explicit file citation script_clusters.csv
literal source filename/path in TeX
explicit file citation script_registry.csv
literal source filename/path in TeX
explicit file citation docs_map.csv
literal source filename/path in TeX
explicit file citation status_ledger.csv
literal source filename/path in TeX

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.

Complete structured registry How source relations are recorded Knowledge and evidence coverage