fix(LTX25-DEVICE-RESIDENCY): bound each leaf record on its own, because the span-slack bound reds an unmutated tree and its multiplier came from the artifact (#1559) - #1582

Merged

localai-bot merged 6 commits into

mainfrom

row/GATE-SPAN-SLACK-FLAKE

Aug 21, 2026

Commits on Aug 21, 2026

fix(LTX25-DEVICE-RESIDENCY): bound each leaf record on its own, because the span-slack bound reds an unmutated tree and its multiplier came from the artifact (#1559)
mudler
committed
bf190c3
merge: origin/main into row/GATE-SPAN-SLACK-FLAKE (#1559)
mudler
committed
6ec3a13
merge: origin/main into row/GATE-SPAN-SLACK-FLAKE, second time (#1559)
mudler
committed
45e0c6c
merge: origin/main into row/GATE-SPAN-SLACK-FLAKE, third time (#1559)
mudler
committed
a217b44
record(LTX25-DEVICE-RESIDENCY): price what the resolution floor lets through, instead of naming an assertion that does not bind there (#1559)
mudler
committed
86eff01
merge: origin/main into row/GATE-SPAN-SLACK-FLAKE, fourth time (#1559)
mudler
committed
21b4e2f