TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/E8-A4-PETERSEN-RESPONSE.txt
Original file SHA-256: 8311a51e2f9a0e5e9eb9307fc329cdce77e5d65a599da3fa5692b7460ec63a38
Inclusive original lines: 201-281
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 | 
000202 | Fuer
000203 | 
000204 |     X=(-2,-2,-2,3,3),   sum_i X_i=0,
000205 | 
000206 | traegt die Eingabe ij die Ladung X_i+X_j, der Einsatz m die Ladung X_m und
000207 | die konjugierte Ausgabe kl die Ladung -(X_k+X_l). Wegen
000208 | 
000209 |     {i,j,m,k,l}={0,1,2,3,4}
000210 | 
000211 | gilt auf allen 600 Bracketkanten
000212 | 
000213 |     -(X_k+X_l) = X_i+X_j+X_m.
000214 | 
000215 | In der Umgebungskonvention q_env=-X_m ist dies genau
000216 | 
000217 |     q_output + q_env = q_input.
000218 | 
000219 | Der Checker findet die vollstaendige Verteilung
000220 | 
000221 |     (q_input,q_insertion,q_output): Anzahl
000222 |     (-4,-2,-6):  60
000223 |     (-4, 3,-1): 120
000224 |     ( 1,-2,-1): 240
000225 |     ( 1, 3, 4): 120
000226 |     ( 6,-2, 4):  60.
000227 | 
000228 | Die SU5 Kovarianz umfasst insbesondere den fuenfzyklischen
000229 | Permutationsoperator auf den Carrier Marken und die dazu duale Wirkung auf
000230 | der konjugierten Ausgabe. Das identifiziert diesen Operator noch nicht mit
000231 | einem urspruenglichen C5 Galois, Coxeter oder Zeitclock. Die Z5 Graduierung
000232 | durch das SU5 Zentrum und eine Permutation der fuenf Gewichte sind
000233 | verschiedene typisierte Aussagen.
000234 | 
000235 | 5. Verhaeltnis zum alten D5 x A3 Schnitt
000236 | ----------------------------------------
000237 | 
000238 | Die neue Eingabe ist nicht der alte 64 dimensionale Sektor und die neue
000239 | Familie ist keine zusaetzlich erfundene Fuenferkopie. Dieselben E8 Wurzeln
000240 | verteilen sich unter der alten D5 x A3 Graduierung wie folgt:
000241 | 
000242 |     (10,bar5):    10 aus g0 und 40 aus g1,
000243 |     (5,10):       30 aus g2 und 20 aus g3,
000244 |     (bar10,5):    10 aus g0 und 40 aus g3,
000245 |     (bar5,bar10): 20 aus g1 und 30 aus g2.
000246 | 
000247 | Der Familien Fuenfer des neuen A4 zerfaellt unter dem alten A3 als 4 plus 1.
000248 | Der A4 x A4 Kanal schneidet also die vorhandene E8 Algebra anders als der
000249 | D5 x A3 Cliffordkanal. Er darf weder mit dessen 64 Zustaenden noch mit
000250 | dessen 3/5 zu 2/5 Schalenzerlegung gleichgesetzt werden.
000251 | 
000252 | 6. Genau verbleibender Ursprungspfeil
000253 | -------------------------------------
000254 | 
000255 | Der neue Test schliesst die algebraische Herkunft des Hodgeoperators:
000256 | 
000257 |     C_m ist tatsaechlich der Carrierteil eines vorhandenen E8
000258 |     Strukturkoeffizienten, und seine inklusive Killingnormierung ist 1/3.
000259 | 
000260 | Er schliesst keine physische Ereignisregel. Dafuer muesste die Originalquelle
000261 | noch zeigen, dass die A4 x A4 Graduierung den eingesetzten Rand oder
000262 | Nahtsektor bestimmt, dass alle 50 Richtungen mit der Killinggewichtung
000263 | eingesetzt werden und dass der ausgehende Familienindex unbeobachtet bleibt.
000264 | Auch ein Zeitgesetz oder eine Iteration des Kanals folgt nicht aus dem
000265 | Bracket.
000266 | 
000267 | Die Formulierung, dies sei der einzige noch fehlende Pfeil, waere zu stark.
000268 | Es ist der staerkste nun exakt lokalisierte Kandidat fuer die algebraische
000269 | Petersen Antwort innerhalb derselben E8 Quelle.
000270 | 
000271 | Reproduktion
000272 | ------------
000273 | 
000274 |     python3 check_e8_a4_response.py
000275 |     python3 -OO check_e8_a4_response.py
000276 | 
000277 | Die Ausgaben sind bytegleich. Der Checker benutzt keine Assertions fuer
000278 | seine Beweisbedingungen. Er prueft die 600 Bracketkanten sowohl im
000279 | Keilchart als auch in den festen dualen epsilon Koordinaten, 1500 neutrale
000280 | Kovarianzkanten, beide Gains, alle P2 Ladungen und die beiden endlichen
000281 | Populationskanaele mit exakter Ganzzahlarithmetik.