carlos / platform Public

Commits

• c357902ee plan: claim Plan 15 rev 2 (batch origin proof in one traversal, O(N) with a counting witness at N=K=1000; bounded node reads; replay against moves' Task 8 integration with a real C8 provider) codex agent, operated by paul@keymail.dev 1 week ago
• 176ab5a7b plan: claim Plan 14 rev 4, Paul's targeted scope (full fixes for fences and claim authority, lease broker and migration, D3, readiness and settle, release denials, generation reservations and swap failures, settings and served evidence, capability grants, floors; 1,775 census rows frozen as accepted legacy; root-owned registry out of scope; about 31 work items) codex agent, operated by paul@keymail.dev 1 week ago
• 4a1127755 plan: claim Plan 15 rev 1, durable admitted-generation provenance (content-addressed node chain in the deployment store, head committed in the admission CAS, AdmittedOrigin read API, seeded from retained admissions; spec rev 6.35) codex agent, operated by paul@keymail.dev 1 week ago
• ad75a26cf plan: claim Plan 14 rev 3 (root-read census H3: every registry field and data-dir file read on root paths classified authority, hint or diagnostic, with digest discipline; fix tasks for capability grants, settings and good-version, readiness, and census-found families J1-J4; durable duplicate-health retry) codex agent, operated by paul@keymail.dev 1 week ago
• 303ae79f4 plan: claim Plan 14 rev 2 (Astra r1 and moves review: registry-independent proof observation, zdd generation and swap-failure authority, release→root-host→legacy-host lock order, durable descend retry, migration refuses during active moves, root-accepted floor projection with independent refresh, conservative floor reconstruction; integrated against moves' reviewed held-release tip; re-anchored on main 8916558d) codex agent, operated by paul@keymail.dev 1 week ago
• 97a75f650 plan: claim Plan 14 rev 1, root-trusted state out of /data (amadan #280): root-owned claim authority under /var/lib/carlos-claims/authority, root lease broker, root-owned D3 health history, release-history ledger and floor enforcement; offline idempotent migration; spec rev 6.34 codex agent, operated by paul@keymail.dev 1 week ago
• b14385460 spec: host lifecycle claim rev 6.33 (Plan 13: home-region naming; the engine keeps the verified roster name bound to @home on the verified home placement) codex agent, operated by paul@keymail.dev 1 week ago
• 11c01b9e3 plan: claim Plan 13 rev 2 (Astra r1: remote home history through the verified binding, binding carried through every moves engine, legacy-name compatibility, receipt and pre-flip comparisons through the alias; whole-plan sweep of placement vs engine comparisons; re-anchored on main 0715faca) codex agent, operated by paul@keymail.dev 1 week ago
• c82a060d8 plan: claim Plan 13 rev 1, home-region naming (the engine keeps a home box's verified roster name, bound to moves' @home on the verified local home placement; shared HomePlacementCode for the console door and BeginClaimMove; loss SourceRegion through PlacementRegion; spec rev 6.33) codex agent, operated by paul@keymail.dev 1 week ago
• 0fd83867c spec: host lifecycle claim rev 6.32 (Plan 12: J2(b) recovery handover evidence, J5 fenced-target release, RunHeld and the M6 lease set, retired-location census, cross-region materialisation per §6.6 P6-D3) codex agent, operated by paul@keymail.dev 1 week ago
• 5c4718ec5 plan: claim Plan 12 rev 3 (Astra r2 and moves re-check: restore baseline separate from frozen loss maxima, ReleaseFencedTarget records Lost/LossRefs/AutomaticLoss atomically, StopInventoryDB before Prelaunch, authenticated never-admitted stop path, consumed fence independent of the live roster, grant-bound lost-target stamp; re-anchored on main e79d71b5) codex agent, operated by paul@keymail.dev 2 weeks ago
• 754d6f839 plan: claim Plan 12 rev 2 (Astra r1 and moves review: TargetReleased session evidence, ReleaseFencedTarget with record_seq and a box fence verifier, loss before first admission, one-time loss consumption, recovery source retirement (M21), old-region and qualified retired-location labels, free-host lane proof; tests compiled and run in a scratch export) codex agent, operated by paul@keymail.dev 2 weeks ago
• 7facdb61d plan: claim Plan 12 rev 1, moves integration completion (M2 loss-bound admission, M12/J5 target fence declaration, M3 recovery cross-box handover, M5 RunHeld and M6 lease-set contract, M7 retired-location census, M9 local authorizer, spec rev 6.32) codex agent, operated by paul@keymail.dev 2 weeks ago
• b577afb7f plan: claim Plan 10 rev 6 (review r3: recovery probe keeps its generation, held probes survive adopted bounce and convergence, abort recovery releases with ReleaseAbort; re-anchored on main 75618480) codex agent, operated by paul@keymail.dev 2 weeks ago
• b56164559 plan: claim Plan 11 rev 4 (review r3 plus 9-CG: root-derived containment parent, prefix-aware writers-stopped, strict sidecar inspection, mask identity) and Plan 10 rev 5 (G2 accessors, committed-wake input dispatch) codex agent, operated by paul@keymail.dev 2 weeks ago
• 9ed74832e plan: claim Plan 10 rev 4 (moves cleanup authority: park registration and engine accessor, move-recovery grant via Recovery.Moves, recovery-path B8 settlement, sweep precondition; applied onto main) codex agent, operated by paul@keymail.dev 2 weeks ago
• 0df82f5bb plan: claim Plan 11 rev 3 (review r2: tenant-exec boundary check, prefix-covering no-process witness, tenant-child verification, claim-launch artifact cleanup on flag-off) codex agent, operated by paul@keymail.dev 2 weeks ago
• 44ac8e12f plan: claim Plan 11 rev 2 (review r1: root verifies the reservation against the authoritative attempt, rechecks local authority before launch, validates shape before admission, bounded namespace wait) codex agent, operated by paul@keymail.dev 2 weeks ago
• 76d96feef spec: claim rev 6.31 (evidence_refs, relocation-release obligation, §6.2a binds moves' parks, R6 ruling); plan: claim Plan 11 rev 1, region HA integration (R1-R5, R8 narrowed, R10, enrolled_at) codex agent, operated by paul@keymail.dev 2 weeks ago
• d3bcbb71a plan: claim Plan 10 rev 3 (review r2: supervised held recovery probes under the cut fence, legacy cut identity in declarations) codex agent, operated by paul@keymail.dev 2 weeks ago
• 47cc648f1 plan: claim Plan 10 rev 2 (review r1: move-bound console grant, lost-target park-local, §7.3 D5 local-only discharge; clean-return recovery inputs; Group D recovery wiring) codex agent, operated by paul@keymail.dev 2 weeks ago
• c4881b8d7 plan: claim Plan 10 rev 1, moves recovery probes (J2), hostresolve per-kind owner (J4, Paul-approved), console move grants (J17) codex agent, operated by paul@keymail.dev 2 weeks ago
• 6b31d8b91 plan: claim Plan 9 rev 6 (review round 2: sealed SQL handles before commit, uncertain journal replay, first-wake admin token, D4 task order) codex agent, operated by paul@keymail.dev 2 weeks ago
• 4dba3afc2 plan: claim Plan 9 rev 5, Paul's six rulings as complete tasks (ingest SQL authority, root journal service, signed remote reset, box-writer roles, pending-controller recovery, arm-publish-flag order) and the Carloku rollout milestones codex agent, operated by paul@keymail.dev 2 weeks ago
• 765fdca06 plan: claim Plan 9 rev 4 (record_seq in provision record writers with a writer census; A2 fix) codex agent, operated by paul@keymail.dev 2 weeks ago
• f6ad20128 plan: claim Plan 9 rev 3 (B8 record_seq fencing with an ABA regression) codex agent, operated by paul@keymail.dev 2 weeks ago
• 683253ac0 plan: claim Plan 9 rev 2 (review r1, Task B8 ResolveMoveStart, Group D moves C1 integration with interface signatures) codex agent, operated by paul@keymail.dev 2 weeks ago
• 3a5ae7aad plan: claim Plan 9 rev 1, activation readiness (amadan #250: arming blockers, activation blockers, rollout order) codex agent, operated by paul@keymail.dev 2 weeks ago
• 108ca1617 plan: claim Plan 5 rev 6, Tasks 7-9 (review round 4: gated mail delivery, strict purge inventories, schema 0/1 domain claims) codex agent, operated by paul@keymail.dev 2 weeks ago
• 0f188ce2c plan: claim Plan 6b rev 6, review round 5 (flag-off fingerprints, root unit configuration, installer-derived census), full suites run codex agent, operated by paul@keymail.dev 2 weeks ago
• d8e422839 plan: claim Plan 5 rev 5, Tasks 7-9 (review round 3: incarnation-bound mutations, mail closure, strict inventories, census fixtures; moves' C7 intent) codex agent, operated by paul@keymail.dev 2 weeks ago
• 38f176ccc plan: claim Plan 6b rev 5, review round 4 (adopt-helper test, production census paths), refreshed onto 3407d114 codex agent, operated by paul@keymail.dev 2 weeks ago
• 307bfa16a plan: claim Plan 5 rev 4, Tasks 7-9: a structural app gate (admission-bound store and DB wrapper, exhaustive route test) for review round 2 codex agent, operated by paul@keymail.dev 2 weeks ago
• 5b34fe787 plan: claim Plan 6b rev 4, review round 3 (isolated launches carry the reservation; handover authorizes the recorded predecessor) codex agent, operated by paul@keymail.dev 2 weeks ago
• 79a2ff27b plan: claim Plan 6b rev 3 (review round 2, three P2) and Plan 5 rev 3 (Tasks 7-9, review round 1: three P1, four P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• 5cab972d3 plan: claim Plan 6b rev 2, answers review round 1 (four P2) and rebases on main codex agent, operated by paul@keymail.dev 2 weeks ago
• 2d67ec479 plan: claim Plan 5 rev 2, Tasks 5-9 against spec rev 6.30 (C5 and C7 first as a slice) codex agent, operated by paul@keymail.dev 2 weeks ago
• 50964eb7d plan: claim Plan 6b rev 1, production assembly of the box wiring (Opus I1-I3, M5; review findings 1-4) codex agent, operated by paul@keymail.dev 2 weeks ago
• 9acdb524a plan: claim Plan 8b rev 5.1, the incomplete-pair test uses release.Store.Delete(ctx, key) claude agent, operated by paul@keymail.dev 2 weeks ago
• b399eaf81 plan: claim Plan 8b rev 5, legacy updates need both floor objects absent (review round 4) claude agent, operated by paul@keymail.dev 2 weeks ago
• 36620d3d0 plan: claim Plan 8b rev 4, answers review round 3 (three P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• f610d78e1 plan: claim Plan 8b rev 3, answers review round 2 (four P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• 408bcb3e0 plan: claim Plan 8b rev 2, answers the review (one P1, six P2), aligned with claim rev 6.30 codex agent, operated by paul@keymail.dev 2 weeks ago
• 6df728cb5 plan: claim Plan 6 rev 4, answers the rev 3 review (two P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• 222773326 plan: claim Plan 6 rev 3, answers the rev 2 review (two P1, ten P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• c3923c640 plan: claim Plan 8b rev 1, the floor, the roster, the census and live lost-box wiring codex agent, operated by paul@keymail.dev 2 weeks ago
• 73b1b9dcf spec: host lifecycle claim rev 6.30, joint round 18 (R18-1 to R18-3) claude agent, operated by paul@keymail.dev 2 weeks ago
• 678c32e13 plan: claim Plan 6 rev 2, Tasks 6-11 against claim rev 6.27 and the moves Phase 1 index codex agent, operated by paul@keymail.dev 2 weeks ago
• 5f0fa3b4c spec: host lifecycle claim rev 6.29, the two-box model gates relocation, not moves claude agent, operated by paul@keymail.dev 2 weeks ago
• 4ffe8a0d7 spec: host lifecycle claim rev 6.28, region HA L1-L20 adopted at their sections claude agent, operated by paul@keymail.dev 2 weeks ago
• 989ee349b spec: host lifecycle claim rev 6.27, Paul's rulings on #236 claude agent, operated by paul@keymail.dev 2 weeks ago
• 98b45332a spec: host lifecycle claim rev 6.26, joint round 17 R17-2 (clean round) claude agent, operated by paul@keymail.dev 2 weeks ago
• 413b12cbd spec: host lifecycle claim rev 6.25, the moves spec's rev 7.17 notes claude agent, operated by paul@keymail.dev 2 weeks ago
• 0b8218969 spec: host lifecycle claim rev 6.24, joint round 16 (R16-1, R16-3) claude agent, operated by paul@keymail.dev 2 weeks ago
• 876d69083 spec: host lifecycle claim rev 6.23, joint round 15 (R15-1) claude agent, operated by paul@keymail.dev 2 weeks ago
• 050b331ff plan: claim Plan 8 rev 5, answers review round 4 (one P2, one P3) codex agent, operated by paul@keymail.dev 2 weeks ago
• a3da699d6 plan: claim Plan 8 rev 4, answers review round 3 (one P1, one P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• c3ea8fbd7 plan: claim Plan 7b rev 3, the run walk across regions (joint round 13 R13-1) claude agent, operated by paul@keymail.dev 2 weeks ago
• 0bf2f49f5 spec: host lifecycle claim rev 6.22, joint round 13 (R13-1 to R13-3) claude agent, operated by paul@keymail.dev 2 weeks ago
• 66b3021da spec: host lifecycle claim rev 6.21, the moves spec's rev 7.13 notes claude agent, operated by paul@keymail.dev 2 weeks ago
• 10058aa1e plan: claim Plan 8 rev 3, answers review round 2 (one P1, two P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• 69eb17cb0 plan: claim Plan 8 rev 2, answers the independent review (one P1, two P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• 8ca9d3db0 spec: host lifecycle claim rev 6.20, proposed §7.3 refinements from Plan 8's review claude agent, operated by paul@keymail.dev 2 weeks ago
• 6b6df8b7b plan: claim Plans 5 and 6 rev 1, answers their independent reviews codex agent, operated by paul@keymail.dev 2 weeks ago
• 1eacbf835 plan: claim Plan 8 rev 1, the claim-internal contracts with complete code codex agent, operated by paul@keymail.dev 2 weeks ago
• 8b8c9efb3 spec: host lifecycle claim rev 6.19, PROPOSED §6.6 box-side contracts claude agent, operated by paul@keymail.dev 2 weeks ago
• 2e195a8ae plan: claim Plan 6 rev 0 (draft), box wiring codex agent, operated by paul@keymail.dev 2 weeks ago
• 3621aae79 spec: host lifecycle claim rev 6.18, PROPOSED §5.9 console operation contracts claude agent, operated by paul@keymail.dev 2 weeks ago
• 7af421111 plan: claim Plan 5 rev 0 (draft), console operations codex agent, operated by paul@keymail.dev 2 weeks ago
• 70850ba40 spec: host lifecycle claim rev 6.17, PROPOSED contracts for leases, lost boxes and the floor claude agent, operated by paul@keymail.dev 2 weeks ago
• 641ac2c50 plan: claim Plan 4 rev 3, umask-independent directory modes codex agent, operated by paul@keymail.dev 2 weeks ago
• 498d22151 plan: claim Plan 8 rev 0 (draft), leases, lost boxes and the floor codex agent, operated by paul@keymail.dev 2 weeks ago
• c1e67128d plan: claim Plan 4 rev 2, answers the independent review (one P1, three P2) codex agent, operated by paul@keymail.dev 2 weeks ago
• 1915bac22 spec: host lifecycle claim rev 6.16, box references are opaque unique identifiers (#212) claude agent, operated by paul@keymail.dev 2 weeks ago
• 85aa53f89 plan: claim Plan 7b rev 2, SelectPrepared for prepared restores codex agent, operated by paul@keymail.dev 2 weeks ago
• 72435d381 plan: claim Plan 4 rev 1, the park engine codex agent, operated by paul@keymail.dev 2 weeks ago
• fd07437a9 spec: host lifecycle claim rev 6.15, park scope and the holderless sweep claude agent, operated by paul@keymail.dev 2 weeks ago
• 3e4b7d54e plan: claim Plan 7b rev 1, the shared generation selector (internal/genselect) codex agent, operated by paul@keymail.dev 2 weeks ago
• 6319e054e plan: claim Plan 7 rev 3, the flag-off test seeds its replica and clears Range claude agent, operated by paul@keymail.dev 2 weeks ago
• cde34eeab plan: claim Plan 7 rev 2, flag-off ignores the handle header as today claude agent, operated by paul@keymail.dev 2 weeks ago
• 139378b2f plan: claim Plan 7 rev 1, the pull door (O1/O2 bracket, signed exact-version handles) codex agent, operated by paul@keymail.dev 2 weeks ago
• f9b7911e8 plan: claim Plan 3 rev 2, no ownership changes, descriptor-relative I/O codex agent, operated by paul@keymail.dev 2 weeks ago
• 1a5b15aae plan: claim Plan 3 rev 1, box-local guard and stop evidence codex agent, operated by paul@keymail.dev 2 weeks ago
• dc1460583 spec: host lifecycle claim rev 6.14, joint round 12 (R12-4, R12-6) claude agent, operated by paul@keymail.dev 2 weeks ago
• f8b9ae7f1 plan: claim Plan 2 rev 4, Codex round 3 claude agent, operated by paul@keymail.dev 2 weeks ago
• 58e335523 plan: claim Plan 2 rev 3, Codex round 2 claude agent, operated by paul@keymail.dev 2 weeks ago
• b38258272 spec: host lifecycle claim rev 6.13, the moves spec's rev 7.12 notes claude agent, operated by paul@keymail.dev 2 weeks ago
• 06d21bfd3 plan: claim Plan 2 rev 2, after Codex's review claude agent, operated by paul@keymail.dev 2 weeks ago
• f2454b4e0 plan: host lifecycle claim Plan 2, versioned storage primitives claude agent, operated by paul@keymail.dev 2 weeks ago
• b202ea4e1 spec: host lifecycle claim rev 6.12, joint round 11 claude agent, operated by paul@keymail.dev 2 weeks ago
• 63255a3cd spec: host lifecycle claim rev 6.11, the moves spec's rev 7.11 notes claude agent, operated by paul@keymail.dev 2 weeks ago
• 3f916b05a spec: host lifecycle claim rev 6.10, joint round 10 claude agent, operated by paul@keymail.dev 2 weeks ago
• c1a9c48ed spec: host lifecycle claim rev 6.9.1, the moves session's rev 7.10 readings claude agent, operated by paul@keymail.dev 2 weeks ago
• f6180ae47 spec: host lifecycle claim rev 6.9, no local DB reuse (Paul R6), joint round 9 claude agent, operated by paul@keymail.dev 2 weeks ago
• 054fb6031 spec: host lifecycle claim rev 6.8.2, the moves session's rev 7.9 readings claude agent, operated by paul@keymail.dev 2 weeks ago
• a963d98d9 spec: host lifecycle claim rev 6.8.1, only op.exec may open replication claude agent, operated by paul@keymail.dev 3 weeks ago
• 5462d293a spec: host lifecycle claim rev 6.8, writer sessions (joint round 8) claude agent, operated by paul@keymail.dev 3 weeks ago
• f9df7641d spec: host lifecycle claim rev 6.7, the moves session's notes on writer epochs claude agent, operated by paul@keymail.dev 3 weeks ago
• d2e83b3be plan: Plan 1 rev 5, Task 6a NewGeneration (cold recovery, spec rev 6.6) claude agent, operated by paul@keymail.dev 3 weeks ago
• b10547e12 spec: host lifecycle claim rev 6.6, writer epochs (R7-1, amadan #225) claude agent, operated by paul@keymail.dev 3 weeks ago