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: 401-600
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.

000401 | 
000402 | \[
000403 | |c_0^*\Omega_C\rangle\langle c_0^*\Omega_C|
000404 | \quad\text{auf dem Fockraum}.
000405 | \]
000406 | 
000407 | Diese Unterscheidung ist für die EM Formel entscheidend. Der v42 Text nennt `psi_Sigma` nur eine normalisierte primitive Nahtmode und schreibt anschließend ihren Rang eins Projektor hin. Er sagt nicht, auf welchem der beiden Räume dieser Projektor wirkt.
000408 | 
000409 | Die unmittelbar vorausgehende Quelle enthält zwar die Formulierung eines minimalen relativen Defektzustands:
000410 | 
000411 | Quelle: `paper-source:bbbd320d16f44d87bc9e99e5`  
000412 | Pfad: `documents/archive--paper-latex--tfpt-42/sections/006-subsection-character-trace-identities-and-the-abelian-in.tex`  
000413 | Zeilen: 249 bis 289  
000414 | SHA256: `341f53fab64f6f2cca53e505d497cdc7087285c95e8e0f44f616ac6754afa810`
000415 | 
000416 | Der Satz beweist nur die K1 Klasse und den Spektralfluss. Die anschließende Bemerkung deutet den primitiven Startzustand als minimalen relativen Defektzustand mit zwei Blättern und einer Windung, bezeichnet dieses Bild aber ausdrücklich als heuristisch und nicht als neues Theorem. Weder `C`, `uCu*-C`, ein CAR Implementer noch eine relative Zwei Punkt Funktion erscheinen dort.
000417 | 
000418 | Die EM Definition selbst ist ebenfalls eindeutig begrenzt:
000419 | 
000420 | Quelle: `paper-source:c6aa05563c9c859fbbda7bed`  
000421 | Pfad: `documents/archive--paper-latex--tfpt-42/sections/007-subsection-carrier-form-of-the-electromagnetic-closure.tex`  
000422 | Zeilen: 20 bis 48 und 145 bis 151  
000423 | SHA256: `6f98cfb7404f415e4a511712c1fa144c85bb662c36386cc32d1ebb3537a9fb6b`
000424 | 
000425 | Sie definiert `U_Sigma^min` als Projektor auf `psi_Sigma` und benutzt nur die Rang eins Determinantenidentität. Eine gezielte Atlas und Literalprüfung der v42 und tfpt45 Originalmodule fand keine Bezeichnung von `U_Sigma^min` als überschüssige Kovarianz, relative Korrelationsfunktion oder Fock Defektantwort. `tr_adm` wird hier als gewöhnliche Spur des rank eins Operators verwendet, nicht als relative Zustandserwartung hergeleitet.
000426 | 
000427 | Damit ist der Status präzise:
000428 | 
000429 | * **Bewiesen aus dem alten Kreispaar:** Der relative Einteilchenkovarianzdefekt ist die kanonische Linie `Pi_0`; die entsprechende geladene Focklinie ist kanonisch und braucht kein frei gewähltes `psi`.
000430 | * **Mit der historischen Sprache kompatibel:** Primitive relative Windung und minimaler relativer Defektzustand passen genau zu dieser Konstruktion.
000431 | * **In den Originalen nicht vollzogen:** `U_Sigma^min=Pi_0`, die Implementierung desselben `u_Sigma` in der physisch admissiblen CAR Darstellung und die Lesart von `tr_adm` als Spur des relativen Kovarianzdefekts.
000432 | 
000433 | Dieser Anschluss umgeht den Invarianzeinwand aus Abschnitt 5: `u` muss dabei kein lokales Observable auf `H_adm` sein. Es implementiert den Übergang zwischen zwei quasifreien Polarisierungen. Er benötigt auch keine Identifikation des EM Gewichts mit einer Wärmevariablen. Die historischen Quellen liefern bereits bedingt
000434 | 
000435 | \[
000436 | q(\alpha)=\delta_{\rm top}e^{-\alpha d\,\mathrm{SF}}
000437 | =\delta_{\rm top}e^{-2\alpha}
000438 | \]
000439 | 
000440 | aus der deklarierten Defektwirkung auf dem Grad zwei Cover mit `SF=1`. Offen ist die physische Identität, dass gerade der rekonstruierte CAR Kovarianzdefekt diese primitive Quelle in der EM Spur realisiert. Sobald diese Identität gezeigt ist, folgt das Gewicht aus der vorhandenen Quellenwirkung; es braucht keine zusätzliche Gleichsetzung mit Energie, Ladung oder Teilchenzahl.
000441 | 
000442 | ## 10. Was die alte Doppelüberdeckungsantwort tatsächlich zählt
000443 | 
000444 | Der direkte CAR Anschluss aus Abschnitt 9 bestimmt eine Defektlinie. Er erklärt für sich allein noch nicht den Exponenten `2` in `exp(-2 alpha)`. Die älteren Quellen führen diesen Exponenten auf eine andere Operation zurück.
000445 | 
000446 | Quelle: `paper-source:1fe2ddfabc74ac0e94a4686d`  
000447 | Pfad: `documents/archive--paper-latex--tfpt-theory-fullv21/sections/001-section-introduction-the-problem-of-parameters.tex`  
000448 | Zeilen: 165 bis 190  
000449 | SHA256: `85bb11511be05385a7cadf6071dbede216b12befeb9d6767bc4460748cbec5d7`
000450 | 
000451 | Die orientierbare Doppelüberdeckung ist dort ein neues Axiom. Als Konsequenz setzt der Text zwei identische Randbeiträge plus Naht an und ordnet diesen beiden Beiträgen den Faktor zwei der Rückwirkung zu. Es wird keine gegenläufige Randpumpe und keine CAR Ladung definiert.
000452 | 
000453 | Quelle: `paper-source:c0087bb39f24847f7e0a02a2`  
000454 | Pfad: `documents/archive--paper-latex--tfpt-theory-fullv21/sections/002-subsection-closure-axioms-a7-a8.tex`  
000455 | Zeilen: 227 bis 264  
000456 | SHA256: `6a44df43d61d84b026c5ad15a1bdbdcc8822e741b4af8b709f0f3563fa3c0b6a`
000457 | 
000458 | Hier wird die Defektantwort als Sektorengewicht definiert:
000459 | 
000460 | \[
000461 | S_{\rm def}(\alpha)=S_{\rm def}(0)+\alpha\mathcal J,
000462 | \qquad
000463 | \delta_{\rm top}(\alpha)=\delta_{\rm top}e^{-\alpha\mathcal J}.
000464 | \]
000465 | 
000466 | Für einen Grad `d` Cover mit identischen Blattbeiträgen setzt die Quelle
000467 | 
000468 | \[
000469 | \mathcal J=d\mathcal J_1
000470 | \]
000471 | 
000472 | und wählt anschließend die minimale deckinvariante Normierung `J_1=1`. Zusätzlich wird `J` als deckinvariantes Quellfunktional bezeichnet, dessen Integral über dem Cover das `d` Fache des Basisintegrals ist. In dieser Version ist `J_1` weder als Operator noch als Dichte definiert. Die Zahl eins ist eine Normierungswahl.
000473 | 
000474 | Eine spätere Fassung verschärft genau diesen Punkt:
000475 | 
000476 | Quelle: `paper-source:9b4c68c76ce528733b40f829`  
000477 | Pfad: `documents/archive--paper-latex--tfpt-theory-fullv27/sections/003-subsection-the-cubic-fixed-point-equation-cfe.tex`  
000478 | Zeilen: 285 bis 325  
000479 | SHA256: `8ae0867de9ddbd50e3684aa9b9b023d58791252c3fa146da7fc7b8ddf9cc1dd4`
000480 | 
000481 | Quelle: `paper-source:98e6667091fb1774109f5f2a`  
000482 | Pfad: `documents/archive--paper-latex--tfpt-theory-fullv28/sections/004-subsection-geometric-self-consistency-backreaction.tex`  
000483 | Zeilen: 17 bis 59  
000484 | SHA256: `e2aa38f61b269e4c907559084ac6df3bf811961516c0cc72dd70d3285fd59081`
000485 | 
000486 | v27 und unverändert v28 identifizieren die Normierung pro Blatt mit der Spektralflusseinheit,
000487 | 
000488 | \[
000489 | \mathcal J_1=\mathrm{SF},
000490 | \qquad
000491 | \mathcal J=d\,\mathrm{SF}.
000492 | \]
000493 | 
000494 | Für `d=2` und `SF=1` entsteht `J=2`. Das ist die vorhandene positive Quellenantwort: `J_1` wird später als ganzzahliger Spektralfluss, also als Indexzahl, gelesen. Der Text gibt jedoch keine lokale Indexdichte an und setzt `J_1` nirgends mit einem Teilchenzahloperator `N_exc`, einer CAR Ladung `Q` oder `Q^2` gleich.
000495 | 
000496 | Der kleinste Test trennt diese Kandidaten. Für die verschobene negative See aus Abschnitt 9 gilt bei der dort fixierten Orientierung
000497 | 
000498 | \[
000499 | W_u\Omega_C\sim c_0^*\Omega_C,
000500 | \qquad
000501 | Q_{\rm rel}=+1,
000502 | \qquad
000503 | E_{\rm rel}=a.
000504 | \]
000505 | 
000506 | Für den inversen Übergang wird die besetzte Mode `e_{-1}` entfernt:
000507 | 
000508 | \[
000509 | W_{u^*}\Omega_C\sim c_{-1}\Omega_C,
000510 | \qquad
000511 | Q_{\rm rel}=-1,
000512 | \qquad
000513 | E_{\rm rel}=1-a.
000514 | \]
000515 | 
000516 | Beim Vorwärtsübergang haben `SF`, `Q`, `N_exc` und `Q^2` alle den Zahlenwert eins. Erst der inverse Übergang unterscheidet sie: `SF` und `Q` wechseln das Vorzeichen, `N_exc` und `Q^2` bleiben positiv. Eine gegenläufige Zweirandpumpe hätte daher
000517 | 
000518 | \[
000519 | Q_{\rm tot}=0,
000520 | \qquad
000521 | N_{\rm exc,tot}=2,
000522 | \qquad
000523 | E_{\rm tot}=a+(1-a)=1
000524 | \]
000525 | 
000526 | unter derselben Kreisorientierung. Keine dieser drei Größen liefert automatisch den Koeffizienten zwei vor `alpha`. Zwei gleichgerichtete Übergänge hätten dagegen `Q_tot=2` und Energie `2a`. Welche dieser Wirkungen die Decktransformation physisch koppelt, wird in den geprüften Quellen nicht angegeben.
000527 | 
000528 | Die Originalantwort verwendet ausdrücklich identische Blattbeiträge und addiert zwei positive Spektralflusseinheiten. Sie konstruiert keinen gegengerichteten neutralen Zyklus. Wollte man die beiden Beiträge trotz inverser globaler CAR Ladung jeweils als lokal positiven Spektralfluss zählen, wäre eine blattabhängige Orientierungsregel nötig. Eine solche Regel und die zugehörige Wirkung auf `B_a`, `u`, die Fockräume und die physische Zeit stehen nicht im Text.
000529 | 
000530 | Auch die spätere Zweidefektformel schließt diese Lücke nicht. In derselben v28 Quelle, Zeilen 71 bis 102, ist
000531 | 
000532 | \[
000533 | \delta_2 e^{-4\alpha}
000534 | =\frac54(\delta_{\rm top})^2e^{-4\alpha}
000535 | \]
000536 | 
000537 | ein separater zweiter Term einer Cluster und Holonomiebelegung mit Paarsymmetriefaktor, Blattpaarungsfaktor und `g=5`. Er realisiert den ersten Term `delta_top exp(-2 alpha)` nicht als neutrales Teilchen Loch Paar.
000538 | 
000539 | Damit ist die Antwort auf die Kopplungsfrage eng:
000540 | 
000541 | * **Historisch zunächst gesetzt:** `J_1=1` als minimale deckinvariante Normierung.
000542 | * **Historisch später identifiziert:** `J_1=SF` als Spektralfluss beziehungsweise Indexzahl pro identischem Blatt.
000543 | * **Nicht definiert:** `J_1=N_exc`, `J_1=Q^2`, eine lokale Indexdichte oder ein Hamiltonian beziehungsweise Energieoperator.
000544 | * **Numerisch nur im Vorwärtssektor kompatibel:** Für den einzelnen Seeübergang ist `SF=Q=N_exc=Q^2=1`. Der inverse Übergang trennt die Lesarten.
000545 | * **Keine vorhandene neutrale Realisierung:** Die Quellen enthalten keine konkrete paarweise Nahtoperation `u` auf einem Blatt und `u*` auf dem anderen, die Gesamtladung null mit der admissiblen EM Antwort verbindet.
000546 | 
000547 | Der Faktor zwei in `exp(-2 alpha)` folgt im Original somit aus Covergrad mal identischem, spektralflussnormalisiertem Quellbeitrag. Er folgt nicht aus der Energie, der Nettoladung oder der absoluten Teilchenzahl des nun rekonstruierten CAR Defekts. Für eine vollständige Verbindung müsste die ursprüngliche Nahtphysik zusätzlich zeigen, wie der deckinvariante Quellterm auf die beiden relativen CAR Übergänge wirkt und warum seine Kopplung an `alpha` beide Beiträge mit gleichem positiven Vorzeichen zählt.
000548 | 
000549 | ## 11. Maximaler vorhandener Transport und verbleibender Beweisschritt
000550 | 
000551 | Die Originale tragen bereits folgende Kette:
000552 | 
000553 | \[
000554 | \boxed{
000555 | \mathcal T_\partial
000556 | \to P_C
000557 | \to P_{\rm prim}
000558 | \to P_{\rm adm}
000559 | \to \text{admissible OS/CAR Theorie}
000560 | }
000561 | \]
000562 | 
000563 | Zusätzlich existieren drei Darstellungen einer kanonischen Linie:
000564 | 
000565 | * die einfache erste Energielinie des konkret gegebenen Viertelkreisoperators im normierten Infrarotgrenzwert,
000566 | * der exakte relative Kovarianzdefekt `uP_-u*-P_-`, der dieselbe erste Kreislinie ohne Grenzwert auswählt,
000567 | * die dazugehörige geladene Focklinie sowie, allgemeiner, die eindeutige quasifreie CAR Vakuumlinie einer Calderón Polarisation.
000568 | 
000569 | Diese Linien liegen auf zwei Ebenen. Die erste Energielinie und der zweite Kovarianzdefekt sind dieselbe Rang eins Linie auf dem Einteilchenraum, einmal als Spektralprojektor und einmal als relative Kovarianzdifferenz beschrieben. Erst die dritte Linie ist eine Vielteilchen Vakuum beziehungsweise Ladungslinie im Fockraum. Der spätere Text nennt `psi_Sigma` eine primitive seam mode, typisiert aber nicht, auf welcher dieser Ebenen sie liegt.
000570 | 
000571 | Der kleinste belastbare verbleibende Schritt ist deshalb kein weiterer Modusscan, sondern ein typisierter Intertwiner:
000572 | 
000573 | 1. Konstruiere auf einem ursprünglichen reduzierenden oder lokalen Quellsektor `K_0`, der die Defektlinie enthält, eine isometrische Einbettung
000574 |    \[
000575 |    W_0:\mathcal K_0\to\mathcal H_\partial
000576 |    \]
000577 |    welche die dort eingeschränkten Wirkungen von `B_a` und `u` mit den ursprünglichen Randoperatoren verschränkt. Als stärkere hinreichende Alternative kann man eine unitäre Karte `W:L^2(S^1,L_a) -> H_partial` mit `WB_aW*=B_Sigma` und `WP_+(B_a)W*=P_C` konstruieren. Eine solche globale Hilbertraumäquivalenz ist nicht notwendig.
000578 | 2. Prüfe für die erste Kreislinie `Pi_0` exakt
000579 |    \[
000580 |    R_0:=W_0\Pi_0W_0^*\le P_{\rm prim},
000581 |    \qquad
000582 |    P_{\rm sing}R_0=R_0,
000583 |    \qquad
000584 |    P_\Theta R_0=R_0.
000585 |    \]
000586 |    Äquivalent genügt der direkte Bildtest `P_adm R_0=R_0`. Bloße Kommutation mit `P_sing` und `P_Theta` reicht nicht, weil eine kommutierende Rang eins Linie in deren Kern liegen kann.
000587 | 3. Entscheide explizit, ob `U_Sigma^min` diese Einteilchenlinie oder die durch CAR Zweitquantisierung daraus entstehende Vakuumlinie bezeichnet. Im zweiten Fall ist die Fock Abbildung `Gamma(W)` und die Lage der Vakuumprojektion in `H_OS` anzugeben.
000588 | 4. Prüfe alternativ direkt, ob die physische Naht dasselbe `u` in derselben CAR Darstellung implementiert und ob `tr_adm` auf dem relativen Einteilchenkovarianzdefekt ausgewertet wird. Dann folgt `U_Sigma^min=Pi_0` ohne Wärmegrenzwert. Mit der bereits deklarierten Defektwirkung folgt anschließend bedingt `q(alpha)=delta_top exp(-alpha d SF)=delta_top exp(-2 alpha)`. Für eine eigenständige Wärmeroute wäre nur noch zu zeigen, dass deren Wärmeparameter dieselbe historische Defektwirkung parametrisiert.
000589 | 
000590 | Der kleinste entscheidende Beweis ist nun die Typ und Darstellungsidentität in Schritt 4. Sie ist schwächer als eine vollständige Gleichheit des Kreisprojektors mit `P_C`: Es genügt zu zeigen, dass der originale physische Nahtzyklus in der admissiblen CAR Darstellung durch dasselbe `u` wirkt und dass die EM Spur seinen relativen Kovarianzdefekt liest. Scheitert diese Identität, bleibt der lokale Bildtest aus Schritt 1 und 2 als Calderón Route. Gelingt sie, sind die Linie und ihr Gewicht aus der bereits deklarierten Quellenwirkung bestimmt. Offen bleibt dann die physische Herleitung, warum die EM Antwort genau diese Quelle koppelt, nicht die mathematische Formel des Gewichts innerhalb dieser Quelle.
000591 | 
000592 | ## 12. Verifikation
000593 | 
000594 | Der vorhandene Kreis und Wärmechecker wurde unverändert ausgeführt:
000595 | 
000596 | ```text
000597 | python3 experiments/theory-contracts/older-paper-source-recovery-20261025/check_older_circle_heat.py
000598 | python3 -OO experiments/theory-contracts/older-paper-source-recovery-20261025/check_older_circle_heat.py
000599 | ```
000600 |