TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/ADMISSIBLE-SPACE-HISTORY.txt Original file SHA-256: d89f814974cc444eee62765a5106293da42069c0388a321027f70895341e966c 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 | \qquad 000202 | A^*\mathcal H_{\rm adm}\subset\mathcal H_{\rm adm} 000203 | \] 000204 | 000205 | gilt. Der Text betont ausdrücklich, dass die lokale Algebra durch Einschränkung auf einen invarianten Raum und nicht durch globale Kompression `P_adm A P_adm` definiert ist. 000206 | 000207 | Quelle: `paper-source:85f53177bd297144a924b0c3` 000208 | Pfad: `documents/archive--paper-latex--tfpt-42/sections/041-section-relative-aps-and-superconnection-setup.tex` 000209 | Zeilen: 89 bis 129 000210 | SHA256: `5b7f02f6ba794c8c32b3f74d90a456912a4ab9b78522060d26955179016373e8` 000211 | 000212 | Der OS/CAR Satz konstruiert unter Reflexionspositivität, Temperiertheit, Kovarianz, graduierter Symmetrie und Clustering einen neuen Hilbertraum `H_OS` aus einem Quotienten positiver Zeitobservablen. Er sagt, die Rekonstruktion bleibe auf dem `P_adm` Sektor. Eine konkrete Isometrie oder Zweitquantisierung 000213 | 000214 | \[ 000215 | \mathcal H_\partial\longrightarrow\mathcal H_{\rm OS} 000216 | \] 000217 | 000218 | für `P_C`, `B_Sigma` oder die erste Kreislinie wird nicht angegeben. Die Verwendung desselben Projektorsymbols über Rand Cauchydaten, Faktorraum und OS Raum ist daher eine erklärte Architektur, aber noch kein ausgeschriebener Operatorintertwiner. 000219 | 000220 | ## 4. Rolle des alten `u`: Übergang, nicht admissible Observable 000221 | 000222 | Quelle: `paper-source:1fe2ddfabc74ac0e94a4686d` 000223 | Pfad: `documents/archive--paper-latex--tfpt-theory-fullv21/sections/001-section-introduction-the-problem-of-parameters.tex` 000224 | Zeilen: 198 bis 251 000225 | SHA256: `85bb11511be05385a7cadf6071dbede216b12befeb9d6767bc4460748cbec5d7` 000226 | 000227 | Die alte Quelle nennt `U_Gamma` einen unitären Matching Operator zwischen `Gamma_+` und `Gamma_-`. `U_Gamma(theta)=e^{itheta}` parametrisiert die Gluing Familie und ihren Spektralfluss. Das ist die Rolle eines Clutching Operators zwischen Randdaten. Die Quelle setzt ihn nicht in eine lokale Observablenalgebra ein. 000228 | 000229 | Quelle: `paper-source:bbbd320d16f44d87bc9e99e5` 000230 | Pfad: `documents/archive--paper-latex--tfpt-42/sections/006-subsection-character-trace-identities-and-the-abelian-in.tex` 000231 | Zeilen: 245 bis 285 000232 | SHA256: `341f53fab64f6f2cca53e505d497cdc7087285c95e8e0f44f616ac6754afa810` 000233 | 000234 | Auch der spätere Satz vom primitiven Nahtgenerator enthält nur 000235 | 000236 | \[ 000237 | [u_\Sigma]=1\in K^1(S^1), 000238 | \qquad SF(U_\Sigma)=1. 000239 | \] 000240 | 000241 | Sein Beweissketch schließt von einer elementaren relativen Nahtklasse auf einen positiven Umlauf. Er konstruiert weder einen Eigenvektor noch `P_CuP_C`, einen Toeplitz Defektraum oder einen Rang eins Spektralprojektor. 000242 | 000243 | Eine gezielte Literalprüfung der v31, v42, tfpt45 und aktiven Paper 1/2 Quellen fand keine Formel `P_CuP_C`, kein `M_z` und keine behauptete Gleichheit von `P_C` mit einem Hardy Projektor. 000244 | 000245 | ## 5. Kleinster Invarianztest 000246 | 000247 | Auf dem bereits verifizierten Viertelkreis sei 000248 | 000249 | \[ 000250 | B_a e_n=(n+a)e_n, 000251 | \qquad 0=0}`. Es gilt 000257 | 000258 | \[ 000259 | u\operatorname{Ran}(P_+)\subset\operatorname{Ran}(P_+), 000260 | \qquad 000261 | u^*e_0=e_{-1}\notin\operatorname{Ran}(P_+). 000262 | \] 000263 | 000264 | Also ist der positive Kreisraum unter `u`, aber nicht unter `u*` invariant. Daraus folgt exakt: 000265 | 000266 | * Wenn `u` als Element derselben lokalen Sternalgebra gelten soll, kann `H_adm=Ran(P_+)` die v42 Invarianzdefinition nicht erfüllen. 000267 | * Die Originale verlangen diese Zuordnung nicht. Sie behandeln `u` als Matching und K1 Generator. Als Übergangsoperator darf es verschiedene Polarisierungen oder Randkopien verbinden. 000268 | * Die Toeplitz Kompression `P_+uP_+` ist ein einseitiger Shift auf dem positiven Raum. Sie ist nicht die Einschränkung eines Operators, der den Raum gemeinsam mit seinem Adjungierten reduziert. Deshalb kann eine spätere Toeplitz Defektlinie nicht ohne weitere Abbildung als lokales admissibles Observable ausgegeben werden. 000269 | 000270 | Dieser Test entscheidet die engste mögliche Fehlidentifikation und lässt die historisch tatsächliche Clutching Rolle intakt. 000271 | 000272 | ## 6. Minimaler EM Transfer ist ein anderer Projektor 000273 | 000274 | Quelle: `paper-source:c6aa05563c9c859fbbda7bed` 000275 | Pfad: `documents/archive--paper-latex--tfpt-42/sections/007-subsection-carrier-form-of-the-electromagnetic-closure.tex` 000276 | Zeilen: 13 bis 47 000277 | SHA256: `6f98cfb7404f415e4a511712c1fa144c85bb662c36386cc32d1ebb3537a9fb6b` 000278 | 000279 | Die EM Quelle definiert 000280 | 000281 | \[ 000282 | U_\Sigma^{\min}=|\psi_\Sigma\rangle\langle\psi_\Sigma| 000283 | \] 000284 | 000285 | als Rang eins Projektor. Sie sagt nicht, dass `P_adm=U_Sigma^min`. `tr_adm` kann einen Rang eins Operator auf einem viel größeren admissiblen Raum auswerten. Der Modus wird lediglich durch Verweis auf den K1 Satz als singled out bezeichnet; der K1 Satz selbst liefert keine Linie. 000286 | 000287 | Quelle: `paper-source:482df41c92cd8cfa9d57ed45` 000288 | Pfad: `documents/archive--paper-latex--tfpt-42/sections/029-section-frw-reduction-seam-transfer-and-the-scalaron-bra.tex` 000289 | Zeilen: 10 bis 135 000290 | SHA256: `0d89ad0434fe7c373ea190a4e116cad32e1b362516b7aeec9b163931115ab97f` 000291 | 000292 | Der volle Wärmeübertrag 000293 | 000294 | \[ 000295 | P_{\rm adm}e^{-\ell|B_\Sigma|}P_{\rm adm} 000296 | \] 000297 | 000298 | bleibt wiederum ein allgemeiner spurklassiger Operator. Der Rang eins Fall steht dort hinter `If, moreover`. Damit sind drei Projektoren zu unterscheiden: 000299 | 000300 | 1. `P_C`: einteilchige Rand Cauchydatenpolarisation, 000301 | 2. `P_adm`: voller physischer Sektorprojektor, 000302 | 3. `U_Sigma^min`: zusätzlich definierter Rang eins EM Transfer. 000303 | 000304 | Keine geprüfte Quelle setzt zwei dieser drei Operatoren gleich. 000305 | 000306 | ## 7. Die tfpt45 primitive Orbitformel schließt die Abbildung ebenfalls nicht 000307 | 000308 | Quelle: `paper-source:79aeb188204547f963615df9` 000309 | Pfad: `documents/archive--tfpt-45--07_cmb_operational_closure_planck_pipeline/sections/007-section-hook-solution-sketches-v4-6-5.tex` 000310 | Zeilen: 250 bis 270 000311 | SHA256: `7b7c7d3fa47cc00ef771818c65f2a5c31c0c705d3890b8128a2d2ebe6e1a16da` 000312 | 000313 | Diese Quelle erklärt, `P_adm`, `theta_eff=0` und Closed Branch Selection ließen nur die minimale primitive Nahtklasse in einer Orbitspur übrig. Sie definiert dabei jedoch 000314 | 000315 | \[ 000316 | \log\det^{\rm prim}_{\rm adm}(1-U_\Sigma) 000317 | :=-\operatorname{Tr}^{\rm prim}_{\rm adm}(U_\Sigma), 000318 | \] 000319 | 000320 | also nur den linearen ersten Spurterm und nicht den gewöhnlichen Fredholm Logarithmus. Die Multiplizität wird mit zwei Blättern gesetzt. Es gibt weder eine Hilbertraumrealisierung dieses `U_Sigma` noch eine Abbildung zur späteren Linie `psi_Sigma`. Diese historische Formel ist daher kein übersehener Beweis des Rang eins EM Transfers. 000321 | 000322 | ## 8. Aktive Paper 1 und 2: eine reale CAR Kandidatenroute, noch keine EM Identität 000323 | 000324 | Quelle: `paper-source:7b58a2b8767cacd98fa2feb4` 000325 | Pfad: `documents/tfpt_1_architecture_e8/sections/004-source.tex` 000326 | Zeilen: 100 bis 207 000327 | SHA256: `a064d8bb1c49f7dae14899defaa62ca07ed27e1fa27e01cc482bff64c02a462f` 000328 | 000329 | Paper 1 enthält den stärksten weiteren positiven Kandidaten. Eine Calderón Polarisation des freien Majorana Modells wird durch einen Projektor `P=M/2` beschrieben. Sein Rang ist im Carrierblock fünf und in der Naht Hülle acht. Der zugehörige gemeinsame Annihilatorkern bestimmt eine eindeutige Fock Vakuumlinie. 000330 | 000331 | Das ist eine konkrete mathematische Route 000332 | 000333 | \[ 000334 | \text{einteilchige Calderón Polarisation} 000335 | \longmapsto 000336 | \text{quasifreier CAR Zustand} 000337 | \longmapsto 000338 | \text{eindeutige Vakuumlinie}. 000339 | \] 000340 | 000341 | Sie ist für die aktuelle Lücke relevant, aber sie identifiziert keine Rang eins Einteilchenmode. Der Calderón Projektor selbst hat Rang fünf beziehungsweise acht; Rang eins ist erst die Vakuumlinie im zugehörigen Fockraum. Die Quelle markiert außerdem die notwendige Premise Merge und die Aussage, dass die physische Naht genau diesen sheet odd Calderón Kern liefert, als `recorded, not claimed` beziehungsweise konditional. 000342 | 000343 | Quelle: `paper-source:3f317fe584ec4f10d994c6ae` 000344 | Pfad: `documents/tfpt_2_standard_model/sections/007-subsection-2-gravity-the-classical-covariant-field-equat.tex` 000345 | Zeilen: 180 bis 230 000346 | SHA256: `d110376a2d97decdaa06d3f6c90375ec242e63a26ea7af299d45945f9658f91b` 000347 | 000348 | Paper 2 bestätigt den Status: P1, einschließlich Randkernel, Calderón und Seam Winding, ist nur als typisierte Schnittstelle formalisiert; die analytischen Voraussetzungen sind importiert. 000349 | 000350 | Quelle: `paper-source:c38e82c9a06f5aeed1d3e1ad` und `paper-source:2f8a823f065f3d3a1c82d4dc` 000351 | Pfad: `documents/tfpt_2_standard_model/sections/010-section-the-explicit-mass-gap-closes-dynamics-and-cluste.tex` 000352 | Zeilen: 1 bis 100 und 273 bis 380 000353 | SHA256: `3a31f272d999f1e0b027f25a877068576c6cbdc83150c7b5c0f8a6e17bed1904` 000354 | 000355 | Das finite `C6` Transfermodell besitzt dort eine einfache Perron Vakuumlinie und einen expliziten Gap. Es ist aber ein separater endlicher Transportoperator mit Spektrum `{1,(2/3)^6,(1/3)^6}`. Derselbe Text markiert die physische Projektion über `P_adm` als `claimed` und konditional. Weder der Perron Vektor noch die CAR Vakuumlinie werden mit `psi_Sigma` des EM Transfers gleichgesetzt. 000356 | 000357 | ## 9. Direkter CAR Defektanschluss aus dem alten Kreis 000358 | 000359 | Für 000360 | 000361 | \[ 000362 | B_a e_n=(n+a)e_n, 000363 | \qquad 0