How the legacy layers simplify (bridge map)
Standard Model and flavor structure
@p0.7cmp3.5cmY@ layer & before & in the compiler picture \\ 1 & boundary [formula in source] & axiom (P1), unchanged; hardenable via Calder\'on/Lean \\ 2 & carrier, [formula in source] , [formula in source] , [formula in source] , [formula in source] & all one Pascal row [formula in source] on [formula in source] ; [formula in source] is the [formula in source] half-spinor \\ 3 & EM fixed point [formula in source] fl
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/006-section-neutrinos.tex · lines 263 to 289
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
- 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 script identifier v370_grav_spin2_unitarity.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 v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry