Executable certificate and claim boundary.
tfpt research contracts · tfpt research contracts · Research contracts
The repository certificate v1033_ charged_ disorder.py audits the frozen sources, proves the finite Weyl/parity/charge identities with rational and symbolic arithmetic, imports the executable v988 QWZ builder and compares it entrywise, verifies the endpoint commutator on the actual [formula in source] hops, and reports finite energy diagnostics.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_round7_charged_disorder.tex · lines 343 to 363
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v1033_charged_disorder.py
literal source filename/path in TeX
- explicit script identifier v988_psi_lambda_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred