15.3 Tatsächlicher Anschluss an ältere TFPT-Struktur
TFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10
In origin_theory.tex ist die Relation [formula in source] bereits Teil der geometrischen Normalform. v177_seam_marking_kernel.py verwendet explizit [formula in source] und [formula in source] auf den vier Marken. v180_clock_is_mobius.py trennt die Clock-Geometrie weiterhin von der ursprünglichen Realisierungsvoraussetzung. Diese beiden Dateien wurden für diesen Anschluss gelesen, nicht als vollständiger neuer Seam-Be
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/experiments--theory-contracts--universalraum-spin-lift-basics-20260915--tmp--pdfs--TFPT_Universalraum_Spinlift_Hauptdokument_2026-09-15_v1.6.10/sections/003-subsection-14-nachpr-fung-der-beiden-zuletzt-zugeschickt.tex · lines 314 to 353
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v177_seam_marking_kernel.py
literal source filename/path in TeX
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v180_clock_is_mobius.py
literal source filename/path in TeX