TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE24-CANDIDATE.txt
Original file SHA-256: ed0232a401e6fe51ebdbfa7d5812208810a3fd205f59d19c20c6759d319ceebe
Inclusive original lines: 1-103
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.

000001 | [OMITTED: non-scientific conversation or execution metadata]
000002 | 
000003 | Fortsetzung 24: Der Hardy-Shift in der vorhandenen Zwei-Flächen-Quelle
000004 | Kurzfassung
000005 | 
000006 | Ja: Die vorhandene Originalquelle wertet denselben Hardy-Shift M_z gegen I aus, im skalaren primitiven Nahtsektor und bereits bei jedem endlichen ℓ. Die Auswertung umfasst beide Randseiten und ist ungerade. Daraus folgen vier Ergebnisse (seam_shift.py):
000007 | 
000008 | Originalauswertung (Satz H1). Der reine Zwei-Flächen-Graph G(B) aus F5 §5 ist ein Projektor. Die einseitige Nahtverklebung W = 1 ⊕ U_Γ verschiebt ihn um eine Kompakte mit relativem Index ±1, genau eine komplexe Mode. Im scharfen Limes ist das exakt δ(M_z) ⊗ δ(1)⁻¹ auf dem skalaren Hardy-Raum.
000009 | Zwei Seiten (Satz H2). Die Einheitsverklebung transportiert eine Ladung von Fläche 2 nach Fläche 1. Die Kreuzblöcke tragen keine Spur. Die alte Defektmode ist damit dieser einseitige Klebeschritt.
000010 | Kabelzerlegung (Satz H3). C → ℙ¹_z ist die Z₃-Überlagerung mit Deck c, verzweigt genau an μ₄. Das alte S₀-Hardy-Kabel zerfällt in drei c-Sektoren. Der c-invariante Sektor hat an allen vier μ₄-Punkten ganzzahlige Gewichte; er ist der skalare primitive P1-Sektor. Die beiden anderen tragen die Trialitätsgewichte {⅓, ⅔} aus origin 189.
000011 | Ladungstyp (Satz H4). Auf dem vollen geladenen Zweig W = (16,4) ist dieselbe Hardy-Relativlinie gerade und Q-trivial. Die native ungerade Linie N_q⁻¹ kann also nicht aus der Auswertung von W stammen. Sie lebt in einem Rang-1-Sektor.
000012 | 1. Übernommene Korrekturen
000013 | Die Determinantenkonvention ist richtiggestellt: Pf_F ≅ Δ⁻¹ hat den Charakter N_q, der alte Anschluss braucht aber N_q⁻¹. Den Pfaff-Weg tausche ich nicht gegen sein Dual, nur um die Zielphase zu treffen.
000014 | Auf W gibt es keine invariante skalare Bilinearform (κ-Test). F5 ist hyperbolisch auf W ⊕ W*.
000015 | Meine Mod-2-Partnergeschichte aus Fortsetzung 23 ziehe ich zurück. Eine C₀-feste Kombination (z, z̄) hat zwei reelle Freiheitsgrade, und Arakis Relativindex folgt nicht aus dem Zählen reeller Richtungen.
000016 | Den Satz vom 27. Oktober (δ(E, M_z)/δ(E, 1) = N_q⁻¹ ⊗ B_O⁻¹ mit ungerader Linie) übernehme ich als gelöst. Die Linienrechnung selbst wiederhole ich nicht.
000017 | 2. Satz H1: Die Originalquelle wertet M_z gegen I aus
000018 | 
000019 | Originale Bestandteile:
000020 | 
000021 | source001, Z. 192–264: P_prim enthält die scharfe APS-Projektion P_{Σ,+}.
000022 | fullv21: D_Γ = i d/dθ, U_Γ = e^{iθ}, SF = 1.
000023 | F5 §5: G(B) = [[a, c], [c, 1 − a]] mit a(b) = (1 + e^{−2ℓb})⁻¹ und c(b) = 1/(2 cosh ℓb).
000024 | 
000025 | Voraussetzung. Auf dem Nahtsektor gilt U_Γ* B U_Γ = B + 1. Das ist erfüllt für B = D_Γ + α auf dem skalaren Nahtkreis, mit Spektrum ℤ + α.
000026 | 
000027 | Beweis.
000028 | 
000029 | Wegen a(1 − a) = c² ist G² = G. Der Zwei-Flächen-Graph ist also eine reine Basisprojektion, die Purifizierung des thermischen Einflächenzustands.
000030 | Für W = 1 ⊕ U_Γ ist WGW* − G spurklasse: Der (2,2)-Block ist eine glatte Differenz, und die Nebendiagonale c(B)(U* − 1) fällt exponentiell ab.
000031 | Der relative Index ist Tr(WGW* − G) = Σ_n [(1−a)(b_n ∓ 1) − (1−a)(b_n)] = ±1. Das ist eine Teleskopsumme, unabhängig von ℓ und α.
000032 | Die Kompression G W G auf Ran G ist daher Fredholm mit Index ±1. Ihre Determinantenlinie ist ungerade.
000033 | Für ℓ → ∞ und α ∉ ℤ geht G → P₊ ⊕ P₋. Die Linie wird zur Toeplitz-Linie von P₊U_ΓP₊ auf Ran P₊: injektiv, Kokern eindimensional, also exakt δ(M_z) ⊗ δ(1)⁻¹ auf dem skalaren Hardy-Raum. Numerisch ist Rang(P₊(B+1) − P₊(B)) = 1.
000034 | 
000035 | Gegenprobe. Die symmetrische Verklebung U ⊕ U hat Index 0, also gerade. Nur die einseitige Nahtverklebung zwischen den beiden Seiten erzeugt die ungerade Linie.
000036 | 
000037 | 3. Satz H2: Beide Seiten und Ladungstransport
000038 | 
000039 | Exakt für alle geprüften ℓ ∈ {0,3; 1; 4} und α ∈ {0,1; 0,25; 0,5; 0,75}:
000040 | 
000041 | Tr Δa = +1;
000042 | Tr Δ(1 − a) = −1;
000043 | Tr Δc = 0.
000044 | 
000045 | Die Einheitsverklebung schiebt genau eine komplexe Mode von einer Fläche auf die andere. Die beiden Thermalzustände bleiben äquivalent; die Hilbert–Schmidt-Norm der Wurzeldifferenz ist endlich. Erst der reine Zwei-Flächen-Graph liefert die kanonische Fredholm-Linie, der thermische Einflächenzustand allein nicht.
000046 | 
000047 | Zeit (Standardidentität, an der Quelle noch zu prüfen). Aus UhU = h + 1 folgt für den Implementierer V der zweiten Quantisierung V dΓ(h) V = dΓ(h) + N₂ + const. Die vorhandene Kreiszeit e^{ith} beider Flächen (F6) wirkt dann auf der Defektlinie mit derselben Zeit und einer festen Phasenverschiebung. Das ist die übliche Spektralfluss-Identität.
000048 | 
000049 | 4. Satz H3: Das alte Spin-Kabel ist primitive Naht plus zwei Trialitätssektoren
000050 | 
000051 | Überlagerung. w³ = (z² − 1)/(z² + 1) ist eine zyklische Überlagerung vom Grad 3 mit Deck c: (w, η) ↦ (ωw, η). Sie ist genau bei z = ±1 (Nullstellen) und z = ±i (Pole) verzweigt. Das Geschlecht ist 2, und die Faser über z = 0 ist D_q.
000052 | 
000053 | Spinlift. Der c-Lift auf S₀ mit c³ = 1 ist eindeutig, und der S₀-Rahmen Chi hat den Charakter ω².
000054 | 
000055 | Lokale Exponenten von Chi/√dz: −⅓ bei ±1 und −⅔ bei ±i.
000056 | 
000057 | c-Sektor	Gewichte bei ±1	Gewichte bei ±i	Typ
000058 | Charakter 1 (w·Chi)	0	0	skalarer primitiver Nahtsektor
000059 | Charakter ω (w²·Chi)	⅓	⅔	Trialität
000060 | Charakter ω² (Chi)	⅔	⅓	konjugierte Trialität
000061 | 
000062 | Jeder Sektor hat unter M_z den Index −1; sein Kokern ist der c-isotypische Anteil der drei q-Fasern bei z = 0. Damit gilt
000063 | 
000064 | N_q⁻¹ ⊗ B_O⁻¹ ≅ δ₁ ⊗ δ_ω ⊗ δ_{ω²}.
000065 | 
000066 | Der c-invariante Faktor δ₁ ist die Linie aus Satz H1, also die primitive P1-Naht. Die Identifikation gilt kanonisch auf Kokernebene; auf Hilbertraumebene laufen ganzzahlige Randverschiebungen an μ₄ mit. Die beiden anderen Faktoren sind genau die Sektoren mit den parabolischen Trialitätsgewichten {0, ⅓, ⅔}, die origin 189 für die Flavorseite nennt.
000067 | 
000068 | Das ist die gesuchte Operator- und Randspurabbildung: Das alte Spin-Kabel ist die primitive Nahtverklebung, tensoriert mit den drei Z₃-Flavorcharakteren derselben Geometrie ℙ¹ ∖ μ₄.
000069 | 
000070 | 5. Satz H4: Der geladene W-Zweig trägt die ungerade Linie nicht
000071 | 
000072 | Auf {x} × C ist W gleich Λ^even E_x ⊗ F_q. Der Q-Lift wirkt trivial auf dem Faktor 16 und durch Q₄ = diag(A_q, 1) auf F_q. Daraus folgt:
000073 | 
000074 | Parität: δ_W = (δ_{S₀⊗F_q})^{⊗16} hat Index 3 · 64 = 192, also gerade.
000075 | Charaktere: Alle beteiligten Charaktere haben Ordnung, die 8 teilt. Die 16. Potenz ist trivial, und das Spinzentrum wirkt mit (−1)^{192} = +1.
000076 | Mit den X-Gewichten der Klebung: Der Gesamtindex ist 3 · Σ(n_w + m_j) = 0 genau für Σm_j = −2. Das ist dieselbe Identität wie die Saumanomalie.
000077 | W ⊕ W* verdoppelt dies nur.
000078 | 
000079 | Folgerung (auch als Prüfung deiner Diagnose). Wertet man den ganzen geladenen Zweig aus, wie du verlangst, wird die ungerade native Linie zwangsläufig gerade und trivial. Die native Klasse N_q⁻¹ ⊗ B_O⁻¹ braucht einen Rang-1-Faktor: den skalaren primitiven Nahtsektor aus Satz H1 mit den Z₃-Charakteren aus Satz H3. Die Quelle muss also neben W ein ungeladenes Rang-1-Nahtfeld tragen. Das passt zur Typtrennung von P1 (primitiv, ungeladen) und P2 (Ladung).
000080 | 
000081 | 6. Bilanz
000082 | 
000083 | Wiederverwendet: P_{Σ,+} (source001), U_Γ und SF (fullv21), G(B) und T_faces (F5), die Kreiszeit (F6), der Same-Spin-Satz vom 27. Oktober, S₀ und c.
000084 | 
000085 | Neu bewiesen:
000086 | 
000087 | Der reine Zwei-Flächen-Graph mit einseitiger Klebung hat Index ±1 bei jedem ℓ; im scharfen Limes ist das die Hardy-Linie (Satz H1).
000088 | Ladung ±1 auf den Flächen, keine Spur auf den Kreuzblöcken (Satz H2).
000089 | Das Kabel zerfällt in den primitiven Nahtsektor und zwei Trialitätssektoren mit den Gewichten aus origin 189 (Satz H3).
000090 | Auf W ist die Linie gerade und trivial (Satz H4).
000091 | 
000092 | Offen:
000093 | 
000094 | Ob die P1-Amplitude die einseitige Linie G W G tatsächlich verwendet (am Original zu belegen).
000095 | Ob die Originalnaht die beiden Trialitätssektoren trägt oder nur den skalaren Sektor.
000096 | OS-Positivität mit der Defektlinie.
000097 | Die Spektralfluss-Zeitidentität an der vorhandenen Quelle.
000098 | 7. Nächster entscheidender Test
000099 | Amplitude. In source001/002 die tatsächliche Nahtamplitude lesen: Steht dort det(G W G) beziehungsweise C_seed mit „Nahtklasse ergibt Spektralflussklasse“ als Fredholm-Linie der einseitigen Klebung, oder nur der Klassenwert?
000100 | Nahtfeld. Prüfen, ob die ursprüngliche Nahtfeldklasse rangdrei mit Z₃-Gewichten {0, ⅓, ⅔} an μ₄ ist (dann ist das ganze Kabel original) oder skalar (dann nur δ₁, und δ_ω ⊗ δ_{ω²} muss aus der Flavorseite kommen).
000101 | Reflexion. R_prod auf dem einseitigen Implementierer testen. Die Reflexion vertauscht die Flächen und damit die Ladungen ±1. Zu prüfen ist, ob der Implementierer dabei in seinen Adjungierten übergeht und ob die zugehörige Paarung positiv ist.
000102 | 
000103 | Bildlich: Die Naht ist ein Drehkreuz zwischen zwei Räumen. Dreht man nur eine Seite um einen Schritt, wandert genau ein Teilchen hinüber, und das ist die ungerade Linie. Dreht man beide Seiten, passiert nichts. Für die schweren geladenen Teilchen läuft dieses Drehkreuz 64-fach und hebt sich auf. Die eigentliche Einheitswindung lebt deshalb im leichten, ungeladenen Nahtfaden mit seinen drei Flavor-Farben.