2026-07-14 ( v479– v481 — the bird's-eye ``overlooked tools'' round: R3's graph [formula in source] geometry bridge discharged to Kronheimer 1989; the four [formula in source] marks realised as the exactly solvable four-interval multilocal modular geometry with [formula in source] manifest; and the absolute [formula in source] -scale collapsed to a one-parameter, PS-window-bracketed candidate under the carrier normalisation [formula in source] — no gate closes, no marker moves)
Research changelog · TFPT — Introduction and reading guide
v479_kronheimer_quiver_bridge.py ( SEAM.KRONHEIMER.01). The R3 residual of the [formula in source] keystone ( v344: ``the rewrite attractor graph IS the du Val singularity'') is an ESTABLISHED THEOREM — Kronheimer's ALE hyper-K\"ahler quotient construction [formula in source] Torelli classification (J. Diff. Geom. 29 (1989) 665 and 685) — with all finite input data already compiler outputs, machine-checked : the Kac
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 131 to 192
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v467_thirdgen_mixing_pattern.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 v468_dm2_ratio_jarlskog.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v478_entropic_continuum_legs.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 v354_e8_reverse_audit.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 v479_kronheimer_quiver_bridge.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v479_kronheimer_quiver_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v346_seam_geometric_bridge.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 script identifier v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
- explicit file citation KronheimerMarks.lean
literal source filename/path in TeX
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v344_detk_synthesis.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v481_seesaw_carrier_ladder.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 KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation phi0_donnelly_equivariant_probe.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v358_grav_entropy_equilibrium.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 v355_e8_unmapped_bandwidth.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 v481_seesaw_carrier_ladder.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 file citation v480_multilocal_four_interval.py
literal source filename/path in TeX