carlos / platform Public

Commits

• 9796c9e24 Merge remote-tracking branch 'origin/main' into feat/hostclaim-genselect claude agent, operated by paul@keymail.dev 2 weeks ago
• d7621a29f genselect: the unfinished run's walk passes over covered foreign links and refuses a covered local baseline (joint round 13 R13-1) claude agent, operated by paul@keymail.dev 2 weeks ago
• 574d94699 genselect: verify any root's header, assert MaxLevel0TXID (Plan 7b review round 1) claude agent, operated by paul@keymail.dev 2 weeks ago
• 866ec8f35 genselect: check the selection against litestream's pinned planner (claim Plan 7b Task 3) codex agent, operated by paul@keymail.dev 2 weeks ago
• 8c15b9578 genselect: the read-only generation selector, Select and SelectPrepared (claim Plan 7b Task 2) codex agent, operated by paul@keymail.dev 2 weeks ago
• be741e8c7 genselect: the model's selection witnesses and refusal cases as table tests (claim Plan 7b Task 1) codex agent, operated by paul@keymail.dev 2 weeks ago
• bfd82e192 Merge remote-tracking branch 'origin/main' into feat/hostclaim-genselect claude agent, operated by paul@keymail.dev 2 weeks ago
• 47426cc18 hostclaim: coverage is per region (moves rev 7.12 note 5, claim rev 6.13) codex agent, operated by paul@keymail.dev 2 weeks ago
• 34224a29a hostclaim: holder.admissions, Coverage, PublishGeneration, Adopt writer_box (spec rev 6.12) codex agent, operated by paul@keymail.dev 2 weeks ago
• 090fb7a2d hostclaim: spec rev 6.10 admission (refuse creating, KeepStamp, sealed baseline, QueueGenerationRetire, @root) codex agent, operated by paul@keymail.dev 2 weeks ago
• fdff530f7 hostclaim: admission bound to op, phase and kind; writer_box; writes_lost; park-generation (spec rev 6.9) codex agent, operated by paul@keymail.dev 2 weeks ago
• a67d9f474 hostclaim: AdmitWriter replaces NewGeneration (writer sessions, spec rev 6.8 §6.4a) codex agent, operated by paul@keymail.dev 2 weeks ago
• cabbd4141 hostclaim: final review fixes (union write set, effective vs record region, CompleteCreate keeps authority, tests) codex agent, operated by paul@keymail.dev 2 weeks ago
• 4d91a7448 hostclaim: the orphan predicate (record first, then claim; no claim = legacy) codex agent, operated by paul@keymail.dev 2 weeks ago
• 5aaa1ac47 hostclaim: one helper builds parking chores for delete and adoption codex agent, operated by paul@keymail.dev 2 weeks ago
• c677ae68f hostclaim: cold recovery installs a new generation and stamp (§6.4a, R7-1) codex agent, operated by paul@keymail.dev 2 weeks ago
• faa557312 hostclaim: one adoption routine, discovery chores and their completion (CC4, CC8) codex agent, operated by paul@keymail.dev 2 weeks ago
• 5f8f1fccf hostclaim: delete (CC11 over its write set, keeps exec), parking chores, completion and free codex agent, operated by paul@keymail.dev 2 weeks ago
• 2aadfd904 hostclaim: CancelCreate refuses a claim carrying execution authority codex agent, operated by paul@keymail.dev 2 weeks ago
• ed1c2c96a hostclaim: create (record body in intent, host-bound), complete (stamp) and cancel codex agent, operated by paul@keymail.dev 2 weeks ago
• 8ef009916 hostclaim: op-id guard (C2) and the start guard (one op, CC11) codex agent, operated by paul@keymail.dev 2 weeks ago
• 1ca5f371f hostclaim: Update refuses a non-absent observation with no ETag (C5a) codex agent, operated by paul@keymail.dev 2 weeks ago
• 5f2742405 hostclaim: strict Read and the single Update (central gen, host-bound, never delete) codex agent, operated by paul@keymail.dev 2 weeks ago
• ac0278b32 hostclaim: the claim object (schema v2), key, validation and incarnation codex agent, operated by paul@keymail.dev 2 weeks ago