Per-lemma status
mmst charged scaling limit en
@p0.13 p0.24 p0.16 p0.39 @ Item & Statement & Status & Reason\\ S0 & Frozen generator arithmetic: [formula in source] , [formula in source] , order four, census [formula in source] & & Exact rational lattice calculation; rechecked 10/10.\\ S1 & Neutral bilinear currents and stress tensor have a scaling limit & & Osborne–Stottmeister Theorems 4.11, 4.16 and 5.1; the frozen neutral objects are in the bilinear class.\\
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/articles--2026-08-30--mmst_charged_scaling_limit_en/sections/005-subsection-the-neutral-net-and-its-index.tex · lines 176 to 257
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v1025_telb_c1_c2a_certificates.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1026_telb_round4_closure.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1022_telb_round3_certificates.py
literal short identifier uniquely resolves in local script registry