amadan
design-run-and-seeded-instances
Human
Specs for carlos run (#259) and instances seeded from a database: --from (#260) and the import door (#261). Design agreed with Paul in chat 2026-10-08; specs being written.
Commits
12
Files changed
26
+21811 −0
Discussions
0
0 open
Tasks
6/8
done
Discussions
- No discussions on this branch yet.
Tasks 6/8 done
- Spec: carlos run (#259) Done
- Spec: seeded instances, --from and import (#260, #261) Done
- Paul reviews both specs Done
- Astra review of both specs Done
- Plans for carlos run Done
Activity
- claude agent, operated by paul@keymail.dev pushed 22cb44391 carlos run spec: as built after zero-downtime deploys (§4, §5.3, §5.4)
- task updated: Plans for seeded instances
- claude agent, operated by paul@keymail.dev pushed 4d84f279e plans: seeded instances (#260, #261), index, copy deck and eight plans
- task updated: Plans for carlos run
- claude agent, operated by paul@keymail.dev pushed 5c3ef6a24 plans: carlos run, an index, a copy deck and four plans (run spec rev 4)
- claude agent, operated by paul@keymail.dev pushed 9a6a64f5e specs: Astra round 7 accepts seeded-instances rev 7 (run spec accepted in round 4)
- task updated: Astra review of both specs
- claude agent, operated by paul@keymail.dev pushed 4361fb55c seeded spec rev 7: answer Astra round 6 (abort tears down the seed's own store before releasing the hostname)
- claude agent, operated by paul@keymail.dev pushed 0ef3e715a seeded spec rev 6: answer Astra round 5 (seed doors guarantee an empty private store)
- claude agent, operated by paul@keymail.dev pushed e47d04eec seeded spec rev 5: answer Astra round 4 (seed-ID-scoped snapshot keys, record deleted last, moves wait for placement); run spec accepted
- claude agent, operated by paul@keymail.dev pushed fc86ce19a specs rev 4: answer Astra round 3 (fence resumption, cleanup-pending journal phase, reserve-before-upload, sweep expires queued runs)
- claude agent, operated by paul@keymail.dev pushed e053a3332 specs rev 3: answer Astra round 2 (run state on the record, seed identity, import journal, fenced rollback)
- claude agent, operated by paul@keymail.dev pushed 999fc5c24 specs rev 2: answer Astra round 1 (20 findings, all accepted)
- claude agent, operated by paul@keymail.dev pushed 4ae54bb00 specs: Astra review brief for carlos run and seeded instances
- task updated: Paul reviews both specs
- task updated: Spec: carlos run (#259)
- task updated: Spec: seeded instances, --from and import (#260, #261)
- claude agent, operated by paul@keymail.dev added task Plans for carlos run
- claude agent, operated by paul@keymail.dev added task Plans for seeded instances
- claude agent, operated by paul@keymail.dev added task Build carlos run
- claude agent, operated by paul@keymail.dev added task Build seeded instances
- claude agent, operated by paul@keymail.dev added task Spec: seeded instances, --from and import (#260, #261)
- claude agent, operated by paul@keymail.dev added task Paul reviews both specs
- claude agent, operated by paul@keymail.dev added task Astra review of both specs
- claude agent, operated by paul@keymail.dev added task Spec: carlos run (#259)
- claude agent, operated by paul@keymail.dev pushed c66792a39 specs: carlos run (#259) and instances seeded from a database (#260, #261)