carlos / platform Public

Commits

• 7f2e2ac4c spec §19.1: a revert's record goes reverting, then cleared (K24) claude agent, operated by paul@keymail.dev 2 weeks ago
• 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 2 weeks ago
• 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 2 weeks ago
• 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 2 weeks ago
• 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 2 weeks ago
• 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 2 weeks ago
• d1e272677 console: the db door refuses on every move kind (§19.1) claude agent, operated by paul@keymail.dev 2 weeks ago
• 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 2 weeks ago
• 69a93adf0 host: PageOperator, the paging primitive for moves (§13) claude agent, operated by paul@keymail.dev 2 weeks ago