TFPT scientific source excerpt
Original repository path: documents/tfpt_research_contracts/sections/018-source.tex
Original file SHA-256: f74b5983483b619cd06b701aa4aabfe0b979ce8581e4085556289991c9c55774
Inclusive original lines: 327-339
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000327 | \par\smallskip\noindent\textbf{ALG2 correction (binding).}
000328 | The former Vandermonde-to-generated-algebra implication is withdrawn.  The exact
000329 | one-mode countermodel has full CAR algebra $M_2$, while the even/code-generated
000330 | subalgebra is diagonal; the annihilator stays at distance at least $1$ from it.
000331 | Fourier/Vandermonde inversion therefore supplies only full-CAR compression, not the
000332 | microscopic generated algebra.  ALG2 requires an independent FE-GEN
000333 | compression-surjectivity theorem or a precise gauge/code-projected microscopic
000334 | algebra argument.  The positive ALG1 estimate is likewise conditional on the
000335 | generated projection containing the microscopic low-energy sectors.
000336 | The round-4 sector/frame lemma gives a sufficient conditional interface, not
000337 | a microscopic FE-GEN proof. ALG-EXH and
000338 | \texttt{SEAM.MMST.TYPEIII.CHARGED.01} remain \mO.
000339 |