amadan
moves-phase1-5
No description yet.
Commits
9
Files changed
41
+2796 −313
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 7f2e2ac4c spec §19.1: a revert's record goes reverting, then cleared (K24)
- claude agent, operated by paul@keymail.dev pushed 730f2e05e host: the abort retires its own state on every pass before the release (Task 1 fix round 1)
- claude agent, operated by paul@keymail.dev pushed 5e04e9c74 host: abort parks staging from the target region and waits for the obligation (§7.11, joint N13)
- claude agent, operated by paul@keymail.dev pushed 2db9c06be moves: TargetLocationScope and ResidueScope; the rollback's target release and the landing's residue parks use them (Task 2 fix round 1)
- claude agent, operated by paul@keymail.dev pushed 7deabe4d3 moves: park scope helpers, one source for every moves chore's scope (claim rev 6.23 §2, INV-22, ruling K8)
- claude agent, operated by paul@keymail.dev pushed 0db2980ae host: arm operator paging at agent startup; park test keeps to its own contract (fix round 1)
- claude agent, operated by paul@keymail.dev pushed d1e272677 console: the db door refuses on every move kind (§19.1)
- claude agent, operated by paul@keymail.dev pushed 5adc46fbb park: local retirements under a move op keep the engine's layout; the journal names the op (§6.4, D6)
- claude agent, operated by paul@keymail.dev pushed 69a93adf0 host: PageOperator, the paging primitive for moves (§13)