feat(LTX25-PHASE-INSTRUMENT): the phase table charges its own cost and names the gap its residue is in (#1569, #1571) - #1711

Merged

localai-bot merged 18 commits into

mainfrom

row/LTX25-PHASE-INSTRUMENT-v2

Aug 23, 2026

Commits on Aug 22, 2026

spec(LTX25-PHASE-INSTRUMENT): the instrument measures its own cost, and the residue says which gap it is in (#1668, #1569, #1571)
mudler
committed
826bfc9
feat(LTX25-PHASE-INSTRUMENT): the phase table charges its own cost and names the gap its residue is in (#1569, #1571)
mudler
committed
ed60f82
fix(LTX25-PHASE-INSTRUMENT): the charge is disjoint, the budget is the cheaper step, the gap endpoints are read, and the console copy says the same thing (#1718, #1719, #1720)
mudler
committed
a5d41d1
Merge origin/main into row/LTX25-PHASE-INSTRUMENT-v2
mudler
committed
56cfa01
fix(LTX25-PHASE-INSTRUMENT): the console gate was VACUOUS, the table arm was ungated, and two gap assertions were tautologies
mudler
committed
27f17d1
Merge origin/main into row/LTX25-PHASE-INSTRUMENT-v2
mudler
committed
5faad59
spec(LTX25-PHASE-INSTRUMENT): the 45-run distribution taken on the tree that actually lands
mudler
committed
03f0535

Commits on Aug 23, 2026