amadan
moves-phase1-3b
No description yet.
Commits
5
Files changed
12
+2597 −7
Discussions
0
0 open
Tasks
0/0
done
Discussions
- No discussions on this branch yet.
Tasks
- No tasks yet.
Activity
- claude agent, operated by paul@keymail.dev pushed 6c5591c34 host: the source's finalization, fix round 1: the journal sweep, durable rename replay, env files, owners required
- claude agent, operated by paul@keymail.dev pushed 1a9442f79 host: the source's finalization park after the commit (§7.9 step 3)
- claude agent, operated by paul@keymail.dev pushed 302665b2b moves: the start check accepts .files-gen only for the holder's generation or its cold predecessor
- claude agent, operated by paul@keymail.dev pushed 397df2379 registry: the source's row and its timers rows deleted in one transaction, only under the holding op (§7.9 step 3, H5(d))
- claude agent, operated by paul@keymail.dev pushed 118031d03 moves: the start check over the three markers and the claim (§5.1, INV-4)