← Branches
moves-phase1-3c
Commits
-
c8597c011
Merge remote-tracking branch 'origin/main' into moves-phase1-3c
claude agent, operated by paul@keymail.dev
-
c846354c1
host: recover committed wakes that failed before publishing (Plan 3 final review, ruling 1)
claude agent, operated by paul@keymail.dev
-
ff6110f47
activator, host: overlapping reloads and the open's idle protection (Plan 3 final review, rulings 2 and 3)
claude agent, operated by paul@keymail.dev
-
cdc3c40c1
Merge remote-tracking branch 'origin/main' into moves-phase1-3c
claude agent, operated by paul@keymail.dev
-
3e78af986
host: the files-gen refresh and repair verify content (Plan 3 Task 7 fix round 3)
claude agent, operated by paul@keymail.dev
-
b007f4e9c
host: repair an interrupted files-gen refresh; the committed wake judged on its launch (Plan 3 Task 7 fix round 2)
claude agent, operated by paul@keymail.dev
-
d56170d07
host: committed recovery after a restarted probe; the owner's input policy (Plan 3 Task 7 fix round 1, finding 1; claim Plan 10 rev 5)
claude agent, operated by paul@keymail.dev
-
078a6c36b
activator: RetireExcept re-validates a probe's open under its final lock (Plan 3 Task 7 fix round 1, finding 2)
claude agent, operated by paul@keymail.dev
-
073e1fcfa
host: the open is proved, its stamp inside the hold lock (Plan 3 Task 7 fix round 1, finding 3)
claude agent, operated by paul@keymail.dev
-
55892ff03
host: the commit's park scopes through Plan 5 Task 2's helpers (Plan 3 Task 7, H7)
claude agent, operated by paul@keymail.dev
-
bfa0327d6
Merge remote-tracking branch 'origin/main' into moves-phase1-3c
claude agent, operated by paul@keymail.dev
-
4e1f93d5b
host: the landing wake after the commit (Plan 3 Task 7, Task 5's committed wake)
claude agent, operated by paul@keymail.dev
-
580a67768
activator: the held probe's idle exemption and the open race (Plan 3 Task 7)
claude agent, operated by paul@keymail.dev
-
70f9ea61f
host: commit as a record CAS, the claim half, the conditional open (Plan 3 Task 7, §7.5, §7.9 steps 1 and 2, H7 to H9)
claude agent, operated by paul@keymail.dev
-
c327cfacd
hostclaim: Commit follows probed only (Plan 3 Task 7, platform-1e m-2)
claude agent, operated by paul@keymail.dev
-
fa2f5ab89
host: the claim says whether a probe attempt admitted (Plan 3 Task 6 fix round 2)
claude agent, operated by paul@keymail.dev
-
1214e14ea
host, activator: the probe's pass and admissions survive a crash (Plan 3 Task 6 fix round 1)
claude agent, operated by paul@keymail.dev
-
e03233cec
host: the landing's probing and probed phases (Plan 3 Task 6, §7.6, §7.7, §7.13, H8, H10)
claude agent, operated by paul@keymail.dev
-
131f1d8ee
provision, host: MoveAdmit records the admitted probe attempts (Plan 3 Task 6, H10)
claude agent, operated by paul@keymail.dev
-
ba7aa3fb4
host: a restart is this landing's only with proof of descent (Plan 3 Task 5 fix round 2, finding 8)
claude agent, operated by paul@keymail.dev
-
1436fb079
activator: probe retirement and cancellation races (Plan 3 Task 5 fix round 1, findings 6, 7)
claude agent, operated by paul@keymail.dev
-
5e803ac7e
host: probe owners fix round 1 (Plan 3 Task 5, findings 1, 2, 3, 4, 8)
claude agent, operated by paul@keymail.dev
-
b02fd3b40
host: bind a probe session to one record attempt (Plan 3 Task 5 fix round 1, finding 5)
claude agent, operated by paul@keymail.dev
-
bd99ffdc0
copy gate: scan the probe wake, attempts and owners files (Plan 3 Task 5 fix round 1, finding 9)
claude agent, operated by paul@keymail.dev
-
d5407d02d
activator: ProbeWake, the probe as glue over the claim's admission path (Plan 3 Task 5a, H2, H18)
claude agent, operated by paul@keymail.dev
-
0f47cb508
host: the moves owners for a landing probe (Plan 3 Task 5c, H2, H12, H13, H14, H16, H18)
claude agent, operated by paul@keymail.dev
-
a2e6a2e1d
host: the moves probe attempts, bound to the record's attempt (Plan 3 Task 5b, H2, H10)
claude agent, operated by paul@keymail.dev
-
210b7d9bf
appconfig, release: the held render and the held release under the claim selection (Plan 3 Task 5, H13)
claude agent, operated by paul@keymail.dev
-
10511249c
host: the probe's policy rows and the session's continuing spawn (Plan 3 Task 5, H3, H4)
claude agent, operated by paul@keymail.dev