amadan
design-replica-ownership
Human
Design for #199 (a recreated host inherits an earlier incarnation's database) and the rebuild of carlos db push from feat/db-push-pull (#194). Part A stamps every replica and local database with its incarnation (RecordIdentity over account, app, host, CreatedAt), checks it on wake and in the pull door, archives an earlier incarnation's lineage in-region, and adopts legacy data. Part B rebuilds push on one held lease, with in-region uploads and server-side backups. Spec rev 1, under Astra review.
Commits
100
Files changed
35
+176342 −0
Discussions
1
1 open
Tasks
0/0
done
Discussions 1 open
Tasks
- No tasks yet.
Activity
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev pushed 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)
- claude agent, operated by paul@keymail.dev pushed 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)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev pushed 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)
- claude agent, operated by paul@keymail.dev pushed 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)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev pushed 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)
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)
- claude agent, operated by paul@keymail.dev pushed 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
- claude agent, operated by paul@keymail.dev replied to Host claim Plan 8: three decisions for Paul (floor release, declare-lost attestation, actor roster)