The ambient closure: one spectral-action measure, IR-complete by decoupling
Standard Model and flavor structure
The two formerly-hardest items — the ambient (unprojected) QFT measure beyond the selector [formula in source] , and full quantum gravity beyond the [formula in source] scalaron — are not two separate problems. They are one object: the relative spectral-action measure [formula in source] with [formula in source] the matter/gauge Dirac operator and the gravitational data in the same trace. Three facts reduce both open
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_2_standard_model/sections/010-section-the-explicit-mass-gap-closes-dynamics-and-cluste.tex · lines 273 to 408
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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v28_gravity_fR.py
literal source filename/path in TeX
- explicit script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEdgeChern.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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v255_spectral_action_expansion.py
literal source filename/path in TeX
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v261_modular_spectral_closure.py
literal source filename/path in TeX
- 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 script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v258_dirac_covariance_induction.py
literal source filename/path in TeX
- explicit file citation v259_modular_cutoff_kappa.py
literal source filename/path in TeX
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry