2026-06-14 (work packages A+B: attacking [formula in source] + the variational scan — v199, v200)
Research changelog · TFPT — Introduction and reading guide
v199_seam_state_invariance.py / \ (claim QGEO.STATE.01, work package A). Attacking [formula in source] directly on the raw seam. (1) \ the setup is non-circular: [formula in source] is the Coxeter element of [formula in source] ( [formula in source] , v117), an automorphism of the raw CAR algebra (16 Majoranas) — both carrier-side, no seam geometry. (2) \ for a quasi-free RP state [formula in source] , so [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/020-source.tex · lines 199 to 221
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v200_seam_variational_scan.py
literal source filename/path in TeX
- explicit script identifier v117_monodromy_weyl_a3.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v199_seam_state_invariance.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v199_seam_state_invariance.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v200_seam_variational_scan.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