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: 1-200 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 | TFPT OLDER PAPER SOURCE RECOVERY 000002 | ================================ 000003 | 000004 | Datum: 2026-10-25 000005 | Atlas Revision beim Start: 43a4702c9b0d0e33066def66 000006 | Geltungsbereich: historische TFPT Quellen von old/paper_v1 und old/theory_root über v2 bis v42, mit einem kontrollierten Vergleich zur v4.5 Extraktion. 000007 | 000008 | FRAGE 000009 | ----- 000010 | 000011 | Enthalten die älteren Fassungen bereits 000012 | 000013 | 1. ein explizites gemeinsames bosonisch fermionisches Quellfunktional 000014 | Z[J,eta,bareta], 000015 | 2. ein Berezinmaß oder einen inversen Dirackern, der die fermionischen 000016 | Korrelatoren tatsächlich festlegt, 000017 | 3. vollständige Schwingermomente statt nur verbundener Kumulanten und 000018 | 4. eine gemeinsame euklidische Zeit und Reflexion, auf der OS Positivität 000019 | des gekoppelten Funktionals bewiesen ist? 000020 | 000021 | ERGEBNIS 000022 | -------- 000023 | 000024 | PROVED, als begrenztes Originalquellenurteil: 000025 | 000026 | * Vor v31 wurde in dem geprüften historischen Korpus kein gemischtes 000027 | Z[J,eta,bareta], kein Berezinmaß und keine OS Schwingerfamilie definiert. 000028 | Es gibt dort Determinanten, effektive Aktionen und ab v21 einen expliziten 000029 | freien tangentialen Randoperator. Diese Daten sind echte Vorläufer, aber 000030 | noch kein Feldzustand und kein volles Quellfunktional. 000031 | 000032 | * v31 und v32 führen Z_rel[J,eta,bareta] als Quotienten ein. Z_adm selbst, 000033 | sein Maß und sein fermionischer Zweipunktkern werden an dieser Stelle nicht 000034 | konstruiert. Die fermionische CAR Reflexionspositivität wird vorausgesetzt. 000035 | 000036 | * v42 enthält erstmals zwei unterschiedliche positive Quellbausteine: 000037 | 000038 | (a) eine konstruktive geometrische, also bosonische, Maßfamilie und 000039 | 000040 | (b) das formale regulierte all moment parent 000041 | 000042 | exp(W_k[J]) = integral Dvarphi exp( 000043 | -S_adm[varphi] - 1/2 + ). 000044 | 000045 | Baustein (b) ist das wiedergewonnene formale Elternfunktional für 000046 | vollständige Momente. Die Supertraces in den Zeilen 37 und 60 bis 65 legen 000047 | nahe, dass varphi und J als graduierte kollektive Superfeldnotation gemeint 000048 | sind. Dann kann J auch die zuvor getrennt geschriebenen Komponenten 000049 | (J,eta,bareta) enthalten; deren Nichtausschreibung allein widerlegt keine 000050 | gemischte Quelle. Nicht belegt werden jedoch die konkrete Superfeld und 000051 | Maßkonvention, die graduierte Definition von S_adm, die Abbildung vom 000052 | ursprünglichen Randoperator auf diese Variablen und die gemeinsame 000053 | Reflexionspositivität des Integrals. 000054 | 000055 | * v42 bezeichnet die Ableitungen von W_rel = log Z_rel ausdrücklich als 000056 | "truncated admissible Schwinger distributions" S_n^T und wendet danach die 000057 | OS Axiome unmittelbar auf {S_n^T} an. Im älteren Korpus wurde keine 000058 | stillschweigende Definition vollständiger Momente gefunden, die diesen 000059 | Schritt korrigiert. Die v4.5 Extraktion behält genau diese Definition und 000060 | diesen Schluss bei; nur das Statuslabel wird von [A] auf [M] geändert. 000061 | 000062 | Das frühere Urteil wird daher in einem Punkt geschärft: Die historischen 000063 | Papers enthalten bereits ein formales Z basiertes all moment parent im v42 000064 | FRG Abschnitt. Bei nachgewiesener Superfeldkonvention kann es auch die 000065 | gemischten Quellen kodieren. Nicht nachgewiesen sind die konkrete gemeinsame 000066 | Wirkung und Maßdefinition, ihre Herkunft aus dem ursprünglichen Randoperator 000067 | und ihre gemeinsame OS Positivität. Der direkte OS Schluss aus den Kumulanten 000068 | bleibt falsch. 000069 | 000070 | KLEINSTER ENTSCHEIDENDER TEST 000071 | ---------------------------- 000072 | 000073 | Ein behauptetes historisches Vollquellfunktional wurde nur dann als 000074 | vollständig konstruiert gezählt, wenn die Originalkette mindestens die 000075 | folgenden Typen festlegt. Eine echte Superfeldnotation darf mehrere Einträge 000076 | zusammenfassen; getrennte Symbole eta und bareta sind keine Pflicht: 000077 | 000078 | Felder: graduierter Feldraum mit bosonischen und fermionischen Teilen 000079 | Quelle: graduierte Quelle mit festgelegten Komponenten und Ableitungsordnung 000080 | Gewicht: gemeinsame Wirkung oder gemeinsames Maß 000081 | Kern: fermionischer quadratischer Teil und Domains; im freien Fall seine Kovarianz 000082 | OS Struktur: eine gemeinsame euklidische Zeitreflexion 000083 | Momente: Ableitungen von Z/Z[0], nicht nur von log Z 000084 | 000085 | Der Test verhindert drei falsche Identifikationen: 000086 | 000087 | * ln det D als Antwort auf eine Hintergrundvariation erzeugt keine offenen 000088 | fermionischen Korrelatoren. 000089 | * Ein klassischer oder tangentialer Diracoperator bestimmt ohne Quantisierung, 000090 | Polarisation und Zustand noch keine CAR Kovarianz. 000091 | * Getrennte bosonische und fermionische Positivität beweist keine Positivität 000092 | des gekoppelten Maßes mit Wechselwirkung. 000093 | 000094 | HISTORISCHE QUELLENKETTE 000095 | ------------------------ 000096 | 000097 | 1. Klassische Wurzeltexte 000098 | 000099 | old/unified_field_equation definiert eine torsionsvolle bosonische Wirkung mit 000100 | Axion und Maxwellterm. Ein Fermionkinetikterm, ein fermionisches Maß und lokale 000101 | Quellen stehen dort nicht. old/theory_root variiert diese klassische Wirkung 000102 | zur UFE. Das lange alte paper_v1 enthält ebenfalls keine Treffer für Berezin, 000103 | Grassmann, Schwinger, Osterwalder oder generating functional. 000104 | 000105 | Urteil: klassische Feldgleichung, kein Quellzustand. 000106 | 000107 | 2. v2: Determinantenantwort auf festem Hintergrund 000108 | 000109 | v2 verwendet die Variation von ln det(Dslash) unter einer flachen U(1) 000110 | Verbindung, um den quadratischen Ladungsindex zu lesen. Das ist ein echter 000111 | fermionischer Ein Schleifen Antwortterm. Weder Dslash^{-1} noch Quellen für 000112 | offene Fermionbeine werden definiert. 000113 | 000114 | Urteil: fermionische Determinantenantwort wiedergefunden, keine volle Quelle. 000115 | 000116 | 3. v21 bis v28: expliziter freier Nahtoperator und skalare Partitionen 000117 | 000118 | Ab v21 ist der tangentiale Einteilchenoperator tatsächlich explizit: 000119 | 000120 | D_Gamma = i d/dtheta, 000121 | psi(theta+2pi) = exp(i phi) psi(theta), 000122 | lambda_n(phi) = n + phi/(2pi). 000123 | 000124 | v28 wiederholt dies als Seam Gluing Modul. Damit sind Operator, verdrehte 000125 | Domainfamilie und Spektralfluss vorhanden. theta ist dort die Koordinate des 000126 | Nahtkreises; phi interpoliert Randbedingungen. Keine der beiden Variablen wird 000127 | als gemeinsame euklidische Zeit des Feldfunktionals definiert. Es fehlen Fock 000128 | Raum, CAR Darstellung, Vakuum, inverse Kovarianz und Berezinquellen. 000129 | 000130 | Parallel erscheint in v21 die skalare Defektzerlegung 000131 | 000132 | Z(alpha) = Z_triv(alpha) + Z_def(alpha). 000133 | 000134 | Sie kodiert Sektorgewichte. Sie ist kein lokales Z[J,eta,bareta]. Die v21 000135 | Ein Schleifen Rechnung integriert quadratische Torsionsfluktuationen mit einem 000136 | Laplace Operator aus und produziert 1/2 ln det Delta. Das ist ein bosonischer 000137 | effektiver Beitrag, keine gemeinsame Quelle. 000138 | 000139 | Urteil: Der freie Randoperator ist ein positiver historischer Ursprung für 000140 | eine spätere freie CAR Quantisierung. Die erste zusätzliche Wahl wäre aber 000141 | genau diese Quantisierung samt Polarisation, Zustand und Zeitreflexion. Das 000142 | Paper führt sie nicht aus. 000143 | 000144 | 4. v29 und v30: relative Operatoren ohne Quellfunktional 000145 | 000146 | Die Vollkorpussuche findet in v29 und v30 weder Z_rel[J,eta,bareta] noch 000147 | Berezin, OS oder Schwinger. v30 definiert D_rel als Vergleichsoperator und 000148 | S_rel als spektrale Trace Differenz plus eta Term. Es kennzeichnet 000149 | Admissibilität noch als Prädikat, nicht als Maß oder Feldzustand. 000150 | 000151 | Urteil: saubere relative Operatorgrammatik, weiterhin kein Z. 000152 | 000153 | 5. v31 und v32: erste gemischte Quellnotation, noch deklarierter Input 000154 | 000155 | v31 definiert 000156 | 000157 | Z_rel[J,eta,bareta] = Z_adm[J,eta,bareta]/Z_ref[0,0,0] 000158 | 000159 | und erklärt die CAR Reflexionspositivität im selben Sektor zur Voraussetzung. 000160 | Die Stelle gibt keine Formel für Z_adm. v32 bewahrt dieselbe Quotientendefinition 000161 | und sagt ausdrücklich, dass die Aufnahme der letzten Positivitätsinputs in den 000162 | Kern erst ein Upgradepfad ist. Der Lorentzschluss beruft sich anschließend auf 000163 | "usual OS" und "corresponding CAR reconstruction", ohne zuvor eine 000164 | vollständige Momentenfamilie zu definieren. 000165 | 000166 | Urteil: echte Quellensignatur, aber deklarierter Container statt konstruierter 000167 | Quelle. 000168 | 000169 | 6. v42: drei verschiedene Maße dürfen nicht zusammengezogen werden 000170 | 000171 | 6.1 Geometrisches Maß 000172 | 000173 | v42 definiert endliche geometrische Maße 000174 | 000175 | dmu_n proportional exp(-tr f_*(D_Vn^2/Lambda^2)) dnu_Vn 000176 | 000177 | auf dem BRST reduzierten geometrischen Konfigurationsraum und daraus Z_grav. 000178 | Das ist ein positives bosonisches Maß. Es enthält keine fermionischen 000179 | Grassmannvariablen. Die Behauptung, seine Reflexionspositivität werde von der 000180 | früheren OS Struktur geerbt, kann die fehlende gemeinsame Quelle nicht ersetzen. 000181 | 000182 | 6.2 Topologische Determinantgewichte 000183 | 000184 | v42 zeigt Z_Q >= 0 durch gamma5 Paarung der nichtverschwindenden Spektren der 000185 | D_f und verwendet anschließend ein lokales Boltzmanngewicht 000186 | exp(-S_adm[phi]) dmu(phi). Nach dem Ausintegrieren von Fermionen kann dies eine 000187 | bosonische effektive Marginale sein. Ohne eta,bareta erzeugt sie keine offenen 000188 | fermionischen Korrelatoren. Positivität der einzelnen Z_Q beweist zudem keine 000189 | gemeinsame OS Positivität lokaler gemischter Worte. 000190 | 000191 | 6.3 Reguliertes all moment parent 000192 | 000193 | Der FRG Abschnitt definiert wirklich exp(W_k[J]) als Funktionalintegral und 000194 | G_{k,phi} = (S_adm''[phi]+R_k)^{-1}. Die Supertraces zeigen, dass eine 000195 | graduierte kollektive Lesart von phi und J beabsichtigt sein kann. Außerdem 000196 | identifiziert der Text den k gegen null Grenzwert formal mit dem retained 000197 | relative generating functional. Daraus folgt der kleinste korrekte 000198 | Reparaturanschluss im vorhandenen Formalismus: 000199 | 000200 | Zhat_k[J] := exp(W_k[J]) / exp(W_k[0]),