TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/equivariant-monodromy-20261023/THEOREMS.txt
Original file SHA-256: e96dab9d854b4fa6c4c93dd7792fa8769d0ee41abdafa0072817d44990ac3b85
Inclusive original lines: 162-228
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.

000162 | 
000163 | 4. Vollständige Auswertung an den ursprünglichen62 Clockklassen
000164 | 
000165 | Die ursprünglichen Daten werden exakt neu erzeugt:
000166 | 14760 geordnete Reflexionsvierer,17 simultane Konjugationsklassen,
000167 | 5 Hurwitzorbits,49920 clockmarkierte Paare,62 Konjugationsklassen mit
000168 | C exakter Ordnung4. Nur die Grundklassen0,12,15 sind clockfähig.
000169 | Die IDs sind die unveränderten nullbasierten IDs des Prüfpakets.
000170 | 
000171 | Für Pi=C4*C4 werden die Obstruktionskoordinaten in
000172 | H^2(Pi,Z/4)=(Z/4)^2 in der Reihenfolge a=C,b=r0 C genommen:
000173 |   O(rho)=(-2epsilon(C),-2(1-epsilon(C))).
000174 | 
000175 | Grundklasse   epsilon(C)=0   epsilon(C)=1   insgesamt
000176 | 0, C2                 22             22           44
000177 | 12, V4 TypA            7              8           15
000178 | 15, V4 TypB            1              2            3
000179 | gesamt                30             32           62
000180 | 
000181 | Also haben30 Klassen den Wert(0,2),32 Klassen den Wert(2,0).
000182 | Alle62 Werte sind nicht null. CLOCKS.tsv enthält jede einzelne Zuordnung;
000183 | results.json enthält dazu alle exakten Clockmatrizen und Stabilisatoren.
000184 | Für jeden der beiden Generatoren wurden alle vier zentralen Lifts geprüft.
000185 | 
000186 | 5. Was die verschiedenen zentralen Lockerungen genau bewirken
000187 | 
000188 | [OMITTED: non-scientific conversation or execution metadata]
000189 | [OMITTED: non-scientific conversation or execution metadata]
000190 | [OMITTED: non-scientific conversation or execution metadata]
000191 | [OMITTED: non-scientific conversation or execution metadata]
000192 | [OMITTED: non-scientific conversation or execution metadata]
000193 | [OMITTED: non-scientific conversation or execution metadata]
000194 | [OMITTED: non-scientific conversation or execution metadata]
000195 | 
000196 | [OMITTED: non-scientific conversation or execution metadata]
000197 | [OMITTED: non-scientific conversation or execution metadata]
000198 | [OMITTED: non-scientific conversation or execution metadata]
000199 | 
000200 | [OMITTED: non-scientific conversation or execution metadata]
000201 | [OMITTED: non-scientific conversation or execution metadata]
000202 | [OMITTED: non-scientific conversation or execution metadata]
000203 | [OMITTED: non-scientific conversation or execution metadata]
000204 | [OMITTED: non-scientific conversation or execution metadata]
000205 | [OMITTED: non-scientific conversation or execution metadata]
000206 | [OMITTED: non-scientific conversation or execution metadata]
000207 | [OMITTED: non-scientific conversation or execution metadata]
000208 | [OMITTED: non-scientific conversation or execution metadata]
000209 | [OMITTED: non-scientific conversation or execution metadata]
000210 | [OMITTED: non-scientific conversation or execution metadata]
000211 | [OMITTED: non-scientific conversation or execution metadata]
000212 | [OMITTED: non-scientific conversation or execution metadata]
000213 | 
000214 | 5c. Projektive Orbifoldrelationen bedeuten stattdessen ein Paar Ahat,Bhat
000215 | in E über C,r0 C mit Ahat^4=z^(-2e), Bhat^4=z^(-2(1-e)).
000216 | Es gibt4*4=16 solche Paare pro Grundobjekt, insgesamt992 Klassen.
000217 | Ihre Meridiane Ahat^j Bhat Ahat^(-j-1) haben Produkt
000218 | Bhat^4 Ahat^-4=z^2. Somit sind sie kein Lift der flachen F3 Monodromie
000219 | mit Produkt1. Diese992 dürfen nicht mit den1984 aus5b addiert werden.
000220 | 
000221 | Allgemeine elementare Form von5b für m zyklische Meridiane:
000222 | Bei konjugationsverträglicher Sektion, prod s(M_j)=omega in A, ist
000223 | zentral kovarianter Transport mit konstantem d genau dann möglich, wenn
000224 |   m d=0 und m k0+binom(m,2)d+omega=0 in A.
000225 | Beweis: k_j=k0+j d einsetzen. Ein zusätzlicher strikter Clocklift
000226 | erfordert unabhängig dessen Potenzobstruktion aus Abschnitt2.
000227 | Für m=4,A=Z/4,omega=2 erhält man exakt d ungerade.
000228 |