2026-06-13 (seam Fock-space readings v174: CAR cone, Witten index, g-theorem)
Research changelog · TFPT — Introduction and reading guide
v174_seam_fock_readings.py \ (claim QFT.FOCK.01). Three more exact audit bridges from the same source note. (1) CAR cone compression: the even CAR algebra of the 16 seam Majoranas has [formula in source] directions, but a quasi-free Bogoliubov transport reduces the whole cone to a [formula in source] -dim one-particle problem ( [formula in source] ) — the explicit count behind v161. (2) Witten index [formula in sourc
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 288 to 303
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v157_rigid_fixed_point.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v161_one_particle_reduction.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
- explicit file citation v174_seam_fock_readings.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v174_seam_fock_readings.py
literal short identifier uniquely resolves in local script registry