TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/craig-original-source-bridge-20261103/SOURCE-BRIDGE.txt
Original file SHA-256: 694457a0ccad7a4cbe46e3dec97e364ef085e8d0bad2c9112e684d1dcd3200e4
Inclusive original lines: 162-187
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.

000162 | 7. Maßphase als Determinantenlinie
000163 | 
000164 | Craig konstruiert eine normierte Sektion s_C der Linie
000165 |  det im hatP_minus tensor (det im P_plus)^*.
000166 | Die Linie ist nicht die numerische Determinante des kinetischen Operators.
000167 | Sein Maßstrom hat Krümmung
000168 |  d j_C = Omega_C = i Tr hatP_minus[d hatP_minus,d hatP_minus],   (4)
000169 | und die Kato Holonomie muss auf jeder geschlossenen zulässigen Kurve mit
000170 | exp(i integral j_C) übereinstimmen. Die lokale Anomaliefreiheit setzt (4)
000171 | bei endlichem Abstand nicht auf null.
000172 | 
000173 | Nach tatsächlich bewiesenem Feld und Linienisomorphismus sei s_T die
000174 | transportierte normierte ursprüngliche Sektion. Schreibe s_T=e^(i theta)s_C.
000175 | Für die Konvention j=i(s,ds) gilt
000176 |  d theta=j_C-j_T.                                            (5)
000177 | Gleiche Krümmung und passende Holonomie sind die Integrabilitätsbedingungen
000178 | für die globale Gleichung (5). Der konstante Vergleich pro Komponente
000179 | gehört zur ursprünglichen Referenz und Sektorgewichtung. Er ist keine
000180 | durch den Craig Existenzsatz automatisch entfernte TFPT Eingabe.
000181 | 
000182 | Die ursprüngliche skalare Eta Phase allein beweist (5) nicht. Ihre glatte
000183 | logarithmische Ableitung ist lokal exakt; die Bewegung der Feldbasen und
000184 | deren Linienverkleben sind zusätzlich mitzunehmen. Ebenso ist eta(HW)
000185 | als endliche Vorzeichensumme nicht ohne Nachweis Delta eta_Sigma.
000186 | Eine ursprüngliche Eta Sektion mit der passenden Familiengeometrie ist
000187 | durch diesen Einwand ausdrücklich NICHT ausgeschlossen.