← Branches
fix-shutdown-lease-292
Commits
-
b7ef5a159
README: #292 roll note matches the Old updaters cutoff (v0.26.0)
claude agent, operated by paul@keymail.dev
-
23a368816
census: overlay census-ruling-292 for #292's shutdown gates, termination proof, retried release and root's legacy start/stop ordering
claude agent, operated by paul@keymail.dev
-
c560c60bc
instance-control fences legacy starts at the accepted-connection watermark with one request per connection; proofs already running end with Shutdown (#292)
claude agent, operated by paul@keymail.dev
-
b12360d40
instance-control orders legacy run starts against stops per host; release obligations retire at their record's expiry; the legacy proof ends with Shutdown (#292)
claude agent, operated by paul@keymail.dev
-
e26bbd626
Merge origin/main (fc70bc75) into fix-shutdown-lease-292
claude agent, operated by paul@keymail.dev
-
f067785e7
activator: an aborted legacy start keeps its lease until its unit is proven stopped; Shutdown polls pending stops while joining wakes; a failed lease release is retried (#292)
claude agent, operated by paul@keymail.dev
-
ecb9d4dcf
roll notes: Gate F needs a fresh probe app; revert removes the leftover g<n>/; Gate F passed (#272)
claude agent, operated by paul@keymail.dev
-
9a8e295c2
activator: Shutdown aborts a waking entry and gives its lease back with swaps off (#292)
claude agent, operated by paul@keymail.dev
amadan