=150 2026-08-01 (XV) (the real structure lands ( v599 promoted): the anti-holomorphic [formula in source] reflection on the [formula in source] -cover exists and is unique up to scale with [formula in source] ; its grading functor closes all three dictionary gaps at char level ( [formula in source] , [formula in source] with the anchor spectrum [formula in source] , [formula in source] ); the [formula in source] -decomposition carries [formula in source] , [formula in source] , [formula in source] ; the joint algebra embedding stays open (quantified negative); and the invariant form has [formula in source] — a sheet-diamond determinant-list member — with Lorentz signature [formula in source] )
Research changelog · TFPT — Introduction and reading guide
v599_real_structure.py ( QGEO.REAL.01, [formula in source] checks; probe 18/18, REAL-STRUCTURE-LANDED). Existence and uniqueness of [formula in source] (1-dimensional intertwiner space, [formula in source] exact, four twist intertwinings [formula in source] ); the grading functor [formula in source] locates [formula in source] , [formula in source] (the anchor spectrum) and [formula in source] exactly at char level;
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/002-source.tex · lines 204 to 221
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v599_real_structure.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v599_real_structure.py
literal source filename/path in TeX