T6/T8: full Gauss counts, internal cap and selection rules.
tfpt research contracts · Research contracts
PARENT.GAUSS.D4.ROUND4.01. v1028_ gauss_ d4_ cap.py uses the full exterior character, not a low-occupation truncation. Let [formula in source] consist of [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] , with charges [formula in source] . For color weights [formula in source] and weak weights [formula in source] , set [formula in source
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_round4_proofs.tex · lines 304 to 374
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v1028_gauss_d4_cap.py
literal source filename/path in TeX
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_round4.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