amadan
Astra stage B plan round 8: unedited
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 file changed,
+36
−0
docs/superpowers/plans/CODEX-PLAN-REGION-HA-STAGE-B-R8.md+36 −0
diff --git a/docs/superpowers/plans/CODEX-PLAN-REGION-HA-STAGE-B-R8.md b/docs/superpowers/plans/CODEX-PLAN-REGION-HA-STAGE-B-R8.md| new file mode 100644 |
| index 000000000..2fe0b7898 |
| --- /dev/null |
| +++ b/docs/superpowers/plans/CODEX-PLAN-REGION-HA-STAGE-B-R8.md |
| @@ -0,0 +1,36 @@ |
| +Reviewed HEAD `e3c8d799`; the plan is unchanged from rev 5.2 at `3a9309d6`. |
| + |
| +1. **P2 — Disabling the completion pass leaves an unconditional barrier with no operator recovery path.** [Plan:14160](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/region-ha-1b-next-build/docs/superpowers/plans/2026-10-10-region-ha-1b-next-stage-b.md:14160) |
| + After A→B completes, let the discharge mark fail, then restart B with `CARLOS_REGION_HA` off. `NewRelocationRuntime` returns nil, so completion recovery never runs. However, [StartGuard:2799](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/region-ha-1b-next-build/docs/superpowers/plans/2026-10-10-region-ha-1b-next-stage-b.md:2799) still rejects moves, deletes, purges and placements indefinitely—even if participation was already discharged and the host serves normally. |
| + |
| + A live B satisfies neither exemption. The existing resolve API [refuses loss declarations when host claims are enabled](/home/paulca/amadan.net/carlos/platform/.claude/worktrees/region-ha-1b-next-build/internal/console/apihostclaim.go:108); its underlying serving-state resolver only handles destroyed-local chores. There is no completion-resolution path here. Recovery requires restoring B’s pass or terminating B and using failover. |
| + |
| + Keep completion recovery available after disabling relocation, and provide an evidence-checked operator recovery path when that pass cannot return. Add a regression covering a failed mark followed by restart with region HA off. Simply bypassing the barrier would reopen round 7’s participation conflict. |
| + |
| +Both specific round 7 findings are closed **while the completion runtime runs**: retries are discovered from the claim record, and successor moves now share the barrier. |
| + |
| +C12 affects claims with outstanding completion records even when region HA is off. Claims that never completed a relocation remain unaffected. No other new findings identified in this confirming review. |
| + |
| +**Verdict: not ready to build unchanged.** |
| + |
| +Static review only; no tests executed or files changed. |
| + |
| +--- |
| + |
| +**FIRST PROMPT:** |
| +“Follow the review brief docs/superpowers/plans/CODEX-PLAN-REGION-HA-STAGE-B-BRIEF-8.md. Review the plan at its branch HEAD (plan rev 5.2 at 3a9309d6).” |
| + |
| +**WHAT:** |
| +Confirm the round 7 fixes and review completion recovery. |
| + |
| +**STATUS:** |
| +Complete: one P2 finding. |
| + |
| +**NEEDED:** |
| +Nothing. |
| + |
| +**RECOMMENDED:** |
| +Add completion recovery independent of the relocation flag and test the disabled-pass case. |
| + |
| +**SESSION:** |
| +Safe to close. Workspace unchanged; read-only permissions prevented saving the handoff file. |
| \ No newline at end of file |