2026-07-03 ( v472 — the determinant line over the [formula in source] -twist moduli of the collar model carries curvature [formula in source] the inflow level: the v470 bridge lemma exhibited at the finite/model level; ALPHA.QUILLEN.EXACT.01 stays . Plus: bird's-eye rounds — electron-sector/Cabibbo whitespot probes, Calder\'on UV-universality, parameter-free flat-budget closure (sandbox); the flat-budget closure enters the evidence scorecard)
Research changelog · TFPT — Introduction and reading guide
v472_quillen_detline_moduli.py ( ALPHA.QUILLEN.DETLINE.01). ALPHA.QUILLEN.EXACT.01 names the [formula in source] level as the curvature of the determinant line over the [formula in source] seam moduli (Quillen 1985 / Bismut–Freed CMP 106 (1986) curvature; Dai–Freed JMP 35 (1994) section); v470 computed the bulk Chern invariant only over the Bloch Brillouin zone (the translation-invariant shortcut). v472 computes the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/010-source.tex · lines 1 to 55
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v472_quillen_detline_moduli.py
literal source filename/path in TeX
- explicit script identifier v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v471_seam_horizon_replica.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 file citation quillen_detline_twist_moduli.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation electron_sector_cabibbo_probe.py
literal source filename/path in TeX
- explicit file citation kernel_calderon_uv_universality.py
literal source filename/path in TeX
- explicit script identifier v468_dm2_ratio_jarlskog.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation flat_budget_closure.py
literal source filename/path in TeX
- explicit script identifier v367_seam_s3_lattice.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
- 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 script identifier v204_muon_seam_g2.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamScalingLimit.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 claim identifier status_ledger.csv
exact local ledger claim identifier