TFPT scientific source excerpt Original repository path: experiments/theory-contracts/craig-original-source-bridge-20261103/SOURCE-BRIDGE.txt Original file SHA-256: 694457a0ccad7a4cbe46e3dec97e364ef085e8d0bad2c9112e684d1dcd3200e4 Inclusive original lines: 209-319 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. 000209 | 9. Über die singuläre Karte hinaus: exaktes Blocking mit ganzer Quelle 000210 | 000211 | Eine mögliche Umgehung wird nicht bloß behauptet. Die vollständige 000212 | endliche Berezin Identität lautet wie folgt. Für ein gegebenes kinetisches 000213 | K_T, vorgegebenes B,barB und invertierbares alpha füge die normierte 000214 | Hilfsintegration mit Kernel 000215 | (bar_chi-bar_psi barB) alpha (chi-B psi) 000216 | ein. Die Normierung ist det(alpha)^(-1). Schreibe 000217 | Kp=K_T+barB alpha B, 000218 | D_a=alpha-alpha B Kp^(-1)barB alpha. (6) 000219 | Nach Integration der ursprünglichen Fermionen ist die volle Quelle 000220 | 000221 | det(Kp)/det(alpha) integral dchi dbar_chi 000222 | exp[-bar_chi D_a chi 000223 | +bar_eta Kp^(-1)eta 000224 | +bar_eta Kp^(-1)barB alpha chi 000225 | +bar_chi alpha B Kp^(-1)eta]. (7) 000226 | 000227 | Wo die Inversen existieren, folgt daraus 000228 | D_a^(-1)=alpha^(-1)+B K_T^(-1)barB. (8) 000229 | Der Quellkontaktterm in (7) erhält die beim Blocking integrierten Antworten. 000230 | Er darf nicht unter Berufung auf denselben IR Propagator entfernt werden. 000231 | Bei Nullmoden ist die ursprüngliche endliche Grassmannintegration mit 000232 | Quellminoren zu verwenden; eine Division durch einen verschwindenden 000233 | Determinanten wird nicht verlangt. Bei tatsächlicher schiefer Paarung 000234 | gilt die Pfaffian/Schur Version auf dem ursprünglichen Feldraum. 000235 | Formeln für volle komplexe Dirac Variablen sind kein Beweis dafür, dass 000236 | die TFPT ihre physische eingeschränkte Variablenliste genau so besitzt. 000237 | 000238 | Die konkrete notwendige Operatorgleichung für den CRAIG Anschluss ist 000239 | 000240 | alpha^(-1)+B K_T(background)^(-1)barB 000241 | =D_C[U(background)]^(-1), (9) 000242 | 000243 | mit tatsächlich hergeleitetem Feldzugriff U, ursprünglichen Domains, 000244 | Chiralitäts und Ladungswirkungen und vollständiger Nullmodenergänzung. 000245 | Bei alpha=2 und B=barB=1 ergibt (6) genau die lokale Cayley Konstruktion. 000246 | Ein anderes Blocking darf gewählt werden, wenn es eine exakte Darstellung 000247 | derselben Quelle ist; Lokalität, Symmetrien und die erhaltenen Quellbeine 000248 | werden dadurch aber nicht automatisch bewiesen. Cundys spezielle 000249 | Kontinuumskonstruktion liefert keine geprüfte Identität (9) für TFPT. 000250 | 000251 | Dynamische Phi und Eichfelder werden in (7) nicht eingefroren. Ihr 000252 | ursprüngliches Gewicht wird mit det Kp/det alpha und dem wirklichen 000253 | Maßphasenvergleich weiterintegriert. Der ursprüngliche Referenzcaller 000254 | durchläuft denselben gültigen Transport, mit seinem eigenen gebundenen K. 000255 | Sein fester Nenner wird nicht zum feldabhängigen Reparaturfaktor. 000256 | 000257 | 10. Direkter numerischer Check am tatsächlichen Craig Operator 000258 | 000259 | Eq.16 und die Projektorkrümmung Eq.56 wurden für einen periodischen 000260 | Einpunkt Vierertorus direkt berechnet, für 10 und bar5 getrennt und 000261 | anschließend summiert. Die SU5 Generatoren sind deterministisch erzeugt 000262 | und in overlap-results.json vollständig gespeichert. 000263 | 000264 | t maximale Plaquettenabweichung Omega_10+bar5 000265 | 0.5 0.2758849041134696 0.013691018796579711 000266 | 0.25 0.07167779341801052 0.0002435489983417874 000267 | 0.125 0.01809188039027671 0.0000039562595403018486 000268 | 0.0625 0.0045337981195611105 0.000000062352188023862 000269 | 000270 | Die kleinste HW Lücke über diese Punkte beträgt 0.6899969490529807. 000271 | Alle endlichen eta(HW) Vorzeichensummen sind null. Die Projektorkrümmung 000272 | ist numerisch trotzdem ungleich null. Maximaler Residual über Projektor, 000273 | GW, Chiralitäts, Cayley und polare Transportidentitäten: 000274 | 7.90509397386002e-15. 000275 | 000276 | Diese Punkte prüfen den tatsächlichen endlichen Operator, nicht TFPT 000277 | Physik. Sie werden nicht als Nachweis dafür ausgegeben, dass ein Punkt 000278 | unter Craigs im Existenzsatz nicht numerisch spezifizierter Schwelle liegt. 000279 | Der exakte freie Singularitätsbeweis in Abschnitt 8 braucht keine solche 000280 | Schwellenabschätzung. Aus der numerischen Krümmung allein wird kein 000281 | allgemeiner analytischer Satz für beliebig kleine Felder abgeleitet. 000282 | 000283 | 16 exakte symbolische Identitäten wurden zusätzlich ausgeführt, darunter 000284 | der volle Gaussian Quellenkontaktterm, der Jacobian und ein GW Indexbeispiel. 000285 | Das sind Kontrollen der hier abgeleiteten Formeln. Keine Lean Prüfung, 000286 | keine neue vollständige Abnahme von Craigs langem Beweis, keine Vollsuite. 000287 | 000288 | 11. Präziser verbleibender Nachweis 000289 | 000290 | Die geprüften ursprünglichen Definitionen enthalten die gemeinsame Quelle, 000291 | ihre geometrische Realisierung und gegebene Quellenkarten. Sie enthalten 000292 | keine ausgewertete Identität (9) mit dem tatsächlichen vierdimensionalen 000293 | HW/D_C und keine dazu ausgewertete Identität (5) der ursprünglichen 000294 | Determinanten/Pfaffianlinie auf allen integrierten Hintergründen. 000295 | Das ist eine Aussage über die tatsächlich gelesenen Wege, keine aus einer 000296 | begrenzten Suche abgeleitete Behauptung über jede andere Datei im Korpus. 000297 | 000298 | Jetzt zu berechnen ist die ursprüngliche fermionische Hessian K_T samt 000299 | physischer Weyl/Selbstdualpaarung in genau der 4D Feldrealisierung des 000300 | gemeinsamen S_adm. Aus ihr sind das tatsächliche Hintergrund U, das 000301 | source preserving Blocking und sein Linienfaktor auszuwerten. Ein 000302 | konkreter nichtnull Rest in (9), ein Rangfehler oder eine falsche 000303 | Holonomie verwirft die jeweilige Karte. Bei Erfolg müssen (7), alle 000304 | Higgs/Majoranaeinfügungen, Padm und das ursprüngliche Bosongewicht 000305 | gemeinsam dieselbe ganze Quelle ergeben. 000306 | 000307 | Die Beschränkung auf Craigs glatte Plaquettendomäne ist dabei ebenfalls 000308 | nachzuweisen. P_adm ist kein bereits bewiesener Plaquettenindikator. 000309 | Ein harter Ausschluss einer Menge mit nichtnull ursprünglichem Gewicht 000310 | ändert die vollständigen Hintergrundantworten. Auf einer Wilsonklasse 000311 | mit endlichen Kopplungen besitzt jede nichtleere offene Menge positiven 000312 | Haaranteil und positives Gewicht; eine solche Beschränkung ist dort 000313 | keine bloße Koordinatenänderung. Das ist kein Beweis dafür, dass die 000314 | tatsächliche ursprüngliche TFPT Quelle eine solche Wilsonklasse hat. 000315 | 000316 | Damit ist die globale invertierbare Cayley Feldumbenennung ausgeschlossen; 000317 | der zulässige lokale Transport einschließlich Maß ist ausgeschrieben. 000318 | Die physische Herkunftsidentität für TFPT ist weiterhin nicht bewiesen. 000319 | CHIRAL4D.NOMIRROR.01 und TFPT.TOE.COMPLETE.01 werden nicht hochgestuft.