fix(LTX25-POSITION-CONTRACT): gate the tower positions as integers, and stop a note claiming a detection the same file measures as absent - #1797

Merged

localai-bot merged 4 commits into

mainfrom

row/LTX25-POSITION-CONTRACT

Aug 23, 2026

Commits on Aug 23, 2026

spec(LTX25-POSITION-CONTRACT): ask the oracle whether the mutant is really closer
mudler
committed
d23e3ee
fix(LTX25-POSITION-CONTRACT): gate the tower positions as integers, and stop a note claiming a detection the same file measures as absent
mudler
committed
fc35709
fix(LTX25-POSITION-CONTRACT): say what the reference binding guarantees and what the reachability mutation does not
mudler
committed
522097f
Merge origin/main into row/LTX25-POSITION-CONTRACT
mudler
committed
a2d130f