2026-07-20 (II) ( v490 — the [formula in source] spin-structure parity census: [formula in source] witnessed on the lattice, the 16-fold-way bridge [formula in source] on measured numbers, and the honest TEE non-discriminator fence; no gate closes, no marker moves)
Research changelog · TFPT — Introduction and reading guide
v490_seam_parity_census.py ( SEAM.MU.01). The [formula in source] ground-state fermion parity of the v367 [formula in source] collar, resolved per spin structure [formula in source] and determined TWICE — Read–Green TRIM product AND real-space Majorana Pfaffian (Schur), relative to the trivial [formula in source] phase, with the twisted real-space spectra matching the Bloch bands to [formula in source] . \ per layer
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 208 to 228
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamResidualAxiom.lean
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
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v490_seam_parity_census.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v490_seam_parity_census.py
literal source filename/path in TeX
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v489_seam_modular_commutator.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry