← Branches
zdd-3-swap
Commits
-
9737fd125
zdd plan 3: Astra scoped re-review r3 (ACCEPT)
claude agent, operated by paul@keymail.dev
-
4a134a2b2
zdd plan 3 final fix 2: a parent restore retry is joined by its entry's stop (R2-2)
claude agent, operated by paul@keymail.dev
-
895fc8602
zdd plan 3 final fix 2: a shed respawn child is kept until its exit is proven (R2-1)
claude agent, operated by paul@keymail.dev
-
37ffe34b5
zdd plan 3: Astra scoped re-review r2 (ACCEPT WITH FIXES; R2-1, R2-2)
claude agent, operated by paul@keymail.dev
-
ef71d55de
zdd plan 3 final fix: Lease keeps its own doc comment (comment-only)
claude agent, operated by paul@keymail.dev
-
89319f5d4
zdd plan 3 final fix: hold, sidecar-join and worker-proof tests use controlled ordering (T6, T7, T11)
claude agent, operated by paul@keymail.dev
-
25a338d51
zdd plan 3 final fix: barrier and settle tests wait on positive signals, not sleeps (T2, T5)
claude agent, operated by paul@keymail.dev
-
65375b092
zdd plan 3 final fix: root's staged-exe refusal removes the generation's launch file (T9)
claude agent, operated by paul@keymail.dev
-
2a4a29d92
zdd plan 3 final fix: retiring schedule writes go through a write fence the switch takes (F8, T8 nested gate)
claude agent, operated by paul@keymail.dev
-
2255d11a1
zdd plan 3 final fix: retained worker processes keep their build pinned until proven gone (F12, T11 shed-path test)
claude agent, operated by paul@keymail.dev
-
1f5de209b
zdd plan 3 final fix: parent-limit repair obligations survive a partial raise and a failed restore (F11)
claude agent, operated by paul@keymail.dev
-
fc14e7fd3
zdd plan 3 final fix: a worker respawn asks ownership at its exec and before its install (F1, F5/T11 log lines)
claude agent, operated by paul@keymail.dev
-
967812fc4
zdd plan 3 final fix: a hold checks its own lease and attempt at the exec; exec evidence is the spawn result (F7, F10)
claude agent, operated by paul@keymail.dev
-
b19a0f016
zdd plan 3 final fix: every claims-backed swap is refused before its raise or stop (F9)
claude agent, operated by paul@keymail.dev
-
6fcc08ef3
zdd plan 3 final fix: unproven-start sentinels read as the fence to members; Shutdown's flag-off wait recorded (F5, T13)
claude agent, operated by paul@keymail.dev
-
29119d3d8
zdd plan 3 final fix: the sim's process death is one transition (F2)
claude agent, operated by paul@keymail.dev
-
31bf28b35
zdd plan 3 final fix: WIP mutate.sh integrity and scratch isolation (F3/F4, partial, untested; fixer cut off by a usage limit)
claude agent, operated by paul@keymail.dev
-
a6ba2a095
zdd plan 3: Astra final review r1 (ACCEPT WITH FIXES)
claude agent, operated by paul@keymail.dev
-
5b9055bc0
zdd plan 3 task 13: fix round 2: keep the M6 marker text off the sim's comment
claude agent, operated by paul@keymail.dev
-
5cf536b13
zdd plan 3 task 2 fix: a failed wake never releases its lease while its process runs
claude agent, operated by paul@keymail.dev
-
c25878d98
zdd plan 3 task 13: fix round 1: the sweep models unproven terminations; mutate.sh verdicts per run
claude agent, operated by paul@keymail.dev
-
502eb1190
zdd plan 3 task 2 fix: Shutdown waits for retained unproven wakes
claude agent, operated by paul@keymail.dev
-
5e8db7328
zdd plan 3 task 13: invariant simulation (I1-I3) and its mutation checks
claude agent, operated by paul@keymail.dev
-
ecef92996
zdd plan 3 task 12: fix round 1: the spawning subtest uses a spawn that outlives cancellation
claude agent, operated by paul@keymail.dev
-
520d267b5
zdd plan 3 task 12: agent restart mid-swap and the never-healthy app, end to end
claude agent, operated by paul@keymail.dev
-
e757c0853
zdd plan 3 task 11: worker children are numbered generations; a respawn joins the operation set
claude agent, operated by paul@keymail.dev
-
f089cff93
zdd plan 3 task 10: fix round 1: a member's wake event reads as the claims refusal's cause, not its admission wrapper
claude agent, operated by paul@keymail.dev
-
86e307018
zdd plan 3 task 10: claims-on generation types and refusals; a retiring claimed generation drains first
claude agent, operated by paul@keymail.dev
-
b7bd32027
zdd plan 3 task 9: nested generations mount the staged build; root validates it first
claude agent, operated by paul@keymail.dev
-
3ff569b88
zdd plan 3 task 8: a retiring generation's schedule writes get 409 after the switch
claude agent, operated by paul@keymail.dev
-
dee0cc88f
zdd plan 3 task 7: legacy sidecars exec the serving generation's staged path
claude agent, operated by paul@keymail.dev
-
5f752be24
zdd plan 3 task 6: fix round 1: a pinned wake refused before its exec abandons the hold and emits no member event
claude agent, operated by paul@keymail.dev
-
1e1271161
zdd plan 3 task 6: the hold swap, a pinned wake installed by finishStop
claude agent, operated by paul@keymail.dev
-
e0daa4e8b
zdd plan 3 task 5: canary settle; an intentional stop cancels it and is not a failure
claude agent, operated by paul@keymail.dev
-
06de1aaf4
zdd plan 3 task 4: the overlap swap, spawn by staged path, health by handle, switch, retire
claude agent, operated by paul@keymail.dev
-
f51b07666
zdd plan 3 task 3: swap admission through hostwrite, claims off and on
claude agent, operated by paul@keymail.dev
-
aeff21c2b
zdd plan 3 task 2: fix round 1: wake releases under a live context, a placed failed spawn proves its child, the unproven-wake refusal reads as the fence
claude agent, operated by paul@keymail.dev
-
b1c3519b1
zdd plan 3 task 2: the entry's operation set, the barrier in stop(), Shutdown joins waking entries, failed wakes keep an unproven generation's lease (P2-13)
claude agent, operated by paul@keymail.dev
-
e6227f40a
zdd plan 3 task 1: swap types, the SwapBackend seam, flat staged spawn without health, each artifact's tier, canonical link at the switch
claude agent, operated by paul@keymail.dev
amadan