2026-06-23 (Directions 3 \& 7 — the two hard functional-analysis residuals ADVANCED: the QG measure as one-loop fluctuations around the parameter-free saddle ( v365), and the seam collar verified IN MMST's free-fermion class so the scaling limit is [formula in source] ( v366))
Research changelog · TFPT — Introduction and reading guide
v365 ( QGAMB.SADDLE.01) — Direction 3. With the parameter-free saddle ( v358/ v359) the QG measure (gate C7/ QG.AMB.01) organises as a one-loop Gaussian fluctuation determinant. \ the fluctuation stiffness is [formula in source] (no free dial, so the one-loop problem is now well-posed); \ the fluctuation operator is gapped [formula in source] ( v76/ v337) [formula in source] mode-by-mode convergence, finite model log
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 258 to 280
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v356_continuum_mmst_applicability.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 script identifier v297_route_a_literature_stack.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v155_quasifree_boundary.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 SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v337_decoupling_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 v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v330_qgamb_admissible_measure.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 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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v364_vgeo_sharpen.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 v366_mmst_seam_collar.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 script identifier v365_qg_oneloop_saddle.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