=150 2026-08-01 (XVIII) (the duality-and-forms round lands ( v602 promoted): the J-adjoint exchanges the two parabolic types exactly ( [formula in source] compiler pair); the dictionary completes in the J-projector language (the corpus anchor formula [formula in source] holds verbatim on the curve); Weil positivity holds exactly (the Riemann bilinear relations on the [formula in source] -sheet); the canonical bilinear form [formula in source] is symmetric with [formula in source] ; the v600 integer core is Lean-certified ( FORM.QGEO.04); the contracts paper gains the [formula in source] -cover model paragraph)
Research changelog · TFPT — Introduction and reading guide
v602_duality_forms.py ( QGEO.DUALFORMS.01, [formula in source] checks; probe 17/17, DUALITY-FORMS-LANDED). [formula in source] J-self-adjoint, [formula in source] the exact product reversal, [formula in source] conjugate to the compiler pair; [formula in source] , [formula in source] , [formula in source] , ladder all exact in the J-projector language; Weil-twisted form positive definite ( [formula in source] ); hone
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 154 to 171
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v602_duality_forms.py
literal short identifier uniquely resolves in local script registry
- explicit file citation CoverEmbedding.lean
literal source filename/path in TeX
- explicit file citation v602_duality_forms.py
literal source filename/path in TeX
- explicit script identifier v600_joint_embedding.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier