TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/C4-TRIANGLE-INDEPENDENT-REVIEW.txt
Original file SHA-256: b589f7d063cc2e7a48549bd5c4d4895f99ab4a103449eae29b28b3dae2fe323f
Inclusive original lines: 361-411
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.

000361 | 9. Präziser Status
000362 | ------------------
000363 | 
000364 | [E/REUSED] Exakt bewiesen und bereits am 28. September vorhanden:
000365 | 
000366 | * Die ausgeschriebene A(z) ist genau die v115 Fuchsverbindung.
000367 | * Ihr C4 Abstieg besitzt nur die drei Pole 0,1,infinity mit den oben
000368 |   angegebenen exakten Residuen.
000369 | * Alle Residuen sind semisimpel; es gibt keine logarithmischen lokalen
000370 |   Lösungen.
000371 | * Die lokalen Ordnungen sind exakt 4,3,2 und das Gruppenbild ist treu S4.
000372 | * Die determinantentriviale Rang 3 Darstellung ist der v117 Signaltwist.
000373 | * Nach Fixierung C0=U^(-1) ist C1 bis auf den diagonalen Zentralisator exakt
000374 |   die M0 Bahn.
000375 | * Der in den älteren Einzelcheckern noch numerisch markierte A0*
000376 |   Monodromieanschluss ist in der späteren Synthese algebraisch geschlossen.
000377 | * Der A4 Monodromiecover, die Geschlecht 2 Dreiblattkurve und der markierte
000378 |   Sechspunktintertwiner sind dort bereits ebenfalls hergeleitet.
000379 | 
000380 | [E] Notwendige Korrektur der Markierung:
000381 | 
000382 | * U ist der geometrische Deckoperator auf Y.
000383 | * U^(-1) ist die positive lokale Monodromie des abgestiegenen X Systems am
000384 |   C4 Punkt.
000385 | * Das ältere Phi Pullback hat dort U und am anderen Spitzenpunkt Ordnung 4;
000386 |   es ist eine andere markierte Verbindung.
000387 | 
000388 | [O] Nicht aus diesem Satz abgeleitet:
000389 | 
000390 | * Die physische Auswahl der A0* Quelle aus P1.
000391 | * Eine Gleichsetzung des Quotientenwinkels mit physischer Zeit.
000392 | * Die Gleichheit mit dem modularen Phi Pullback oder dessen globaler
000393 |   elliptischer Quelleninterpretation.
000394 | 
000395 | [Korrektur des aktuellen Forschungsstands]
000396 | 
000397 | * Die Aussage in D4-ORBIFOLD-RIGIDITY.txt und im vorherigen
000398 |   STABILITY-INDEPENDENT-REVIEW.txt, der A0* ODE Anschluss sei weiterhin nur
000399 |   numerisch, ist durch die wiedergefundene Quelle überholt.
000400 | * Offen bleibt die Auswahl der konkreten Quelle und ihrer Feldwirkung, nicht
000401 |   die endliche Monodromieidentifikation dieser bereits geschriebenen ODE.
000402 | 
000403 | Unabhängige Kontrolle
000404 | ---------------------
000405 | 
000406 | Eine kleine exakte Sympy Rechnung bestätigte die Partialbruchidentität, alle
000407 | drei charakteristischen Polynome, die Minimalpolynomidentität von Binf,
000408 | die Diagonalisierung von B0 und (M0 U^(-1))^2=I. Eine separate endliche
000409 | S4 Zählung bestätigte, dass die vier zulässigen Dreizyklen eine einzige Bahn
000410 | unter dem Zentralisator des fixierten Vierzyklus bilden. Es wurde keine ODE
000411 | numerisch integriert, keine Originaldatei und kein Atlasdatum verändert.