=150 2026-08-01 (XVI) (the joint embedding lands ( v600 promoted): the compiler pair [formula in source] is REALIZED on the [formula in source] -cover — a [formula in source] -even degree-2 pair, [formula in source] -integral, seven-word rank [formula in source] , simultaneous conjugation to the compiler pair solved exactly, integer restrictions on the saturated [formula in source] lattice, and saturation index [formula in source] with the exact v566 divisor pattern; canonicity typed open, the gate does not move)
Research changelog · TFPT — Introduction and reading guide
v600_joint_embedding.py ( QGEO.EMBED.01, [formula in source] checks; probe 15/15, JOINT-EMBEDDING-LANDED). The pair [formula in source] , [formula in source] : chars and joint traces compiler-exact ( [formula in source] , [formula in source] , [formula in source] ); seven words independent; explicit invertible [formula in source] with [formula in source] , [formula in source] ; the real structure integer on [formula
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 186 to 203
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v600_joint_embedding.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v600_joint_embedding.py
literal short identifier uniquely resolves in local script registry
- cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred