fix(dispatch): close scope-check control bead before converging its scope (gc-gfoc7) - #158

Merged

zook-bot merged 3 commits into

mainfrom

polecat/gc-gfoc7

Aug 24, 2026

Commits on Aug 23, 2026

fix(dispatch): close the scope-check control bead before converging its scope (gc-gfoc7)
refinery costing
committed
0380b6d
docs(dispatch): state abortScope's actual control-bead precondition (gc-gfoc7)
refinery costing
committed
5ba460a
docs(specs): record the gc-gfoc7 scope-check deadlock investigation (gc-gfoc7)
refinery costing
committed
87b9d92