TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/originals/ACTUAL-REFERENCE-SPIN-TEST.txt
Original file SHA-256: df6b3894ee736e3a0d503eb1d90e7b7e4e462af966eb2d6718e82e24516fac72
Inclusive original lines: 201-259
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.

000201 |   documents/archive--paper-latex--tfpt-42/sections/
000202 |   003-subsection-primitive-relative-spectral-dynamics.tex:1-113
000203 |   SHA256 8683d7459140a06d5e03a06adefd05bf7e6538356e4e4da4397133aa991b8fe4
000204 | 
000205 | v42 startet mit dem einseitigen Datum
000206 | 
000207 |   (A_plus,H_plus,D_plus,J,Gamma,B_Sigma),
000208 |   D_plus=gamma_n(partial_n+B_Sigma),
000209 | 
000210 | und bildet den verdoppelten Spinoroperator. Der Calderonprojektor wirkt auf
000211 | dem Cauchydatenhilbertraum desselben D_plus. Eine solche Polarisation kann
000212 | grundsaetzlich den positiven Hardyraum und den endlichen Shiftdefekt in (2)
000213 | liefern.
000214 | 
000215 | Aus den gelesenen Zeilen folgt aber nur:
000216 | 
000217 |   * D_ref und D_rel haben denselben Spintraeger;
000218 |   * der Randraum ist der Cauchydatenraum von D_plus;
000219 |   * B_Sigma ist der tangentiale Randoperator.
000220 | 
000221 | Nicht aus diesen Zeilen folgt:
000222 | 
000223 |   * B_Sigma ist der Pullback von minus i d/dtheta auf die drei Blaetter der
000224 |     konkreten Karte pi:C->P1_z;
000225 |   * sein positiver Cauchyraum ist H2(pi^(-1)D,S_0);
000226 |   * U_Gamma wirkt dort als die konkrete meromorphe Funktion z;
000227 |   * der relative Fermionfaktor nimmt Det(M_z) gegen Det(M_1) genau einmal.
000228 | 
000229 | Normalentkopplung und Polarisation koennen diese Aussagen in einem konkreten
000230 | Quellmodell beweisen. Die Definitionen (4),(5) allein beweisen sie nicht.
000231 | Ebenso wird hier die allgemein widerlegte Gleichsetzung von geometrischem
000232 | Decklift und Calderonpolarisation nicht verwendet. Ein spezieller positiver
000233 | Nachweis fuer den tatsaechlichen S_0 Quelloperator bleibt moeglich.
000234 | 
000235 | 
000236 | 5. KLEINSTER ENTSCHEIDENDER FOLGETEST
000237 | ======================================
000238 | 
000239 | Fuer den nun fuehrenden Anschluss braucht die Originalquelle keine O_C
000240 | Koeffizientenreferenz. Sie muss nur den folgenden einen Operatorpfeil liefern:
000241 | 
000242 |   positive Cauchydaten des tatsaechlichen B_Sigma
000243 |      -> H2(pi^(-1)D,S_0),                                   (10)
000244 | 
000245 | mit den Intertwiningeigenschaften
000246 | 
000247 |   B_Sigma -> minus i d/dtheta auf jedem Blatt,
000248 |   U_Gamma -> M_z,
000249 |   tau beziehungsweise Q,c -> die vorhandenen markierten Lifts.
000250 | 
000251 | Dann folgt der Kokern in (2) ohne weitere Punktbedingung und ohne neue
000252 | Koeffizientenlinie. Die fullv21 Interpolation liefert die Richtung shifted
000253 | gegen unshifted. Der q Divisor und seine beta,c,Q Wirkung stammen aus der
000254 | bereits vorhandenen z Karte.
000255 | 
000256 | Solange (10) nicht aus der tatsaechlichen Randquelle bewiesen ist, bleibt nur
000257 | die Herkunft des Spin Hardyraums offen. Die gleiche Spinwirkung von D_ref und
000258 | D_rel ist damit ein positiver Typcheck, kein Beweis des analytischen
000259 | Intertwiners und kein Ausschluss des Anschlusses.