record(LTX25-DEVICE-RESIDENCY): the span-slack bound's fifth and sixth shapes, both MEASURED and both WITHDRAWN (#1727, #1728) - #1712

Merged

localai-bot merged 14 commits into

mainfrom

row/LTX25-DEVICE-RESIDENCY

Aug 23, 2026

Commits on Aug 22, 2026

spec(LTX25-DEVICE-RESIDENCY): the span-slack bound's fifth shape, and the coverage arm a mutation refused (#1572, #1576)
mudler
committed
ca2f7f7
fix(LTX25-DEVICE-RESIDENCY): (1c) reads the boundary cost the run measured, instead of the fifth constant (#1572, #1576)
mudler
committed
477b436
Merge origin/main into row/LTX25-DEVICE-RESIDENCY
mudler
committed
90f4676
Merge origin/main into row/LTX25-DEVICE-RESIDENCY
mudler
committed
fe04f4c
Merge origin/main into row/LTX25-DEVICE-RESIDENCY
mudler
committed
3f50350
record(LTX25-DEVICE-RESIDENCY): the fifth and sixth shapes of the span-slack bound, both measured and both WITHDRAWN (#1727, #1728)
mudler
committed
0108da9
Merge origin/main into row/LTX25-DEVICE-RESIDENCY
mudler
committed
a75e4d3
record(LTX25-DEVICE-RESIDENCY): #1572 is not discharged, and the residue spec said it was
mudler
committed
ee286b0
record(LTX25-DEVICE-RESIDENCY): the two filed issues are constraints on a re-proposal, not live defects
mudler
committed
ca40eec
record(LTX25-DEVICE-RESIDENCY): reconcile the pre-withdrawal prose with the withdrawal
mudler
committed
73c4248

Commits on Aug 23, 2026