TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/NATIVE-SPIN5-FUNCTOR-AND-KRAUS-SPACE.txt
Original file SHA-256: 3ffcad772d3f0a8fef31ff000cb716b18668f83d013ebe3a55b055d498080050
Inclusive original lines: 201-249
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 | Die blosse Existenz sourcekonjugierter F20 Untergruppen waehlt deshalb
000203 | keinen einzelnen Kraus5 Unterraum im festen Quellenchart aus. v783 beweist
000204 | den vollen diskreten Cliffordrahmen, bezeichnet aber weder unser F20
000205 | Wortpaar noch seine +i Eigenlinie als die physische Galoisclock. Diese
000206 | Markierung bleibt die erste zusaetzliche Quellenwahl.
000207 | 
000208 | 6. Antwort auf die Tragfrage
000209 | ----------------------------
000210 | 
000211 | Bedingt ja. Fuer eine fest markierte native F20 Untergruppe, ihre +i
000212 | konforme Eigenlinie Omega_+ und die damit festgelegte Viertelorientierung
000213 | entfernt der kanonische Spin5 Funktor die vorherige
000214 | U(2) mal U(1) mal U(1) Mehrdeutigkeit. Nach positiver Normierung bleibt nur
000215 | eine Phase, auf der reellen Form ein gemeinsames Vorzeichen. Der induzierte
000216 | Hodge Krausraum auf der reellen nativen Bell10 ist dann basisunabhaengig
000217 | bestimmt.
000218 | 
000219 | Vier Aussagen folgen daraus nicht:
000220 | 
000221 |   1. F20 allein waehlt weiterhin keinen eindeutigen beschrifteten
000222 |      Fuenferslotchart. Dessen Intertwinerraum hat Dimension 2.
000223 | 
000224 |   2. Die diskrete Originalquelle beweist keine kontinuierliche Sp4
000225 |      Quellensymmetrie. Die hier verwendete volle Sp4 Naturality ist die
000226 |      mathematische Fortsetzung der markierten Form Omega_+.
000227 | 
000228 |   3. Sourcekonjugierte F20 Untergruppen liefern unitaer konjugierte
000229 |      Krausraeume. Ohne physische Markierung eines F20 Wortpaares ist in
000230 |      einem festen Bell10 Quellenchart kein einzelner davon ausgewaehlt.
000231 | 
000232 |   4. Die mathematisch kanonische Konstruktion beweist nicht, dass der
000233 |      tatsaechliche P1 oder P2 Quellenoperator gerade Phi ausfuehrt. Dafuer
000234 |      bleibt eine originale Amplituden oder Observablezuordnung erforderlich.
000235 | 
000236 | Die neue Rechnung schliesst somit die Darstellungs und Krausraumfrage. Sie
000237 | ersetzt nicht den noch physisch zu belegenden Sourcekanalpfeil.
000238 | 
000239 | 7. Ausfuehrbarer Beleg
000240 | ----------------------
000241 | 
000242 |   check_native_spin5_functor.py
000243 |   native-spin5-functor-results.json
000244 | 
000245 | Der Checker prueft 54 exakte Aussagen: primitive Fuenferform, positive und
000246 | symmetrische Metriken, die volle F20 Charaktertabelle, die zweidimensionale
000247 | F20 Slotchart Freiheit, die eindeutige volle sp4 Intertwinerlinie, exakte
000248 | Metrikerhaltung, native F20 Vertraeglichkeit und den fuenfdimensionalen
000249 | minimalen Hodge Krausraum mit der Normierung sum C_m^dagger C_m=3I.