2. −1,138 ist eine echte bessere Variationsgrenze
TFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10
Die Unterräume aus den normierten bosonweise geordneten Vektoren [formula in source] sind nicht invariant, aber sie sind gültige Variationsräume. Da unterschiedliche k orthogonal sind und H die Bosonzahl höchstens um eins ändert, besitzt die Kompression auf v0, ,v5 exakt
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/016-subsection-beweisumfang-label-beweisumfang.tex · lines 100 to 170
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- cross reference join CalderonInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join YukawaTrilinearForm.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join YukawaPrimitive.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v5_e8_cascade.py
literal short identifier uniquely resolves in local script registry