| 1 | **A8-1 is only partially closed; A8-2 remains blocked. Four new P2 findings:** |
| 2 | |
| 3 | 1. **P2 — A roster-refresh wait does not settle box-side requests.** |
| 4 | [Spec:310](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/docs/superpowers/specs/2026-10-15-region-ha-two-box-regions-design.md:310) |
| 5 | |
| 6 | A relocation starter can pass eligibility and roster checks, then pause before writing its claim. [`Worker.Start`](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/internal/hostrelocate/worker.go:341) performs census and admission work between those checks and the start CAS; refreshing the roster elsewhere does not invalidate that request. |
| 7 | |
| 8 | **Failure scenario:** the old box is drained, the interval expires, and the claim scan passes. The paused starter then writes an inbound relocation, repopulating the box after settlement. Require acknowledged quiescence of outstanding starters, or an admission mechanism that prevents their late writes. Elapsed time alone is insufficient. |
| 9 | |
| 10 | 2. **P2 — The normal activator wake refuses a never-woken claim.** |
| 11 | [Spec:314](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/docs/superpowers/specs/2026-10-15-region-ha-two-box-regions-design.md:314) |
| 12 | |
| 13 | [`CompleteCreate`](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/internal/hostclaim/create.go:132) sets `op.exec` but leaves `Holder.Session == 0` and `Holder.WriterBox == ""`. For a serving claim, [`doClaimWake`](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/internal/activator/claimwake.go:182) replaces the executor with `Holder.WriterBox` and refuses unless it matches the local box—before writer admission. |
| 14 | |
| 15 | **Failure scenario:** every platform wake of this freshly created state fails, so migration still cannot relocate it. Make first-wake admission support an explicit prerequisite or change, and rehearse from an actual completed-create claim. The current path fails closed; it does not provide the proposed workaround. |
| 16 | |
| 17 | 3. **P2 — The pre-migration barrier requires migration to have already finished.** |
| 18 | [Spec:358](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/docs/superpowers/specs/2026-10-15-region-ha-two-box-regions-design.md:358) |
| 19 | |
| 20 | The barrier requires no claim to name the box, including `op.exec`, before waking and relocating its existing instances. |
| 21 | |
| 22 | **Failure scenario:** one ordinary serving instance keeps the barrier false indefinitely; the relocation that would remove it is the next, unreachable step. Separate settling inbound operations from the final emptiness check. Existing residents must be admitted to the migration worklist. |
| 23 | |
| 24 | 4. **P2 — “No box references in any role” can never clear after successful relocation.** |
| 25 | [Spec:302](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/docs/superpowers/specs/2026-10-15-region-ha-two-box-regions-design.md:302) |
| 26 | |
| 27 | Claims retain historical box references. Creation adds the executor to `Touched.Boxes`; relocation [adds the destination without removing the source](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/design-region-ha-two-box/internal/hostclaim/relocation.go:845). Admission history also retains earlier writers. |
| 28 | |
| 29 | **Failure scenario:** all instances relocate successfully and local cleanup finishes, but their claims still name the old box, permanently blocking cut-over and termination. Classify references by whether they can authorize future execution or require outstanding cleanup; preserve historical references without treating them as destinations. The coverage test should enforce that classification. |
| 30 | |
| 31 | Reviewed platform `83de75a7` and flagship tofu `7c99ff8f`. No files changed; no builds, tests, or infrastructure commands run. |
| 32 | |
| 33 | --- |
| 34 | |
| 35 | **FIRST PROMPT:** |
| 36 | Review spec 2 round 9 at the pinned HEAD against flagship tofu, read-only. |
| 37 | |
| 38 | **WHAT:** |
| 39 | Check both prior findings and the revised settlement and wake rules. |
| 40 | |
| 41 | **STATUS:** |
| 42 | Complete; four P2 findings. |
| 43 | |
| 44 | **NEEDED:** |
| 45 | Nothing. |
| 46 | |
| 47 | **RECOMMENDED:** |
| 48 | Resolve the settlement protocol and first-wake prerequisite before planning. |
| 49 | |
| 50 | **SESSION:** |
| 51 | Safe to close; nothing modified or left running. |
| 52 | |
| 53 | **Verdict: not ready for a plan.** |
amadan