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 (The bedrock in its minimal-axiom form: a rigidity theorem for QGEO.SYM.01, v267)

Research changelog · TFPT — Introduction and reading guide

v267_qgeo_rigidity_minimal_axiom.py ( QGEO.SYM.02) sharpens the one bedrock postulate to its irreducible kernel (it does not close it). \ the single bare statement ``the seam admits the carrier order- [formula in source] clock as a conformal symmetry permuting its four marks'' ( [formula in source] ) forces everything: an order- [formula in source] M\"obius orbit [formula in source] has cross-ratio [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 160 to 175

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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v267_qgeo_rigidity_minimal_axiom.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
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 v198_modular_commutator_reduction.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
cross reference join tfpt_readouts_extension.wl
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v214_seam_pillowcase.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v201_seam_subprincipal_marks.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v264_raw_seam_marklocal.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v267_qgeo_rigidity_minimal_axiom.py
literal short identifier uniquely resolves in local script registry

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

v266_ps_threshold_proton.py ( PS.PROTON.02/ PS.THRESHOLD.02) decides branch B of the v265 fork. The explicit two-step Pati–Salam thresholds give [formula in source] [formula in source] (writes ps_threshold_proton.json): \ the minimal [formula in source] -Higgs content ( [formula in source] ) gives [formula in source] yr [formula in source] Super-K and is killed even at the high hadronic band; \ the [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 176 to 190

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

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

v265_qft4d_fork_freeze.py ( QFT4D.FORK.01) turns the 4D-QFT fork from an open ambiguity into a frozen decision tree ( qft4d_fork_freeze.json), no new physics. A (canonical): boundary-only is the default 4D reading — a 4D-GUT is not claimed by default ( [formula in source] is the audit hull). \ SM-only 4D-GUT unification is killed (1-loop: at the [formula in source] scale [formula in source] off by [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 191 to 208

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

explicit script identifier v253_kappa_scalaron_ps.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 script identifier v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v247_e8_branching_no126.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
explicit file citation qft4d_fork_freeze.json
literal source filename/path in TeX
explicit file citation v265_qft4d_fork_freeze.py
literal source filename/path in TeX
explicit script identifier v246_unification_data_crosscheck.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v248_ps_algebra.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 claim identifier status_ledger.csv
exact local ledger claim identifier

2026-06-18 (Three open-residual advances: the [formula in source] solver, [formula in source] from [formula in source] , and the raw-seam [formula in source] mark-locality reduction, v262– v264)

Research changelog · TFPT — Introduction and reading guide

v262_fqcd_mp_me.py ( FR.MPME.02) implements the one contract-only [formula in source] pipeline. A real two-loop [formula in source] solver runs [formula in source] with [formula in source] thresholds (carrier [formula in source] , ) to [formula in source] and [formula in source] \,GeV; with the lattice bridge [formula in source] (external [formula in source] ) and the closed [formula in source] it reproduces [formula

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 209 to 235

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 v262_fqcd_mp_me.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
cross reference join Mu4Commutation.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 script identifier v198_modular_commutator_reduction.py
literal short identifier uniquely resolves in local script registry
cross reference join YukawaStageDExistence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v264_raw_seam_marklocal.py
literal source filename/path in TeX
explicit script identifier v264_raw_seam_marklocal.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
cross reference join tfpt_readouts_extension.wl
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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v231_cp_mu6_phases.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
cross reference join AxiomCheck.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 v262_fqcd_mp_me.py
literal source filename/path in TeX
explicit script identifier v233_cp_triality_phase.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v201_seam_subprincipal_marks.py
literal short identifier uniquely resolves in local script registry
explicit file citation v263_mnu_from_df.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v9_neutrino_texture.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (Paper consistency pass: the closure ledger and the status/QFT sections updated for the Modular Spectral Closure, with an explicit ``what is not closed'' line)

Research changelog · TFPT — Introduction and reading guide

Five paper sections that predated the v238– v261 round are brought up to date (additive, no status marker moved). The introduction closure-ledger table and the ``five questions'' item now carry a boundary QFT (Modular Spectral Closure) row — one relative object [formula in source] closed modulo QGEO.SYM.01 ( v258– v261) — plus an explicit list of what the closure does not reach: the full measured pole masses, the abs

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 236 to 254

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

explicit script identifier v259_modular_cutoff_kappa.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v261_modular_spectral_closure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v238_modular_lindblad_dynamics.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v258_dirac_covariance_induction.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 v255_spectral_action_expansion.py
literal short identifier uniquely resolves in local script registry

2026-06-18 (Consistency pass: the Modular Spectral Closure surfaced structurally across the website and the intro status card)

Research changelog · TFPT — Introduction and reading guide

The v258– v261 closure is now reflected on every ``what is open'' surface, not just the research-contracts paper. The homepage open-gates section and compiler-pipeline diagram, the hostile-referee FAQ, the glossary [formula in source] entry, the reviewer page and the verification residual-chain caption now state that the entire emergent-QFT layer (Dirac, cutoff, gauging, glue, orientability) collapses onto the same p

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 255 to 267

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

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

2026-06-17 (The Modular Spectral Closure: Dirac as covariance induction, the modular cutoff, the Kummer/K3 unification, and the assembly certificate, v258– v261)

Research changelog · TFPT — Introduction and reading guide

v258_dirac_covariance_induction.py ( PS.DIRAC.03) closes the ``posited Yukawa vs derived operator'' gap of v250/ v252. The finite Dirac operator [formula in source] is the modular/covariance induction of the boundary seam quasi-free (KMS, [formula in source] ) state: a Gaussian state is fixed by its covariance [formula in source] (a positive contraction) with one-particle modular Hamiltonian [formula in source] (Arak

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 268 to 310

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

explicit file citation v260_k3_kummer_unification.py
literal source filename/path in TeX
explicit script identifier v239_kms_thermal_time.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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 script identifier v261_modular_spectral_closure.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v252_full_finite_triple.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 v260_k3_kummer_unification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v232_e8_kleinian_seam.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 script identifier v18_quark_yukawa.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 v197_rr_carrier_clifford_d5.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 v253_kappa_scalaron_ps.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v58_seam_horizon_chain.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 file citation v261_modular_spectral_closure.py
literal source filename/path in TeX
explicit script identifier v238_modular_lindblad_dynamics.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v255_spectral_action_expansion.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 v259_modular_cutoff_kappa.py
literal source filename/path in TeX
explicit script identifier v258_dirac_covariance_induction.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 v236_brieskorn_capstone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v250_dirac_triple_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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v258_dirac_covariance_induction.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

2026-06-17 (Infrastructure: the changelog is now a public website page, generated from changelog.tex and audit-gated)

Research changelog · TFPT — Introduction and reading guide

The canonical changelog now also drives a public /changelog website page. A new generator verification/make_changelog_web.py parses this file (dated subsection* entries, itemize items, and the inline markup textbf/ emph/ texttt/ vref, the status markers / / / , inline math and accents) into the typed data file website/ lib/ changelog.ts, rendered server-side (math via KaTeX) by website/ app/ changelog/ page.tsx [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 311 to 328

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

explicit file citation make_changelog_web.py
literal source filename/path in TeX
explicit file citation audit_sync.py
literal source filename/path in TeX

2026-06-17 (Orientability + Poincar\'e duality: the honest, literature-confirmed status — strict fail, weakened hold, v257)

Research changelog · TFPT — Introduction and reading guide

v257_quasiorient_modpd.py ( PS.NCG.ORIENT.02) corrects the slightly too-generous v256 typing. The published result (Cacic–Stephan arXiv:0902.2068; CCM07; SM-vacuum hep-th/0601192) is that the Chamseddine–Connes–Marcolli Standard-Model finite triple (KO-dimension [formula in source] , with three right-handed neutrinos — exactly the TFPT seesaw case) genuinely fails strict orientability and strict Poincar\'e duality, a

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 329 to 344

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

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

2026-06-17 (Remaining NCG obligations discharged or honestly typed: inner fluctuations, spectral action, orientability/Poincar\'e, v254– v256)

Research changelog · TFPT — Introduction and reading guide

v254_inner_fluctuations.py ( PS.NCG.FLUCT.01) closes v250 \#5 + the no-junk obligation. The inner fluctuations [formula in source] of the finite Dirac operator are computed explicitly: \ they are purely chirality-odd (scalars), and for the SM algebra sit exactly in the one Higgs doublet [formula in source] — no junk, no triplet, no [formula in source] . \ the [formula in source] ( [formula in source] Majorana) direct

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 345 to 368

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

explicit file citation v255_spectral_action_expansion.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v254_inner_fluctuations.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v252_full_finite_triple.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v256_orientability_poincare.py
literal source filename/path in TeX
explicit script identifier v250_dirac_triple_contract.py
literal short identifier uniquely resolves in local script registry
explicit file citation v254_inner_fluctuations.py
literal source filename/path in TeX
explicit script identifier v256_orientability_poincare.py
literal short identifier uniquely resolves in local script registry

2026-06-17 (Full [formula in source] -dim finite spectral triple built + NCG axioms verified, and [formula in source] pinned to [formula in source] , v252– v253)

Research changelog · TFPT — Introduction and reading guide

v252_full_finite_triple.py ( PS.DIRAC.02) advances the Dirac contract v250 from a [formula in source] -obligation contract to a concrete object discharging [formula in source] to . The full [formula in source] -dim finite spectral triple [formula in source] — [formula in source] the particle [formula in source] antiparticle doubling of three [formula in source] [formula in source] -plets — is built explicitly and 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/019-source.tex · lines 1 to 20

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

explicit script identifier v250_dirac_triple_contract.py
literal short identifier uniquely resolves in local script registry
explicit file citation v252_full_finite_triple.py
literal source filename/path in TeX
explicit script identifier v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
explicit file citation v253_kappa_scalaron_ps.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v253_kappa_scalaron_ps.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v252_full_finite_triple.py
literal short identifier uniquely resolves in local script registry

2026-06-17 (Spectral triple, first step: the first-order condition is violated exactly by the Majorana/ [formula in source] — the CCvS Pati–Salam mechanism, v251)

Research changelog · TFPT — Introduction and reading guide

v251_first_order_sigma.py ( PS.DIRAC.01) advances the Dirac contract v250 from a contract to an exhibited mechanism. On a faithful lepton-block model ( [formula in source] , [formula in source] ), the real even structure is checked ( [formula in source] , [formula in source] , [formula in source] , KO-dim-6 signs), order-zero holds, the first-order condition HOLDS for the Yukawa block, and is VIOLATED exactly by 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/019-source.tex · lines 21 to 33

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

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

2026-06-17 (Carrier-native Pati–Salam program: [formula in source] forbids the 126, PS algebra, unification kill-test, Dirac contract, v247– v250)

Research changelog · TFPT — Introduction and reading guide

Four scripts turning the gauge-unification finding into typed claims with negative controls. v247_e8_branching_no126.py ( PS.E8BRANCH.01): the [formula in source] hull branches under [formula in source] as [formula in source] , so the [formula in source] content is exactly [formula in source] and the [formula in source] is absent — the renormalisable [formula in source] is algebraically forbidden and [formula in sour

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/019-source.tex · lines 34 to 51

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

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

2026-06-17 (Honest data cross-check + emergent-QFT figures: the unification tension, v246)

Research changelog · TFPT — Introduction and reading guide

v246_unification_data_crosscheck.py ( QFT4D.RGTEST.01) — the first hard data confrontation of the spectral-action prediction. TFPT's gauge-charged content is the Standard Model ( v159) and the theory adds no new states; the [formula in source] cascade is an arithmetic spine ( v5), not a threshold tower. So the run is the SM run: at one loop the couplings spread [formula in source] – [formula in source] \,GeV (residua

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/019-source.tex · lines 52 to 68

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

explicit file citation make_figures.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 v159_pyrate_gauge_crosscheck.py
literal short identifier uniquely resolves in local script registry
cross reference join CalderonInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v246_unification_data_crosscheck.py
literal short identifier uniquely resolves in local script registry
explicit file citation v246_unification_data_crosscheck.py
literal source filename/path in TeX
explicit script identifier v5_e8_cascade.py
literal short identifier uniquely resolves in local script registry
cross reference join YukawaTrilinearForm.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

2026-06-17 (Spectral-action matter content: the [formula in source] 16 [formula in source] one anomaly-free SM generation, v245)

Research changelog · TFPT — Introduction and reading guide

v245_spectral_matter_content.py ( QFT4D.MATTER.01) discharges the computable core of the 4d contract v244. The carrier half-spinor (the [formula in source] 16) is verified, in exact rational arithmetic, to be one Standard-Model generation: [formula in source] , the SM multiplet dimensions sum to [formula in source] ( [formula in source] Weyl fermions [formula in source] ), the electric charges [formula in source] are

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/019-source.tex · lines 69 to 85

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

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

2026-06-17 (The static [formula in source] dynamic flip: modular flow [formula in source] a recovery Lindblad generator, v238)

Research changelog · TFPT — Introduction and reading guide

New v238_modular_lindblad_dynamics.py ( DYN.SEMIGROUP.01, cluster registry). A companion to the modular round ( v196/ v198) and the recovery code ( v221/ v64) that reads the same seam objects dynamically rather than statically. \ the modular flow [formula in source] is a unitary one-parameter group (Tomita–Takesaki) whose conservation of the [formula in source] clock, [formula in source] , IS the v198 state-invarianc

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/019-source.tex · lines 86 to 105

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 SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation run_all.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 script identifier v196_seam_energy_functional.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v64_causal_boundary_nogo.py
literal short identifier uniquely resolves in local script registry
explicit file citation v238_modular_lindblad_dynamics.py
literal source filename/path in TeX
explicit script identifier v198_modular_commutator_reduction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v221_seam_qecc.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 status_ledger.csv
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 file citation script_registry.csv
literal source filename/path in TeX
explicit script identifier v238_modular_lindblad_dynamics.py
literal short identifier uniquely resolves in local script registry

2026-06-17 (Red-team layer re-synced to the paper; shadow export mirrors figures/)

Research changelog · TFPT — Introduction and reading guide

Red Team Target A re-synced to tfpt_5_redteam ( rt_A_e8net.py, redteam_table.txt, redteam/README.md, infrastructure). The Python red-team surface still emitted the historical three-residual ``A reduced, not closed'' form, lagging the reader-facing note. It now encodes the sharper narrowing already in the paper: the residual collapses to the single statement ``the seam–Calder\'on boundary net is holomorphic with [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/019-source.tex · lines 106 to 125

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 v152_norm_is_anchor.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 make_script_index.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 v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
explicit file citation redteam_table.txt
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 file citation README.md
literal source filename/path in TeX
explicit file citation rt_A_e8net.py
literal source filename/path in TeX
explicit file citation make_manifest.py
literal source filename/path in TeX
explicit script identifier v148_fock_census.py
literal short identifier uniquely resolves in local script registry

2026-06-17 (CP phases as [formula in source] powers — a reduction of red-team Target D)

Research changelog · TFPT — Introduction and reading guide

Both CP phases are [formula in source] powers of one hexagonal CM unit, split by the sheet ( v231_cp_mu6_phases, tfpt_5_redteam, / ). Sharper than v220/ v225 (which only located the CP residual). With [formula in source] the primitive [formula in source] th root (the [formula in source] Eisenstein CM unit): [formula in source] leading [formula in source] (quark) and [formula in source] (lepton, the phase lattice), wi

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/019-source.tex · lines 126 to 196

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 script identifier v233_cp_triality_phase.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v88_cp_phase_audit.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_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 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 v232_e8_kleinian_seam.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 v160_seam_gaussianity_from_pf.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
cross reference join TfptCarrier.lean
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 AuditCheck.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v223_coxeter_totative_clock.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v231_cp_mu6_phases.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 v225_dual_normal_frame.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v219_icosahedral_mckay.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
explicit script identifier v220_cp_hexagonal_modulus.py
literal short identifier uniquely resolves in local script registry

2026-06-16 (the icosahedral bedrock, CM-norm duality, and a structural-finds round)

Research changelog · TFPT — Introduction and reading guide

McKay bedrock: why the atoms are [formula in source] ( v219_icosahedral_mckay, origin_theory, ). [formula in source] is the exceptional top of the McKay tower of finite [formula in source] subgroups ( [formula in source] , [formula in source] , [formula in source] ). Built from the group: the [formula in source] unit-quaternion icosians close to the binary icosahedral group [formula in source] (element orders [formul

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/019-source.tex · lines 197 to 259

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
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 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 claim identifier status_ledger.csv
exact local ledger claim identifier

2026-06-15 (the diamond axis geometry — two axes + the transfer corner)

Research changelog · TFPT — Introduction and reading guide

The Sheet Diamond is a discrete geometry with two axes ( v218_diamond_axis_geometry, tfpt_2_standard_model, ). Sharpens v94/ v95 with three exact \ lemmas (no new numbers). (1) Axis curvature: along the centered cross the determinant is linear on the winding axis [formula in source] (slope [formula in source] ) and quadratic on the sheet axis [formula in source] (2nd difference [formula in source] ); the anchor block

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/019-source.tex · lines 260 to 279

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

explicit script identifier v95_centered_diamond.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
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 v94_sheet_diamond.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

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