TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_sewing_20261028/sewing/CHARGED-SOURCE-SELECTION-ORIGIN-AUDIT.txt Original file SHA-256: 66d1d8916e664fb855f05d867d0bfedc27b905d59afc4f3b6aff9a22340ef67b 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 | CHARGED SOURCE SELECTION ORIGIN AUDIT 000002 | ===================================== 000003 | 000004 | Stand: 2026-10-28 000005 | 000006 | Frage 000007 | ----- 000008 | 000009 | Waehlen P1, P2 oder die vorhandene Wardmarkierung bereits die geladene 000010 | E8 Einsatzquelle 000011 | 000012 | M = (5,10), dim M=50, 000013 | 000014 | deren inklusive Killing Kontraktion den verifizierten Petersen Kanal 000015 | liefert? 000016 | 000017 | 000018 | Urteil 000019 | ------ 000020 | 000021 | Es gibt einen neuen positiven, aber bedingten Ursprungspfeil. Die alte 000022 | Wardmarkierung 000023 | 000024 | q -> q' = 2(e_3+e_6) = 2 lambda_A (1) 000025 | 000026 | trifft im tatsaechlichen A4 mal A4 Chart genau einen Wurzelvektor des 000027 | gesuchten Einsatzmoduls (5,10). Unter der neutralen A4 mal A4 Stromalgebra 000028 | erzeugt dieser eine Vektor den ganzen 50 dimensionalen irreduziblen Sektor. 000029 | Die Auswahl des algebraischen Modultyps ist daher nicht mehr frei, sobald 000030 | man das alte Wardwoerterbuch und die volle lokale E8 Stromclosure gemeinsam 000031 | voraussetzt. 000032 | 000033 | Das schliesst noch keine physisch normierte Quellenoperation. Die 000034 | Wardmarkierung liefert einen bezeichneten Vektor. Ein einzelner Wurzelstrom 000035 | hat Rang12 und ist nicht spurtreu auf dem 50 dimensionalen Eingaberaum. Die 000036 | reflektierte, A4 mal A4 invariante Coevaluation ueber alle50 Richtungen ist 000037 | eine exakt gepruefte hinreichende Schliessung. Sie ist nicht als notwendige 000038 | Realisierung des Petersen Kanals bewiesen. Weder P1 noch P2 noch das alte 000039 | Wardwoerterbuch schreiben diese Orbitmittelung oder einen anderen 000040 | normierten CP Bracketprozess vor. 000041 | 000042 | Die genaue neue Grenze lautet deshalb: 000043 | 000044 | * bedingt geschlossen: Wardvektor -> richtiger (5,10) Sektor; 000045 | * automatisch im vollen E8 Stromnetz: neutrale Stromclosure -> alle50 000046 | Feldrichtungen; 000047 | * weiterhin offen: die physische Naht liefert einen geschlossenen, 000048 | normierten CP Bracketprozess im verifizierten Tensorraum. Die 000049 | reflektierte inklusive Killing Coevaluation ist eine hinreichende, 000050 | nicht als notwendig bewiesene Realisierung. 000051 | 000052 | 000053 | 1. Kleinster Koordinatentest 000054 | ---------------------------- 000055 | 000056 | Im verdoppelten E8 Wurzelchart ist der alte Wardvektor 000057 | 000058 | lambda_A=e_3+e_6, 000059 | r_A=(0,0,2,0,0,2,0,0). (2) 000060 | 000061 | Fuer den bereits gegebenen Carrier SU5 auf den ersten fuenf Koordinaten 000062 | lautet seine Gewichtskarte 000063 | 000064 | w_C(r)_i=5r_i-sum_(j<5)r_j. 000065 | 000066 | Damit gilt exakt 000067 | 000068 | w_C(r_A)=(-2,-2,8,-2,-2), (3) 000069 | 000070 | also ein Gewicht der fundamentalen5. Fuer die aus dem wirklichen 000071 | Wurzelzentralisator abgeleitete Familien A4 Kette ist 000072 | 000073 | w_F(r_A)=(0,1,0,0), (4) 000074 | 000075 | das hoechste Gewicht der Lambda2 Darstellung10. Folglich 000076 | 000077 | J_(lambda_A) in (5,10). (5) 000078 | 000079 | Das ist keine Dimensionsidentifikation. Dieselben Gewichtsfunktionen und 000080 | dieselbe A4 Kette wurden im 600 Bracket Test aus den wirklichen E8 Wurzeln 000081 | abgeleitet. 000082 | 000083 | Ein direkter Orbitlauf beginnt nur mit r_A und addiert ausschliesslich die 000084 | 40 neutralen Wurzeln der beiden A4 Faktoren, sofern die Summe wieder eine 000085 | E8 Wurzel ist. Er erreicht exakt50 verschiedene Wurzeln und genau den 000086 | bereits klassifizierten Carrier5 Sektor. Der Lauf sieht500 gerichtete 000087 | neutrale Wurzelkanten. Damit ist die erzeugte Darstellung der ganze 000088 | irreducible (5,10) Sektor und kein echter Unterraum. 000089 | 000090 | Kompaktes Adjungieren sendet ihn in den konjugierten Sektor 000091 | 000092 | (5,10)^*=(bar5,bar10). (6) 000093 | 000094 | Die alte Wardrichtung und ihre Reflexion bestimmen somit das richtige 000095 | geladene Modulpaar, sofern das bedingte Woerterbuch (1) als Quellenpfeil 000096 | beibehalten wird. 000097 | 000098 | 000099 | 2. Was das alte Original davon wirklich traegt 000100 | ----------------------------------------------- 000101 | 000102 | Der alte Wardvertrag sagt selbst zweierlei: 000103 | 000104 | 1. Das Woerterbuch (1) ist unter der geprueften rationalen E8 000105 | Weylisometrie exakt. 000106 | 000107 | 2. Es ist keine Herleitung der rohen Quellenabbildung Xi. 000108 | 000109 | Seine spaetere intrinsische Form beweist ohne Wahl eines einzelnen 000110 | Vorzeichens, dass der transportierte primitive Quellvektor in der alten 000111 | D5 mal A3 Graduierung ein gemischter Strom 000112 | 000113 | lambda in (10,6), ||lambda_C||^2=||lambda_F||^2=1 (7) 000114 | 000115 | sein muss. Der bezeichnete Vertreter lambda_A aus (1) liegt zugleich in 000116 | dieser alten (10,6) Klasse und im neuen (5,10) Sektor. Damit verbinden sich 000117 | die beiden bereits vorhandenen Schnitte an einem wirklichen E8 Wurzelstrom. 000118 | 000119 | Diese Verbindung ist enger als die fruehere Aussage, dass beide Modelle 000120 | einen passenden Zahlenraum besitzen. Sie transportiert Wurzel, Ladung und 000121 | Lieklammer in demselben Chart. Ihr Geltungsbereich bleibt aber der 000122 | stipulierte lokale E8 Stromraum; der unveraenderte mikroskopische CAR Kern 000123 | hat J_(lambda_A) nicht als lokales Feld geliefert. 000124 | 000125 | 000126 | 3. Warum die alte Viertelgraduierung den 50er nicht allein erzeugt 000127 | ------------------------------------------------------------------ 000128 | 000129 | Der neue Einsatzsektor ist gegenueber der alten D5 mal A3 Viertelgraduierung 000130 | nicht homogen: 000131 | 000132 | (5,10) = 30 Wurzeln aus altem Grad2 000133 | + 20 Wurzeln aus altem Grad3. (8) 000134 | 000135 | Der bezeichnete Wardvektor lambda_A liegt im alten Grad2. Seine volle 000136 | A4 mal A4 Bahn erreicht aber auch die zwanzig Grad3 Wurzeln. Dafuer werden 000137 | unter anderem die acht Halbwurzeln des neuen Familien A4 Zentralisators 000138 | benoetigt. Die alte Aussage Grad2=(10,6) waehlt deshalb nur30 der50 000139 | Richtungen dieses neuen Moduls, nicht dessen inklusive Closure. 000140 | 000141 | Auch die originale P2 Ladung 000142 | 000143 | X=(-2,-2,-2,3,3) (9) 000144 | 000145 | ist kein Projektor auf (5,10). Innerhalb desselben Einsatzmoduls tragen die 000146 | fuenf Carriergewichte die beiden Einsatzladungen -2 und+3, mit 000147 | Multiplizitaeten30 und20. Der ganze Sektor ist kein einzelner X Eigenwert. 000148 | P2 bestimmt die Ladungsbilanz jeder Bracketkante, nicht die Gleichgewichtung 000149 | aller Einsatzrichtungen. 000150 | 000151 | Damit sind drei Aussagen strikt getrennt: 000152 | 000153 | * der alte Grad2 markiert den wirklichen Startstrom lambda_A; 000154 | * die neue neutrale A4 mal A4 Closure erzeugt dessen ganzen 50er; 000155 | * die P2 Ladung bleibt auf diesem 50er nichtskalar. 000156 | 000157 | 000158 | 4. Wardidentitaet gegen Wardmass 000159 | -------------------------------- 000160 | 000161 | Eine Wardidentitaet bestimmt die OPE Koeffizienten der erzeugten Felder. 000162 | Sie macht aus einem bezeichneten Feld noch kein gleichfoermiges Ereignismass. 000163 | Im vorliegenden Fall sind beide Operationen exakt unterscheidbar: 000164 | 000165 | markierte Einsetzung: rho -> B_lambda rho B_lambda^dagger, 000166 | inklusive Coevaluation: rho -> sum_(beta in M) 000167 | B_beta rho B_beta^dagger. (10) 000168 | 000169 | Jedes B_beta hat Rang12. Die volle zweite Summe erfuellt exakt 000170 | 000171 | sum_(beta in M) B_beta^dagger B_beta = 12 I_50. (11) 000172 | 000173 | Falls ein positives Quellenmass auf M unter der vollen neutralen 000174 | A4 mal A4 Wirkung invariant ist, ist seine Gramform wegen der 000175 | Irreduzibilitaet nach Schur ein Skalarvielfaches der Killingform. Spurtreue 000176 | fixiert diesen Skalar dann eindeutig auf1/12. Unter dieser ausdruecklichen 000177 | Voraussetzung gibt es weder freie Richtungsgewichte noch einen Fit. Das ist 000178 | ein hinreichender Quellensatz. Er beweist nicht, dass jeder normierte CP 000179 | Bracketprozess dieselbe 50er Killingform als Recordmass realisieren muss. 000180 | 000181 | Die Voraussetzung folgt nicht aus der vorhandenen Markierung. Ein 000182 | bezeichneter Vektor bricht die neutrale Symmetrie auf seinen Stabilisator. 000183 | Die Deltaquelle auf lambda_A und die invariante Orbitsumme haben dieselbe 000184 | markierte Startwurzel, aber verschiedene Antworten. Auch ein endlicher H8 000185 | Einsatz liefert keine invariante Ersatzmetrik; der fruehere SOURCE GRAM 000186 | AUDIT hat innerhalb des wirklichen 50ers bereits zwei neutrale Wurzeln mit 000187 | verschiedenen H8 Gewichten gefunden. 000188 | 000189 | Die E8 Vakuumzweipunktfunktion stellt die Killingform bereit, sobald die 000190 | reflektierte Linie geschlossen wird. Sie entscheidet nicht, dass der 000191 | physische P1 Prozess gerade diese ganze Linie einsetzt. Die verbleibende 000192 | Quellenfrage ist schwaecher und praeziser: Liefert die originale Naht einen 000193 | normierten CP Bracketprozess im bereits verifizierten Stromtensorraum? Die 000194 | Killing Coevaluation ist dafuer eine konkrete hinreichende Antwort. 000195 | 000196 | 000197 | 5. P1, P2 und die alte quadratische Compilerpraemisse 000198 | ----------------------------------------------------- 000199 | 000200 | P1 definiert den primitiven Randoperator und spaeter eine lokale Algebra aus