=150 2026-07-31 (VIII) (two decisive deepenings: the anchor-Hamiltonian Gibbs pencil delivers the first DYNAMICAL distinction of the reconstruction bit ( v572 [formula in source] checks: the compiler twin is Gibbs-critical at [formula in source] , the alternative never), and the redundancy ablation shrinks the reconstruction inputs to three ( v574 [formula in source] checks: [formula in source] and [formula in source] fall relative to the self-code demands))
Research changelog · TFPT — Introduction and reading guide
v572 extended (probe [formula in source] ). Along the Gibbs family [formula in source] of the v566 anchor operator [formula in source] , the pencil determinant factors exactly differently on the twins — compiler [formula in source] , alternative [formula in source] ( [formula in source] ) — and only the compiler's extra factor has a root inside the physical Gibbs range: the compiler twin's RP kernel degenerates at a
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 332 to 355
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
- explicit script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v572_rp_bit_form.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v574_stageb_winding.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