← Branches
feat/hostclaim-leases
Commits
-
ca5a79d8a
Merge origin/main (claim E, F, Plans 3, 4, 7 and fixes) into feat/hostclaim-leases
claude agent, operated by paul@keymail.dev
-
8159a6fb9
Merge remote-tracking branch 'origin/feat/hostclaim-boxguard' into feat/hostclaim-leases
claude agent, operated by paul@keymail.dev
-
695b6d38b
stopevidence: the unshared-thread test tolerates landing on the thread-group leader
claude agent, operated by paul@keymail.dev
-
9035f2ad5
hostclaim: admission retries compare the normalized predecessor region (Plan 8 fix round 2)
claude agent, operated by paul@keymail.dev
-
2f390d476
hostclaim: admission retries re-verify the declaration, recovery intent keeps exact integers, create-only retries compare canonical payloads (Plan 8 review round 1)
claude agent, operated by paul@keymail.dev
-
47043c9bb
cli, console: flag-gated declare-lost and readmit paths that refuse until Plan 8b (claim Plan 8 Task 4)
codex agent, operated by paul@keymail.dev
-
aa8b7023d
hostexec, hostguard, lease: the durable execution controller and independent writer checks (claim Plan 8 Task 3)
codex agent, operated by paul@keymail.dev
-
b4221923a
hostquarantine, awsinv, hostfence: quarantine interface, retirement receipt and exact compute observation (claim Plan 8 Task 2)
codex agent, operated by paul@keymail.dev
-
6cfc178f1
hostclaim, release: signed loss records, additive claim state and bound lost-box transitions (claim Plan 8 Task 1)
codex agent, operated by paul@keymail.dev
-
9fa604fdf
Merge remote-tracking branch 'origin/feat/hostclaim-r713' into feat/hostclaim-leases
claude agent, operated by paul@keymail.dev
-
a8555fb2e
Merge remote-tracking branch 'origin/main' into feat/hostclaim-leases
claude agent, operated by paul@keymail.dev
-
f0127321e
hostclaim: publication walks every entry, warm entries born covered, warm-region check restored (claim rev 6.22, joint round 13)
codex agent, operated by paul@keymail.dev
-
b0d6563a9
hostclaim: the moves spec's rev 7.13 notes (born covered under a pending park, CoverParkedPredecessors, live predecessor uncovered, additional_writes_lost)
codex agent, operated by paul@keymail.dev
-
8c40aca61
hostguard, stopevidence: per-task fd scan, durable idempotent retries, bounded filenames (Plan 3 review round 1)
claude agent, operated by paul@keymail.dev
-
01ed2bd9b
Merge remote-tracking branch 'origin/main' into feat/hostclaim-boxguard
claude agent, operated by paul@keymail.dev
-
4b67594b1
host: tmpfiles provisions /run/carlos/hostguard and /data/hostguard (claim Plan 3 Task 7)
codex agent, operated by paul@keymail.dev
-
8e90a399d
stopevidence: composite stop evidence and cleanup-only entry point (claim Plan 3 Task 6)
codex agent, operated by paul@keymail.dev
-
b3c19f903
stopevidence: complete /proc descriptor-holder scan, EACCES is incomplete (claim Plan 3 Task 5)
codex agent, operated by paul@keymail.dev
-
b4ff0e859
cgroup: reopen-only cleanup handle with no spawn authority (claim Plan 3 Task 4)
codex agent, operated by paul@keymail.dev
-
4c12aec5f
hostguard: cross-process exclusion, cancellation and lock lifetime tests (claim Plan 3 Task 3)
codex agent, operated by paul@keymail.dev
-
992dd4f46
hostguard: fresh-claim admission, activation and installation retirement under a context-aware flock (claim Plan 3 Task 2)
codex agent, operated by paul@keymail.dev
-
8975c3076
hostguard: the strict local record, capture and descriptor-relative atomic writes (claim Plan 3 Task 1)
codex agent, operated by paul@keymail.dev
-
47426cc18
hostclaim: coverage is per region (moves rev 7.12 note 5, claim rev 6.13)
codex agent, operated by paul@keymail.dev
-
34224a29a
hostclaim: holder.admissions, Coverage, PublishGeneration, Adopt writer_box (spec rev 6.12)
codex agent, operated by paul@keymail.dev
-
090fb7a2d
hostclaim: spec rev 6.10 admission (refuse creating, KeepStamp, sealed baseline, QueueGenerationRetire, @root)
codex agent, operated by paul@keymail.dev
-
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
-
a67d9f474
hostclaim: AdmitWriter replaces NewGeneration (writer sessions, spec rev 6.8 §6.4a)
codex agent, operated by paul@keymail.dev
-
cabbd4141
hostclaim: final review fixes (union write set, effective vs record region, CompleteCreate keeps authority, tests)
codex agent, operated by paul@keymail.dev
-
4d91a7448
hostclaim: the orphan predicate (record first, then claim; no claim = legacy)
codex agent, operated by paul@keymail.dev
-
5aaa1ac47
hostclaim: one helper builds parking chores for delete and adoption
codex agent, operated by paul@keymail.dev
-
c677ae68f
hostclaim: cold recovery installs a new generation and stamp (§6.4a, R7-1)
codex agent, operated by paul@keymail.dev
-
faa557312
hostclaim: one adoption routine, discovery chores and their completion (CC4, CC8)
codex agent, operated by paul@keymail.dev
-
5f8f1fccf
hostclaim: delete (CC11 over its write set, keeps exec), parking chores, completion and free
codex agent, operated by paul@keymail.dev
-
2aadfd904
hostclaim: CancelCreate refuses a claim carrying execution authority
codex agent, operated by paul@keymail.dev
-
ed1c2c96a
hostclaim: create (record body in intent, host-bound), complete (stamp) and cancel
codex agent, operated by paul@keymail.dev
-
8ef009916
hostclaim: op-id guard (C2) and the start guard (one op, CC11)
codex agent, operated by paul@keymail.dev
-
1ca5f371f
hostclaim: Update refuses a non-absent observation with no ETag (C5a)
codex agent, operated by paul@keymail.dev
-
5f2742405
hostclaim: strict Read and the single Update (central gen, host-bound, never delete)
codex agent, operated by paul@keymail.dev
-
ac0278b32
hostclaim: the claim object (schema v2), key, validation and incarnation
codex agent, operated by paul@keymail.dev
amadan