TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-constructive-search-20261015/SYNTHESIS.md
Original file SHA-256: d112d0054cd1558c0a64f8aebfaa98c942beab9e5688cc9704d31b15cdacb252
Inclusive original lines: 8-37
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.

000008 | ## 1. Der tatsächliche Suchraum ist abgeschlossen
000009 | 
000010 | Der Lauf `run-20261015T121548Z` hat auf beiden H200 zusammen alle 262.144
000011 | kanonischen Phasenbelegungen genau einmal klassifiziert. Vier Belegungen erfüllen
000012 | die festen Constraints; alle vier wurden automatisch vom lokalen Lean-Kernel
000013 | geprüft. Achtkanalquelle, Halbsektor und quadratisches Zeitgesetz waren Eingaben.
000014 | Die vier Klassen waren analytisch erwartet; neu ist hier die vollständige
000015 | ausführbare Klassifikation mit Zertifizierung, nicht eine physische Quellenauswahl.
000016 | Der unveränderte abgeschlossene Raum wird beim nächsten Start wiederverwendet.
000017 | 
000018 | Die Fortsetzung arbeitet mit den Originaloperatoren. Auf der globalen Erweiterung
000019 | identifiziert die bereits vorhandene Quellenparität die beiden Zeichen durch
000020 | `X_plus = Pi X_minus`, bei unverändertem Q, K und Viertelmarker. Der kanonische
000021 | Zustand wird ebenfalls erhalten. Damit bleiben zwei Klassen mit fest markiertem
000022 | P-Lift. Eine zusätzlich physisch festgelegte Operation X darf dabei nicht
000023 | umdefiniert werden; ein lokaler Feldintertwiner wurde damit nicht bewiesen.
000024 | 
000025 | ## 2. Der Einzelwindungsschritt und sein tatsächlicher Auswahlgehalt
000026 | 
000027 | Der volle ursprüngliche Schritt `T1(p)=Cp+e0` erfüllt für alle Ladungen
000028 | `K_alpha(T1 p)-K_alpha(p)=(Q(p)+alpha)/8`. Die vierte Potenz liefert genau
000029 | die bereits bekannte W4-Wirkung. Universelle Cocycle- und Wardidentitäten sind
000030 | zusätzlich in Lean geprüft.
000031 | 
000032 | Die diskrete Erweiterung allein lässt beide P-Lifts zu. Eine vermeintliche
000033 | Auswahl aus `C X C^-1 = nu X` wäre ohne Begründung dieser skalaren Kovarianz falsch:
000034 | die explizite zulässige Gegenkonstruktion hat
000035 | `C X C^-1=(i X+X D)/sqrt(2)`. Ihr Gradoperator ist aus demselben Wort rekonstruierbar:
000036 | `D=sqrt(2) X^-1 C X C^-1-i I`. Er ist kein frei hinzugefügter Speicherzustand.
000037 | Der Torus wird dabei auf die Halbsektoren gehoben; seine alte Integerperiodizität