TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_time_compatibility_20261027/ALL-CHARGE-GROUND-INDEPENDENT-REVIEW.txt
Original file SHA-256: 0503220accdc97bbbf7699861f1e8443801b464eb97426cafb60dd6ce49bf166
Inclusive original lines: 201-236
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 | punktweise fixiert, wirkt wegen Irreduzibilitaet und Multiplizitaet eins auf
000202 | dem s-Ladungsraum mit einem Skalar lambda_s. Das Produkt
000203 | 
000204 |   B_s B_s subset A_D8
000205 | 
000206 | und die Nichttrivialitaet dieses Fusionskanals erzwingen
000207 | 
000208 |   lambda_s^2=1.
000209 | 
000210 | Damit ist Aut(B|A_D8) die Charaktergruppe des Erweiterungs-Z2, also wieder
000211 | Z2. Fuer zwei stark stetige lokale Zeitentwicklungen alpha_t und
000212 | alpha'_t, die dieselbe Intervallbewegung und exakt dieselbe Wirkung auf dem
000213 | festen D8-Unternetz besitzen, liegt die punktweise Differenz nach Ruecktransport
000214 | in dieser diskreten relativen Gruppe. Sie beginnt bei der Identitaet und ist
000215 | stetig, also ist sie fuer alle t trivial. Die von H_epsilon verlangte Phase
000216 | 
000217 |   lambda_s(t)=exp(i t epsilon)
000218 | 
000219 | ist daher nur fuer epsilon=0 mit diesen Voraussetzungen vereinbar.
000220 | 
000221 | Dieser Ausschluss benoetigt alle folgenden Praemissen:
000222 | 
000223 |   * dasselbe irreduzible lokale finite-index Netz B und dasselbe eingebettete
000224 |     D8-Unternetz A_D8;
000225 |   * die multiplikitaetsfreie Ordnung-zwei-Simple-Current-Erweiterung;
000226 |   * stark stetige Automorphismengruppen mit derselben geometrischen
000227 |     Intervallbewegung und derselben Wirkung auf A_D8;
000228 |   * dieselbe Vakuumdarstellung, sodass der globale Sektorprojektor und die
000229 |     Generatoren verglichen werden.
000230 | 
000231 | Ohne diese Praemissen ist dies kein Ausschluss anderer P1-Zeiten. Eine
000232 | veraenderte D8-Dynamik, ein groesserer lokaler Feldinhalt, eine andere
000233 | Erweiterung oder eine Zeit, die nicht durch H+epsilon P_s beschrieben wird,
000234 | bleibt offen. Innerhalb des festgehaltenen Netzes zeigt der Test aber konkret:
000235 | Die Grundentartung laesst sich nicht durch eine unsichtbare kontinuierliche
000236 | globale Sektorstrafe reparieren.