TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/ACTUAL-KERNEL-FORWARD-MAP.txt Original file SHA-256: f94c5faee612af1deed8a1516b01fb9aa48f3c21196af825b070c6dab084f4ab Inclusive original lines: 143-260 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. 000143 | OS Halbseitenalgebra, den treuen endlichen modularen Zustand und die 000144 | Transferzeit. Eine Kreisstufe ist 2 pi/N, beta=N Stufen und daher 000145 | beta_angle=2 pi. Der aktuelle Lauf bestand 22/22 Checks. 000146 | 000147 | Das ist ein tragfaehiger positiver Zwischenanschluss: 000148 | 000149 | gewaehlter freier chiraler NS Zustand 000150 | -> expliziter endlicher Zweipunktkern 000151 | -> explizite OS Reflexion und Halbseitenalgebra 000152 | -> expliziter modularer Zustand und endliche Zeit. 000153 | 000154 | Er beginnt jedoch bei der Auswahl NS+, also bei der All Right Movers 000155 | Polarisation. v519 nennt sie selbst den freien NS Vakuumkern. Der fruehe 000156 | Originalpfad leitet diese Auswahl nicht aus P1 her. Das stimmt mit dem 000157 | September Audit source-conformal-kernel-selection-20260921/PROOF.md:8-34 und 000158 | :270-289 ueberein: P1 enthaelt orientierte Naht, RP Randkern, Einheitswindung 000159 | und c3, aber keine vollstaendige geladene Feldalgebra mit Zweipunktfunktion 000160 | und Zeitwirkung. 000161 | 000162 | 000163 | 4. Der kleinste entscheidende Test: Clockzeit ist nicht die alte Windung 000164 | ----------------------------------------------------------------------- 000165 | 000166 | Im alten Kreis verschiebt u=M_z die Fouriermoden und damit die Polarisation: 000167 | 000168 | u P u*=P+Pi. (2) 000169 | 000170 | Im tatsaechlich ausgefuehrten v526 Pfad ist der Einzelschritt S1 dagegen die 000171 | antiperiodische Standortverschiebung. v526:495-519 prueft exakt 000172 | 000173 | S1 c_N S1^T=c_N. (3) 000174 | 000175 | Dasselbe gilt fuer die daraus gebildete quasifreie Kovarianz. Folglich ist 000176 | der relative Defekt des gelieferten Zeitschritts null. Unter (2) ist er Rang 000177 | eins. Die Operatorwirkungen koennen daher nicht unter einer zustandserhaltenden 000178 | Identifikation gleichgesetzt werden. 000179 | 000180 | Das ist keine Forderung, dass die physische Kreiszeit selbst einen Defekt 000181 | erzeugen muesse. Es zeigt praezise, dass v519/v526 zwar Zeit und Zustand 000182 | liefern, aber noch nicht den fuer den alten Faktor benoetigten zweiten 000183 | Operator u transportieren. Ein auf den Standorten diagonaler Phasenoperator 000184 | waere ein moeglicher Fourierdualer Kandidat, kommt in diesem Quellpfad aber 000185 | nicht als hergeleitete Nahtoperation vor und wird hier nicht eingesetzt. 000186 | 000187 | 000188 | 5. Direkter Test des einzigen fruehen konkreten C_N 000189 | --------------------------------------------------- 000190 | 000191 | Der Originalaufruf 000192 | 000193 | python3 verification/v210_mark_local_dtn.py 000194 | 000195 | bestand 6/6 Checks. Danach wurde ohne neuen Harness dieselbe importierte 000196 | mark_sum, dtn und covariance Funktion mit dem alten abgeschnittenen 000197 | 000198 | P_N=diag(1_(n<0)), n=-N,...,N, 000199 | 000200 | verglichen. Fuer 0 C_F -> D_F wurde nicht erneut benutzt. Der 000231 | bereits vorhandene Audit P1-INSERTION-TANGENT.txt:53-74,175-188 bleibt 000232 | massgeblich: Eine Fermi Inversion propagiert eine gelieferte Kovarianz, waehlt 000233 | aber weder C_Sigma noch ihre Einbettung. 000234 | 000235 | 000236 | 7. Genau verbleibender Beweisschritt 000237 | ------------------------------------ 000238 | 000239 | Der kleinste positive Anschluss braucht keinen neuen KMS Fit. Er braucht eine 000240 | urspruengliche lokale oder globale Abbildung T mit folgenden nachpruefbaren 000241 | Wirkungen: 000242 | 000243 | T : L2(S1,B_a Domaene) -> H_Sigma, 000244 | C_Sigma - T P T* in L1 auf dem reduzierenden Bild, 000245 | u_Sigma T = T u, 000246 | Theta_Sigma T = T Theta_a, 000247 | 000248 | wobei u_Sigma eine bereits vorhandene Nahtoperation sein muss. Fuer den 000249 | endlichen v519 Kern waere zusaetzlich eine kompatible induktive Einbettung 000250 | der N Standort CAR Raeume erforderlich. Erst dann ist die Aussage dieselbe 000251 | Spurklasse nicht bloss endlich dimensional trivial. 000252 | 000253 | Erfolgskriterium: Der tatsaechliche Quellaufruf erzeugt T,C_Sigma,u_Sigma 000254 | und die obigen Relationen, worauf der bewiesene Spurklassensatz sofort den 000255 | Faktor 1-z liefert. 000256 | 000257 | Abbruchkriterium fuer diesen Pfad: Der einzige gelieferte u_Sigma bleibt die 000258 | zustandserhaltende Kreistranslation aus (3), oder C_Sigma wird weiterhin als 000259 | NS+ Vakuum beziehungsweise mark local Profil eingesetzt. Dann ist der freie 000260 | Kern ein konsistenter Kandidat, aber keine aus den rohen Nahtdaten gewonnene