TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/P5-OBSERVABLE-IMAGE-AND-INSTRUMENT.txt Original file SHA-256: 82a532f65e8d77cdad2a00a790f96439026171461e1970fc111746335a321fa9 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 | P5 IM ORIGINALEN ZWEIRANDQUELLBILD 000002 | ================================== 000003 | 000004 | 28. Oktober 2026 000005 | 000006 | Frage 000007 | ----- 000008 | 000009 | Der Hodge Kanal Phi und der alte Kanal Psi haben dieselbe Petersen 000010 | Population und dieselben fuenf groben Effekte. Der Rang fuenf Projektor 000011 | 000012 | P5 = (1/6) sum_(m=0)^4 |C_m>><> sind Hilbert Schmidt orthogonal mit Normquadrat 6. Daher 000025 | ist (1) wirklich ein orthogonaler Rang fuenf Projektor. Der bereits 000026 | gepruefte A4 x A4 E8 Bracket liefert jedes C_m einschliesslich seiner 000027 | epsilon Vorzeichen. Es handelt sich also nicht um einen nachtraeglich 000028 | angepassten Zeugen. 000029 | 000030 | 2. Nach einer TATSAECHLICHEN Einbettung der fuenf Carrier Modi in die beiden 000031 | Rand CAR Raeume ist P5 ein gerades, insgesamt ladungsneutrales 000032 | Paarobservable. Im dualisierten Zweilochchart der beiden bar10 Beine ist 000033 | es auf dem festen Lambda2 tensor Lambda2 Koordinatensektor ein endlicher 000034 | achtfeldiger Ausdruck, also ein Produkt von vier Erzeugern und vier 000035 | Vernichtern. Eine physische Elektronenrealisierung bar10=Lambda3 E muss 000036 | die Volumendualitaet und ihre Ladungswirkung explizit transportieren; sie 000037 | ist kein gleichgeladenes zweites Lambda2 Teilchenbein. Die vorhandene 000038 | Bilokalrekonstruktion kann nach dieser Typisierung die benoetigten 000039 | Matrixeinheiten aus Produkten der originalen Strombilokale erzeugen. Die 000040 | volle Zweirand GNS Konstruktion transportiert danach jedes beschraenkte 000041 | CAR Wort. 000042 | 000043 | 3. Die Originale beweisen diese spezielle Einbettung in A_adm noch nicht. 000044 | Sie setzen einen reflexionspositiven admissiblen CAR Kern voraus, geben 000045 | aber keine lokale Modenabbildung vom P1 Kreis auf die internen 000046 | A4 x A4 Module (10,bar5), (5,10), (bar10,5) an. Ein Projektor auf einen 000047 | endlichen internen Darstellungssektor ist ausserdem noch kein Beweis fuer 000048 | Intervallokalitaet. Deshalb ist P5 im internen E8 Koeffizientenraum und 000049 | bedingt in der geraden Zweirand CAR Algebra vorhanden, aber noch nicht als 000050 | Element des tatsaechlichen P1 A_adm Bildes hergeleitet. 000051 | 000052 | 4. Der volle Projektorkern bestimmt auf einer bereits gegebenen gemeinsamen 000053 | CAR Algebra den Zustand und damit alle Erwartungswerte eines vorhandenen 000054 | P5 Bildes. Er bestimmt kein Instrument. Die GNS Verdopplung ist eine 000055 | Darstellung und Reinigung desselben Zustands. Sie bezeichnet ihre zwei 000056 | Flaechen nicht als Choi Eingang und Referenz, bereitet keinen maximal 000057 | verschraenkten Choi Testzustand vor und zeichnet keinen Krausindex m auf. 000058 | 000059 | Der erste unbewiesene Pfeil ist damit nicht die Existenz neutraler Feldworte. 000060 | Er ist die lokale, zeit und reflexionsvertraegliche Einbettung des konkreten 000061 | A4 x A4 Bracketsektors in die urspruengliche Zweirandquelle, zusammen mit der 000062 | operativen Sewing Gleichung, welche die fuenf C_m/sqrt(3) als Ereignisamplituden 000063 | und m als vergessenes oder ausgelesenes Register realisiert. 000064 | 000065 | 000066 | 1. Der exakte Zeuge 000067 | ------------------- 000068 | 000069 | Mit der Spaltenvektorisierung der bereits fixierten Duadenbasis gilt 000070 | 000071 | _HS = 6 delta_(mn), 000072 | J_Phi = sum_m |C_m/sqrt(3)>><>< neutrale Bilokale a_r^* a_s 000137 | -> exakte Stromvertexformel 000138 | -> Produkte auf einem verbundenen Intervall 000139 | -> neutrale Quartik und W8 Worte 000140 | -> bedingt durch die lokale P1 Stromabbildung deren A_adm Bild. (6) 000141 | 000142 | Die Bilokalidentitaet ist ein Allgrad Matrixelementsatz und behaelt die 000143 | Quarterphase, die Quellezeit und die originale Normalordnung. Ein normaler, 000144 | unitaler, zustands, zeit und reflexionserhaltender Stromnetzhomomorphismus 000145 | transportiert danach alle Produkte auf sein zyklisches Bild. Damit ist (6) 000146 | mehr als die abstrakte Aussage, dass eine gerade CAR Algebra viele Operatoren 000147 | enthaelt. 000148 | 000149 | Was (6) noch nicht liefert, ist die konkrete Abbildung 000150 | 000151 | iota_pair: 000152 | (bar10 tensor bar10, P5) 000153 | -> (A_adm(I_L vereinigt I_R), P5_source), (7) 000154 | 000155 | mit folgenden bereits typisierten Eigenschaften: 000156 | 000157 | * Die fuenf Einteilchenmarken und ihre Lambda2 Sektoren kommen aus der 000158 | Originalquelle und sind keine frei ausgewaehlten fuenf Testfunktionen. 000159 | * Die zwei Faktoren in (7) sind die tatsaechlichen orientierten 000160 | Randflaechen mit der richtigen Realstruktur und nicht interne 000161 | Darstellungsindizes, die in Raumzeitpunkte umbenannt wurden. 000162 | * Zeit, Reflexion, Support, Quarterphase, Normalordnung und die feste 000163 | Sektorprojektion werden intertwiniert. 000164 | * Die E8 epsilon Koeffizienten C_m werden auf genau die Feldworte in (5) 000165 | abgebildet. 000166 | 000167 | Die urspruengliche Definition von A_adm konstruiert (7) nicht. Im v31 000168 | reduced datum stehen D, J, Gamma, inv und der Kragenoperator B_Sigma. Die 000169 | fastkommutative Faktorisierung mit internem Hilbertraum ist ausdruecklich eine 000170 | Annahme. Spaeter ist 000171 | 000172 | P_adm = Pi_(ker Delta_adm), 000173 | 000174 | und das Reflexionspositivitaetslemma setzt den admissiblen fermionischen CAR 000175 | Kern auf diesem Sektor voraus. Weder P_adm noch das Lemma identifizieren die 000176 | fuenf Carrier Modi, den A4 x A4 Bracketsektor oder den Projektor (1). 000177 | 000178 | 000179 | 3. Was der volle Zweirandkern wirklich festlegt 000180 | ----------------------------------------------- 000181 | 000182 | Fuer die bereits gegebene freie Zweirandquelle lautet die vollstaendige 000183 | Einteilchenkovarianz 000184 | 000185 | P_A = [[I-C, X_A], [X_A, C]], 000186 | X_A = sqrt(C(I-C)) = (2 cosh(W B_Sigma))^-1. (8) 000187 | 000188 | P_A ist ein orthogonaler Projektor. Daher gibt es auf der angegebenen 000189 | gemeinsamen geladenen CAR Algebra genau einen positiven Zustand mit dieser 000190 | Kovarianz. Er ist der reine quasifreie Zustand omega_(P_A), und alle neutralen 000191 | Worte folgen durch Wick Kontraktionen. Die graded GNS Konstruktion realisiert 000192 | genau denselben Zustand auf HS(K) und transportiert alle beschraenkten CAR 000193 | Worte. Falls (7) vorliegt, ist also 000194 | 000195 | omega_(P_A)(P5_source) (9) 000196 | 000197 | ohne weitere Zustandswahl bestimmt. 000198 | 000199 | Aus (8) folgt keine CP Abbildung von einem Eingabealgebraobjekt zu einem 000200 | Ausgabealgebraobjekt. Insbesondere liefert (8) weder