TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/ADMISSIBLE-SPACE-HISTORY.txt
Original file SHA-256: d89f814974cc444eee62765a5106293da42069c0388a321027f70895341e966c
Inclusive original lines: 601-612
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.

000601 | Beide Läufe endeten mit `verdict: PASS`. Sie bestätigen die Spektralzeichen, die einfachen Viertelkreis Gaplinien, die positive und negative Faktorisierung sowie die bekannten ersten Serienabweichungen. Der Checker markiert die Identifikation des ursprünglichen admissiblen Sektors mit dem EM Parameter weiterhin als `OPEN`. Er prüft nicht den hier fehlenden Intertwiner `W`.
000602 | 
000603 | ## Urteil
000604 | 
000605 | * **Aus den Originalen bewiesen:** In v42 ist der primitive Nahtselektor algebraisch exakt der Calderón Projektor `P_C`. `P_adm` ist dessen Gap, Farb und Determinantenupgrade. Die admissible lokale Sternalgebra verlangt gemeinsame `A` und `A*` Invarianz.
000606 | * **Exakt ausgeschlossen:** `P_adm` ist nicht der Rang eins EM Projektor. Der positive Kreisraum kann nicht zugleich als reduzierender Raum des Matching Operators `u` gelten, weil `u*` die erste positive Mode verlässt.
000607 | * **Quellengetreu kompatibel:** Das alte `u` ist Clutching beziehungsweise Matching und muss deshalb kein lokales admissibles Observable sein.
000608 | * **Konstruktiver Kandidat:** Die Calderón Polarisation besitzt in der aktiven Paper 1 Route nach CAR Zweitquantisierung eine eindeutige Vakuumlinie. Diese Linie ist kanonisch und braucht keinen frei gewählten Vektor.
000609 | * **Direkt aus dem alten Kreispaar bewiesen:** `uP_-u*-P_-` ist exakt die erste Kreislinie `Pi_0`; die zugehörige geladene Focklinie ist ebenfalls kanonisch. Das ist die stärkste Reparatur der freien `psi_Sigma` Wahl und benötigt weder `H_adm=P_+` noch einen Wärmegrenzwert.
000610 | * **Quellenstatus des Exponenten:** v21 setzt `J_1=1` minimal deckinvariant; v27 und v28 identifizieren `J_1` mit der Spektralflusseinheit und summieren zwei identische Blattbeiträge. Keine Quelle setzt `J_1` mit Energie, Teilchenzahl oder Ladungsquadrat gleich oder konstruiert eine neutrale gegenläufige Zweirandpumpe.
000611 | * **Bedingt aus der historischen Quellenwirkung:** Ist der rekonstruierte CAR Defekt dieselbe primitive Quelle, dann ist `q(alpha)=delta_top exp(-alpha d SF)=delta_top exp(-2 alpha)` bereits festgelegt. Dafür ist keine Gleichsetzung von Spektralfluss, Energie, Ladung und Teilchenzahl nötig.
000612 | * **Nicht in den Originalen bewiesen:** Dass der physische Nahtzyklus dasselbe `u` in der admissiblen CAR Darstellung implementiert, dass `U_Sigma^min` die überschüssige Einteilchenkovarianz und nicht einen Fock Dichteprojektor bezeichnet, und dass `tr_adm` genau diesen relativen Defekt auswertet. Ebenfalls offen bleiben der lokale admissible Bildtest, die stärkere Gleichheit des alten Kreisprojektors mit `P_C` und seine Einbettung in `H_OS`.