TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/REFLECTION-INDEPENDENT-REVIEW.txt
Original file SHA-256: 2731432207346c866b7ab7eeea925f2adef902152031c62b9a7f2d0d4bb11e18
Inclusive original lines: 181-212
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.

000181 | PROVED for the named free theta_3 Gaussian functional:
000182 | 
000183 |   * one fixed S or hS is not reflection positive on the full global even CAR
000184 |     algebra of both inside checker faces;
000185 |   * the compactly supported neutral word (2) is a strict negative witness;
000186 |   * graph vertex conditions and boundary metric choices cannot affect it;
000187 |   * literal base winding is not the uniform intrinsic boundary ladder.
000188 | 
000189 | NOT proved, and not claimed by this review:
000190 | 
000191 |   * failure after imposing independent face gauge invariance or facewise
000192 |     parity;
000193 |   * failure for a source-supplied piecewise reflection;
000194 |   * failure of a transported intrinsic uniform winding;
000195 |   * a no-go theorem for another graph state or for the primitive P1 source.
000196 | 
000197 | Files independently checked
000198 | ===========================
000199 | 
000200 |   research-20261026-real-boundary/GRAPH-CUT-REFLECTION-TEST.txt
000201 | 
000202 |   research-20261026-elliptic-source-continuation/ELLIPTIC-GREEN-RP.txt
000203 | 
000204 |   research-20261026-p1-reflection/NS-COVER-FULL-DIRAC-RP.txt
000205 | 
000206 |   research-20261026-p1-reflection/
000207 |   NS-COVER-GREEN-RP-INDEPENDENT-REVIEW.txt
000208 | 
000209 |   research-20261026-elliptic-source-continuation/
000210 |   INDEPENDENT-SEAM-GRAPH-REVIEW.txt
000211 | 
000212 |   research-20261026-real-boundary/TRACE-METRIC-AND-DOMAIN.txt