design-region-ha
Human
Region HA. Spec 1 (box placement) approved with rulings H1-H9. Plan 1a, the foundations that need no host lifecycle claim, is BUILT: 11 tasks, each reviewed, plus a whole-branch review and one fix wave; CI green at e689e4bb. It is all dormant on today's one-box regions: new packages internal/boxid, internal/hostfiles, internal/termfence; additive edges-file fields; home map ordered by stamp; console box choice; registry ReplaceTimers; activator install marker; tofu module changes (not applied). Awaiting Paul's review and merge. Plan 1b waits for the claim's code. Claim/moves changes requested in #223.
Commits
46
Files changed
77
+14754 −13
Discussions
1
0 open
Tasks
0/0
done
Discussions 0 open
- No discussions on this branch yet.
Tasks
- No tasks yet.
Activity
- claude agent, operated by paul@keymail.dev replied to Region HA needs eleven changes from the host lifecycle claim and move-any-app (K1-K11)
- claude agent, operated by paul@keymail.dev pushed 2237cbe13 Merge remote-tracking branch 'origin/main' into design-region-ha
- claude agent, operated by paul@keymail.dev pushed e689e4bbb plan: region HA 1a, what the build changed and what plan 1b picks up
- claude agent, operated by paul@keymail.dev pushed 60cc332c4 infra: the box-records bucket policy waits for the bucket's public access block
- claude agent, operated by paul@keymail.dev pushed bbb2bb616 host: the edges file's box_id is the box's label on every box, as the spec keeps it for boxes that predate region HA
- claude agent, operated by paul@keymail.dev pushed 0ecc893d1 hostfiles: the rate-limit tests count over twenty polling periods with bounds no loaded runner can cross
- claude agent, operated by paul@keymail.dev pushed 6c8571d17 hostfiles: restore refuses an entry whose object, hash or size is not one this package could have written, before touching anything
- claude agent, operated by paul@keymail.dev pushed 55af28767 hostfiles: a commit whose response was lost is recognised even after later stages change the manifest
- claude agent, operated by paul@keymail.dev pushed 3a4ce1c43 infra: a termination queue per region, and box records that storage will not let anyone rewrite
- claude agent, operated by paul@keymail.dev pushed abe7fc20a activator: an installation-complete marker, and the rule for trusting a local copy
- claude agent, operated by paul@keymail.dev pushed 4de08af3f termfence: only a terminated state, for the box's own verified instance, is a fence
- claude agent, operated by paul@keymail.dev pushed 6f4ac2737 hostfiles: importing wake state for a host with no route writes nothing
- claude agent, operated by paul@keymail.dev pushed 94b80df8f hostfiles: a host's timers, next wake and replication class travel with its files
- claude agent, operated by paul@keymail.dev pushed 2501d73ef hostfiles: repair and failing scans retry once per poll and log transitions; zero options take defaults
- claude agent, operated by paul@keymail.dev pushed 243b0c9ca hostfiles: a changed file is published a second after its first change, open or not
- claude agent, operated by paul@keymail.dev pushed a550cbdca hostfiles: SyncDir stages a directory's differences, and never follows a link
- claude agent, operated by paul@keymail.dev pushed 4517c98c5 hostfiles: a failed re-read after a lost commit response is retried, not treated as superseded
- claude agent, operated by paul@keymail.dev pushed f75a460b1 hostfiles: a lost commit response is not a supersede, restore masks modes and resolves overlapping entries
- claude agent, operated by paul@keymail.dev pushed 91de8c49c hostfiles: immutable objects and one manifest decide which file content is current
- claude agent, operated by paul@keymail.dev pushed e9246bda7 edge: two boxes claiming one host are settled by the newer installation's stamp
- claude agent, operated by paul@keymail.dev pushed 2ca53cd3c console: eligible boxes, one at a time, and a choice that spreads an app
- claude agent, operated by paul@keymail.dev pushed 5447e3f0b edges: headroom is published only with the HA capability, and the meminfo parser lives in one file
- claude agent, operated by paul@keymail.dev pushed c4ce3a8fa edges: a box publishes its id, the HA capability, draining and headroom
- claude agent, operated by paul@keymail.dev pushed fff400c0b boxid: a box record verifies only under AWS's signature, for its own instance
- claude agent, operated by paul@keymail.dev pushed 7b43f1917 plan: region HA 1a, Astra plan round 5: ready to build
- claude agent, operated by paul@keymail.dev pushed d1c17e059 plan: region HA 1a rev 5, answering Astra plan round 4 (LoadWake)
- claude agent, operated by paul@keymail.dev pushed f02adbada plan: region HA 1a, Astra plan round 4 findings (unedited)
- claude agent, operated by paul@keymail.dev pushed 6e13c7750 plan: region HA 1a rev 4, answering Astra plan round 3 with dry-run code
- claude agent, operated by paul@keymail.dev pushed 065bb9ead plan: region HA 1a, Astra plan round 3 findings (unedited)
- claude agent, operated by paul@keymail.dev pushed 805894fc9 plan: region HA 1a rev 3, answering Astra plan round 2 with dry-run code