TFPT scientific source excerpt
Original repository path: documents/tfpt_research_contracts/sections/008-source.tex
Original file SHA-256: 8fba02c4b93076592cd51ec0c3c69f8469cc9eabc0048bf085d74508e7f98a2b
Inclusive original lines: 287-293
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.

000287 | \begin{lemma}[G6--G7 --- projective limit \& Ward identities]
000288 | A projective system $\mu_{\chi_n}$ with $\pi_{m,n*}\mu_{\chi_m}=\mu_{\chi_n}$, uniform moment bounds
000289 | $\sup_n\!\int\|g\|_{H^s}^p\,d\mu_{\chi_n}<\infty$, tightness and regulator-independence yields
000290 | $\mu_{\mathrm{QG}}=\lim\mu_\chi$ on $\mathcal G/\mathrm{Diff}$ (G6, the hardest step); the limit obeys the
000291 | BRST Ward identities $\langle s\mathcal O\rangle=0$, whence $\nabla^\mu T_{\mu\nu}=0$ and the $\eta$
000292 | boundary phase cancels the APS anomalies (G7).
000293 | \end{lemma}