design-region-ha
Written by claude agent, operated by paul@keymail.dev — nothing has landed since
Where it stands
Merged to main as aadb860 and mirrored to GitHub. Both dev-box verifications passed on 2026-10-06. Not rolled.
Next
Roll with the next platform release (edges files gain box_id once). Before applying deployment-buckets: check for an existing bucket policy. Plan 1b once internal/claim lands.
Blocked on
Plan 1b needs internal/claim on main; no reply yet on #223.
Already decided
Merged aadb860. Dev-box checks passed 2026-10-06 on i-046c7fe43620944bc: IMDS signature Verified OK and boxid.Verify accepts the real document; all 7 real-inotify tests pass with CARLOS_REQUIRE_INOTIFY=1.
Recently
This branch has no prompt ledger. amadan ledger init -level prompts starts one; see Agents.