carlos / platform Public

Clone
git clone https://amadan.net/carlos/platform

Plain git — no account needed to clone.

Download

Download this file

1# Astra: region HA spec 2, round 2
2
3Rev 2 answers your round 1 (`CODEX-FINDINGS-REGION-HA-SPEC2-1.md`). §14 maps each finding.
4
5**Judge:**
61. Is each round-1 finding closed? Give a disposition table first.
72. The new mechanisms, in particular:
8 - **Joining mode (§5).** Can a joining box ever admit, serve or be referenced? Does the confirm, invite, guard-ready, enrol, hosting sequence satisfy `internal/hostactors` (enroll, invitation, membership, references) and `internal/host/claimproduction.go` exactly?
9 - **Pending create kept outside the claim (§7).** Does it keep H4 without any claim change? Are there races between the console's placement pass and the create door?
10 - **The NLB sequence (§9):** zone B only, then `SetSubnets` adding zone A with the existing EIP, then the rollback that removes the mapping.
11 - **The health answer's five conditions (§6).**
123. Anything new. Report only new items after the table.
13
14Give findings P1/P2/P3 with file:line and a failure scenario. End with a verdict.
15