Fix: validate completed migration namespaces and restart evidence (#111) - #161

Merged

flyingrobots merged 9 commits into

mainfrom

test/111-migration-restart-ambiguity

Oct 3, 2026

Commits on Oct 2, 2026

Test: pin migration restart record and ordering refusals (#111)
flyingrobots
committed
71babdb
Test: complete migration restart namespace and pool evidence (#111)
flyingrobots
committed
22b2016
Docs: use configured paragraph line-length policy (#111)
flyingrobots
committed
5cb758a

Commits on Oct 3, 2026

Merge main into migration restart evidence (#111)
flyingrobots
committed
ff6f5be
docs: retain complete-migration refusal counterexample (#111)
flyingrobots
committed
a8fda64
test: reproduce completed migration accepting reserved residue (#111)
flyingrobots
committed
6351c7c
fix: verify completed migration namespace before success (#111)
flyingrobots
committed
a3ea6c3
docs: record bounded migration refusal calibration (#111)
flyingrobots
committed
e206298
Merge main reader-fence repair into migration restart evidence (#111)
flyingrobots
committed
2f22d0d