2026-07-14 (website + figure refresh — the /verification journey views become live HTML (the stale timeline/residual-chain images replaced by interactive components wired to the in-browser reproducer), the prediction surface's empirical-audit wall of text restructured into dated, expandable rounds, and the generated timeline/residual-chain figures extended to the current suite — presentation only, no content or marker moves)
Research changelog · TFPT — Introduction and reading guide
Website /verification: live journey views. The static script_timeline.png and residual_chain.png images (stale at the v303– v407 figure state, with alt text and captions still describing the old eleven-phase/ v237 state) are replaced by two interactive components, SuiteTimeline.tsx (17 phases, v1– v481) and ResidualChain.tsx (the reduction chain through the certification round to the bedrock): every phase/step lists
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 62 to 130
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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v303_ftransfer_dynamics.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
- explicit script identifier v480_multilocal_four_interval.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 v481_seesaw_carrier_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v472_quillen_detline_moduli.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v458_seam_mmst_citation_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v408_phi0_puncture_heatkernel.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v237_seam_sre_closure.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v479_kronheimer_quiver_bridge.py
literal short identifier uniquely resolves in local script registry
- 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
- cross reference join SpectralGapAttractor.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 script identifier v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v407_dn_pairings_omega.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry