TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/NS-COVER-GREEN-RP-INDEPENDENT-REVIEW.txt
Original file SHA-256: 3579d118cdaf036aed24ab5ee20bdc2889023a49b9a44efaebc3dce14b46d01a
Inclusive original lines: 130-199
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.

000130 |   (G_i+G_-i)/2=+1/2       auf 0<s<2,
000131 |   (G_i+G_-i)/2=-1/2       auf -2<s<0.
000132 | 
000133 | Der alte neutrale Zahlzeuge mit komplexer Besetzung 1/(1-q) war daher
000134 | korrekt für die isolierte q gedrehte Spur. Er transportiert nicht als
000135 | isoliertes OS Quadrat in den Coverzustand: Die lineare Feldreflexion sendet
000136 | den +i Deckraum in den -i Deckraum. Die beiden imaginären Spureinsetzungen
000137 | sind dort keine zwei selbständigen Zustände. Ihre Deckprojektionen gehören
000138 | zu einer einzigen gewöhnlichen NS KMS Kovarianz, deren Nullmodenwert 1/2
000139 | ist. Die CAR Wortumkehr erhält die Reihenfolgezeichen und koppelt stets die
000140 | konjugierten Deckblöcke. Damit verschwindet der frühere Gegenzeuge genau
000141 | dort, wo die vollständige Coverreflexion definiert ist.
000142 | 
000143 | 4. Physischer Geltungsbereich
000144 | ------------------------------
000145 | 
000146 | Bewiesen ist die Reflexionspositivität des vorausgesetzten freien geladenen
000147 | Gaussian Feldes auf dem tatsächlichen Orientierungscover mit x als
000148 | euklidischer Zeit, räumlichem Operator H und
000149 | 
000150 |   C=(I+exp(2H))^-1.
000151 | 
000152 | Diese Kovarianz ist keine Projektion. Sie ist weder sign(D) auf dem
000153 | zweidimensionalen Raum noch der Hardy Seezustand der alten Quarterkreis
000154 | Quelle. Das Resultat liefert deshalb noch keine P1 Abbildung und keinen
000155 | Transport des früheren W8 Zustands. Dafür bleibt eine einzige gemeinsame
000156 | Quellenabbildung zu zeigen, welche Feldalgebra, reale Unterstützung, Zeit,
000157 | Zustand, Reflexion sowie Kragen und Referenzdaten erhält.
000158 | 
000159 | Der Vergleich mit Jaffe und Ritter rechtfertigt die Cliffordstruktur und
000160 | die Form des Green Positivitätstests. Er ist kein direkt übernommener Satz
000161 | für diesen kompakten Randoperator. Der vorliegende Spektralbeweis leistet
000162 | genau diese zusätzliche Rand und Coverprüfung.
000163 | 
000164 | 5. Unabhängige Reproduktion
000165 | ----------------------------
000166 | 
000167 | check_ns_cover_dirac_rp.py wurde zunächst unabhängig normal und mit -OO nach
000168 | /tmp ausgeführt. Nach der Reviewkorrektur ergänzt der gespeicherte Checker
000169 | nun zusätzlich die zweite Ladungsfaktorisierung als exakte Identität für
000170 | alle reellen Energien. Seine aktuellen normalen und -OO Ausgaben sind
000171 | bytegleich:
000172 | 
000173 |   d1844d0c16d7868f38ab2342f3568b53d1d59c3fa56552a0db33815127101862
000174 | 
000175 | Der Checker bestätigt Green Sprung, NS Antiperiodizität, die erste
000176 | Gramfaktorisierung, beide Randzeichen, transversale Eigenfunktionen,
000177 | Deckprojektoren, beide Ladungsfaktorisierungen und die Nullmodenpaarung.
000178 | 
000179 | Quellen:
000180 | 
000181 | * A. Chakraborty, Pin Equivariance and Local Dirac Boundary Problems on the
000182 |   Flat Moebius Band, arXiv:2610.03745v1, Abschnitte 6 und 8:
000183 |   https://arxiv.org/html/2610.03745v1
000184 | * A. Jaffe und G. Ritter, Reflection Positivity and Monotonicity,
000185 |   arXiv:0705.0712v2, Abschnitt 4.2:
000186 |   https://arxiv.org/html/0705.0712v2
000187 | 
000188 | Endurteil:
000189 | 
000190 |   ACCEPTED. DIE EXPLIZITE FELDVORZEICHENKONVENTION IST EINGEARBEITET.
000191 | 
000192 |   PROVED: vollständige freie NS Cover Green Positivität und notwendige
000193 |   Vertauschung der beiden Quartersektoren.
000194 | 
000195 |   INCORPORATED: beide Ladungskerne und das globale Minus der gewählten
000196 |   Green Wortordnung stehen jetzt ausdrücklich im Haupttext und Checker.
000197 | 
000198 |   OPEN: Identifikation dieses Coverzustands mit demselben ursprünglichen
000199 |   P1 Seed und mit der alten Quarter W8 Quelle.