TFPT scientific source excerpt Original repository path: experiments/theory-contracts/older-paper-source-recovery-20261025/SOURCE-AND-OS-HISTORY.txt Original file SHA-256: 3ec3dfbc58f6021367f967c4753d382ad3cc24f45c99f44c787334345e5339ab Inclusive original lines: 201-400 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 | 000202 | S_n(x_1,...,x_n) 000203 | := delta^n Zhat_k[J] / delta J(x_1)...delta J(x_n) bei J=0. 000204 | 000205 | Äquivalent sind die S_n die vollständigen Bell Kombinationen der verbundenen 000206 | S_m^T. Schon bei Grad zwei gilt 000207 | 000208 | S_2 = S_2^T + S_1^T S_1^T. 000209 | 000210 | Wenn J eine graduierte Superquelle ist, enthält dieselbe Formel die geordneten 000211 | Grassmannableitungen und CAR Vorzeichen komponentenweise. Das Modul schreibt 000212 | diese Konvention und das zugrunde liegende graduierte Maß nicht aus. Auch 000213 | S_adm ist dort nur ein eingesetztes Funktional und wird nicht aus D_rel, 000214 | D_Gamma oder der primitiven Naht hergeleitet. 000215 | 000216 | Urteil: formales volles Elternfunktional positiv wiedergefunden. Bei einer 000217 | belegten Superfeldkonvention kann es bosonische und fermionische Momente 000218 | gemeinsam erzeugen. Es repariert die Kumulantenverwechslung algebraisch, sobald 000219 | die graduierte Wirkung, das Maß und die gemeinsame RP Eigenschaft gegeben sind. 000220 | Diese Voraussetzungen liefert das Modul nicht selbst. 000221 | 000222 | 7. v42 und v4.5: Ort des OS Fehlers 000223 | 000224 | v42 definiert S_n^T als Ableitungen von W_rel=log Z_rel und nennt sie 000225 | ausdrücklich truncated. Der unmittelbar folgende Satz behauptet die OS Axiome 000226 | für genau diese Familie. Der technische Anhang baut die OS Sesquilinearform 000227 | ebenfalls aus der als S_n^T bezeichneten Familie. Eine Suche nach 000228 | moment-cumulant, Bell polynomial, full moments, derivatives of Z, nontruncated 000229 | und untruncated im gesamten v42 Quellbaum liefert keine Reparaturstelle. 000230 | 000231 | Die v4.5 QFT Extraktion hat in den entscheidenden Zeilen denselben Text. Der 000232 | Diff ändert Querverweise und das Statuslabel [A] zu [M], aber nicht die 000233 | Definition oder den Kumulanten OS Schluss. 000234 | 000235 | Urteil: keine verlorene ältere Vollmomentendefinition. Der vorhandene FRG Z 000236 | Baustein muss explizit mit der OS Schwingerfamilie verbunden werden. 000237 | 000238 | WIEDERGEWONNENER QUELLANSCHLUSS UND SEINE GRENZE 000239 | ----------------------------------------------- 000240 | 000241 | Die stärkste belegbare historische Kette ist 000242 | 000243 | D_Gamma und verdrehte Domains v21 bis v28 000244 | | 000245 | | zusätzliche, im Paper nicht ausgeführte CAR Quantisierung 000246 | v 000247 | deklarierter CAR Kern und Z_rel v31 bis v32 000248 | | 000249 | | formale kollektive Superfeldpackung; konkrete Wirkung, Maß und RP offen 000250 | v 000251 | formales exp(W_k[J]) Integral v42 000252 | | 000253 | | Ableitungen von exp(W), nicht von W 000254 | v 000255 | vollständige OS Momente korrigierter Anschluss 000256 | 000257 | Damit ist ein konkreter Teil wiedergewonnen: v42 besitzt bereits das richtige 000258 | formale algebraische Elternobjekt für volle Momente und kann bei belegter 000259 | Superfeldkonvention auch gekoppelte Komponenten tragen. Nicht wiedergewonnen 000260 | ist seine primitive Konstruktion aus dem ursprünglichen Randdatum. Der erste 000261 | präzise unabhängige Input bleibt eine definierte graduierte Wirkung samt Maß 000262 | und gemeinsamer RP oder, im freien Randsektor, eine festgelegte CAR 000263 | Quantisierung mit Zeitreflexion und Zustand. D_Gamma alleine schließt diese 000264 | Lücke nicht. 000265 | 000266 | Die physische Observable Algebra A_adm muss dabei keine odd CAR Generatoren 000267 | enthalten. Ein korrektes Modell kann die graduierte Feldalgebra F rekonstruieren 000268 | und A_adm als eichinvarianten geraden Fixpunkt F^G nehmen. Die historischen 000269 | Quellen definieren diesen Feld zu Observable Pfad jedoch ebenfalls nicht. 000270 | 000271 | OS REPARATURSATZ IM HISTORISCHEN NOTATIONSRAHMEN 000272 | ----------------------------------------------- 000273 | 000274 | Sei ein normalisiertes, graduiertes Funktional, gegeben entweder in 000275 | Komponenten oder in äquivalenter Superfeldnotation, 000276 | 000277 | Zhat[J,eta,bareta] = Z[J,eta,bareta]/Z[0,0,0] 000278 | 000279 | gegeben. Falls seine vollständigen, mit fester Grassmannordnung gebildeten 000280 | Momente 000281 | 000282 | S_{p,q,r} = delta_J^p delta_eta^q delta_bareta^r Zhat |0 000283 | 000284 | als ganze Familie die OS Voraussetzungen erfüllen, dann ist dies die Eingabe 000285 | der OS beziehungsweise CAR Rekonstruktion. Benötigt werden insbesondere 000286 | gemeinsame euklidische Kovarianz, graduierte Symmetrie, Reflexionspositivität, 000287 | Clusterung, konsistente graduierte Quellenkontraktionen sowie die über alle 000288 | Grade einheitlichen OS0 Regularitäts und Wachstumsschranken. Einzelne 000289 | Regularität jedes festen S_n genügt nicht. Die 000290 | Ableitungen von W=log Z sind die verbundenen Kumulanten. Sie bestimmen die 000291 | vollen Momente durch die graduierte Moment Kumulanten Formel, sind aber im 000292 | Allgemeinen selbst keine reflexionspositive Momentenfamilie. 000293 | 000294 | Dieser Satz ist genau der minimale Anschluss zwischen v42 §035 und v42 §025. 000295 | Er ist eine Korrektur der Verwendung vorhandener Objekte, keine neue Quelle. 000296 | Der explizite 2 mal 2 Gegenfall und die volle Begründung stehen in 000297 | 000298 | experiments/theory-contracts/primitive-seam-operator-reconstruction-20261025/ 000299 | OS-SOURCE-REPAIR.txt 000300 | 000301 | SHA256 dieses vorherigen Belegs: 000302 | 50bc771398e8a363a617c677f503f556c9f2adccf6e40cfcb460ca4eb9f55ba6 000303 | 000304 | KORPUSWEITER LITERALBEFUND 000305 | -------------------------- 000306 | 000307 | Die folgende Übersicht stammt aus einer Suche über alle tex Dateien der 000308 | jeweiligen Version. Die vertiefte Quellenprüfung ist auf die unten gelisteten 000309 | 19 Module begrenzt. Zeta zählt die exakte Z_rel[J,eta,bareta] Signatur, 000310 | Berezin zählt Berezin, Grassmann und explizite Dpsi Maße, OS zählt 000311 | Osterwalder, Schwinger functions und S_n^T, freeop zählt D_Gamma=i d/dtheta, 000312 | FRGZ zählt exp(W_k[J]) und Dvarphi. 000313 | 000314 | Version Zeta Berezin OS freeop FRGZ 000315 | v2 0 0 0 0 0 000316 | v21 0 0 0 2 0 000317 | v24 0 0 0 2 0 000318 | v25 0 0 0 2 0 000319 | v26 0 0 0 2 0 000320 | v27 0 0 0 2 0 000321 | v27-final 0 0 0 2 0 000322 | v28 0 0 0 2 0 000323 | v29 0 0 0 0 0 000324 | v30 0 0 0 0 0 000325 | v31 2 0 2 0 0 000326 | v32 2 0 2 0 0 000327 | v42 3 0 24 0 2 000328 | 000329 | Die Zahlen sind Navigationsbelege, kein Beweis durch Wortabwesenheit. Die 000330 | Urteile oben beruhen auf den vertieft gelesenen Definitionen und Beweisen. 000331 | 000332 | ORIGINALQUELLEN, ZEILEN UND SHA256 000333 | ---------------------------------- 000334 | 000335 | 1. _archive/paper-latex/old/unified_field_equation.tex 000336 | Zeilen 80 bis 101: klassische torsionsvolle Wirkung. 000337 | SHA256 595ce26a80fa1922ac7092bad427c0ac4ef30b2434cda4c6f750647d64f9c9aa 000338 | 000339 | 2. _archive/paper-latex/old/theory_root.tex 000340 | Zeilen 88 bis 102: Variation der torsionsvollen Wirkung zur UFE. 000341 | SHA256 ff5e09a20f2665ce64e8b9b0155f00d4d7518a7096d490834cf164abc5d87b5a 000342 | 000343 | 3. documents/archive--paper-latex--old--paper_v1_06_01_09_2025/sections/001-source.tex 000344 | Zeilen 1 bis 3056 vollständig nach den Quell und OS Begriffen geprüft. 000345 | SHA256 0409cbd9fb015a54b2d9d50a36e3cfa178ef406e6f5e809aee0b83d8f6ba7ac1 000346 | 000347 | 4. documents/archive--paper-latex--tffpt-theory-fullv2/sections/ 000348 | 004-subsection-block-constant-formula-and-derivation.tex 000349 | Zeilen 4 bis 31: Variation von ln det(Dslash) und APS Indexskizze. 000350 | SHA256 c771445acdf5ba7c6efbcc0f09112bab9cfcd7b14ebe0d6867978630f16bf6b4 000351 | 000352 | 5. documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000353 | 001-section-introduction-the-problem-of-parameters.tex 000354 | Zeilen 198 bis 255: D_Gamma, verdrehte Domain, Spektrum und Spektralfluss. 000355 | SHA256 85bb11511be05385a7cadf6071dbede216b12befeb9d6767bc4460748cbec5d7 000356 | 000357 | 6. documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000358 | 002-subsection-closure-axioms-a7-a8.tex 000359 | Zeilen 227 bis 242: skalare Defektsektor Partition. 000360 | SHA256 6a44df43d61d84b026c5ad15a1bdbdcc8822e741b4af8b709f0f3563fa3c0b6a 000361 | 000362 | 7. documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000363 | 007-subsection-m-obius-matching-and-the-minimal-gluing-class.tex 000364 | Zeilen 242 bis 289: bosonische Torsionsfluktuation, Delta und ln det Delta. 000365 | SHA256 278c385040ba000fc6577b3ba4630b41b49d4486b069c2034e31c4c9bfb3ae2b 000366 | 000367 | 8. documents/archive--paper-latex--tfpt-theory-fullv25/sections/ 000368 | 002-subsection-quantum-field-theory-axioms-a5-a6.tex 000369 | Zeilen 38 bis 78 und 84 bis 134: Fujikawa Verweis, effektive Wirkung und 000370 | Hintergrunddeterminante, ohne Quellmaß. 000371 | SHA256 32105d640f80e6b0ccbcf1488388e2e4f0e58e28e91acc9b8d1af3be9a4559bc 000372 | 000373 | 9. documents/archive--paper-latex--tfpt-theory-fullv28/sections/ 000374 | 013-section-texorpdfstring-seam-gluing-and-the-eta-invariant.tex 000375 | Zeilen 7 bis 52: expliziter Seam Diracoperator und Domainfamilie. 000376 | SHA256 69adc16e3ba4106f164611a1104d42e7fa65de47bba8263f4780ba2ac542ce98 000377 | 000378 | 10. documents/archive--paper-latex--tfpt-v30/sections/ 000379 | 005-subsection-residual-map-and-principal-unresolved-compari.tex 000380 | Zeilen 134 bis 218: relative Operatoren, spektrale Wirkung und 000381 | Admissibilitätsprädikat. 000382 | SHA256 5c9b441f81ed099a4054d460480794386ef38e3ab258bb874cabe460399329eb 000383 | 000384 | 11. documents/archive--paper-latex--tfpt-31/sections/ 000385 | 011-subsection-transport-side-ingredients-for-the-strong-cp-.tex 000386 | Zeilen 198 bis 274: Z_rel Definition und vorausgesetzte CAR Positivität. 000387 | Atlas paper-source:c108d5aa4300090790075793 000388 | SHA256 67f45f9072363128377e9e48735d24fb1748e504b57c0ab44dc136454e1ed144 000389 | 000390 | 12. documents/archive--paper-latex--tfpt-32/sections/ 000391 | 011-section-closure-theorems-from-the-admissibility-complex.tex 000392 | Zeilen 120 bis 195 sowie 352 bis 370: offener Upgradepfad, Z_rel, 000393 | vorausgesetzte RP und Lorentzrekonstruktion. 000394 | Atlas paper-source:14e3e2319fda95c9d35f29c7 000395 | SHA256 971d091d1ad88fae785cf6b0af2a6b74f2a600b19b42e37d3cd00c413cdf672c 000396 | 000397 | 13. documents/archive--paper-latex--tfpt-42/sections/ 000398 | 022-section-closure-theorems-from-the-admissibility-complex.tex 000399 | Zeilen 256 bis 316: Z_rel und getrennte bosonische und CAR Positivität. 000400 | Atlas paper-source:032c510c1e9343d3edda1ae5