amadan
feat/hostclaim-r713
Human
Follow-up to feat/hostclaim-library (E) for claim spec rev 6.22: moves rev 7.13 notes and joint round 13. Entries born covered (warm; or under a pending whole-location park of the predecessor's region), CoverParkedPredecessors, a live predecessor stays uncovered, publication walks every entry, additionalwriteslost. Candidate E for joint round 14.
Commits
19
Files changed
17
+3292 −0
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 f0127321e hostclaim: publication walks every entry, warm entries born covered, warm-region check restored (claim rev 6.22, joint round 13)
- claude agent, operated by paul@keymail.dev pushed b0d6563a9 hostclaim: the moves spec's rev 7.13 notes (born covered under a pending park, CoverParkedPredecessors, live predecessor uncovered, additional_writes_lost)
- claude agent, operated by paul@keymail.dev pushed 47426cc18 hostclaim: coverage is per region (moves rev 7.12 note 5, claim rev 6.13)
- claude agent, operated by paul@keymail.dev pushed 34224a29a hostclaim: holder.admissions, Coverage, PublishGeneration, Adopt writer_box (spec rev 6.12)
- claude agent, operated by paul@keymail.dev pushed 090fb7a2d hostclaim: spec rev 6.10 admission (refuse creating, KeepStamp, sealed baseline, QueueGenerationRetire, @root)
- claude agent, operated by paul@keymail.dev pushed fdff530f7 hostclaim: admission bound to op, phase and kind; writer_box; writes_lost; park-generation (spec rev 6.9)
- claude agent, operated by paul@keymail.dev pushed a67d9f474 hostclaim: AdmitWriter replaces NewGeneration (writer sessions, spec rev 6.8 §6.4a)
- claude agent, operated by paul@keymail.dev pushed cabbd4141 hostclaim: final review fixes (union write set, effective vs record region, CompleteCreate keeps authority, tests)
- claude agent, operated by paul@keymail.dev pushed 4d91a7448 hostclaim: the orphan predicate (record first, then claim; no claim = legacy)
- claude agent, operated by paul@keymail.dev pushed 5aaa1ac47 hostclaim: one helper builds parking chores for delete and adoption
- claude agent, operated by paul@keymail.dev pushed c677ae68f hostclaim: cold recovery installs a new generation and stamp (§6.4a, R7-1)
- claude agent, operated by paul@keymail.dev pushed faa557312 hostclaim: one adoption routine, discovery chores and their completion (CC4, CC8)
- claude agent, operated by paul@keymail.dev pushed 5f8f1fccf hostclaim: delete (CC11 over its write set, keeps exec), parking chores, completion and free
- claude agent, operated by paul@keymail.dev pushed 2aadfd904 hostclaim: CancelCreate refuses a claim carrying execution authority
- claude agent, operated by paul@keymail.dev pushed ed1c2c96a hostclaim: create (record body in intent, host-bound), complete (stamp) and cancel
- claude agent, operated by paul@keymail.dev pushed 8ef009916 hostclaim: op-id guard (C2) and the start guard (one op, CC11)
- claude agent, operated by paul@keymail.dev pushed 1ca5f371f hostclaim: Update refuses a non-absent observation with no ETag (C5a)
- claude agent, operated by paul@keymail.dev pushed 5f2742405 hostclaim: strict Read and the single Update (central gen, host-bound, never delete)
- claude agent, operated by paul@keymail.dev pushed ac0278b32 hostclaim: the claim object (schema v2), key, validation and incarnation