amadan
Astra brief: region HA spec 2, round 2
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 file changed,
+14
−0
docs/superpowers/specs/CODEX-REVIEW-BRIEF-REGION-HA-SPEC2-2.md+14 −0
CI cancelled — superseded by a newer push — run details
CI log
=== gate === cd launchctx && go vet ./... && go test ./... -count=1 ok amadan.net/carlos/platform.git/launchctx 0.011s ? amadan.net/carlos/platform.git/launchctx/controlname [no test files] ? amadan.net/carlos/platform.git/launchctx/wireid [no test files] go vet ./... gofmt -l .: clean go test ./... -count=1 -timeout 30m ok github.com/carlosframework/platform 297.484s ? github.com/carlosframework/platform/cmd/changelog [no test files] ok github.com/carlosframework/platform/cmd/console 2.823s ok github.com/carlosframework/platform/cmd/moveprobe 93.274s ok github.com/carlosframework/platform/cmd/zddprobe 0.718s ok github.com/carlosframework/platform/internal/activator 249.797s ok github.com/carlosframework/platform/internal/agentsock 0.023s ok github.com/carlosframework/platform/internal/alerting 0.006s ok github.com/carlosframework/platform/internal/analytics 0.028s ok github.com/carlosframework/platform/internal/appconfig 2.513s ok github.com/carlosframework/platform/internal/apperr 0.106s ok github.com/carlosframework/platform/internal/applog 0.155s ok github.com/carlosframework/platform/internal/awsinv 0.008s ok github.com/carlosframework/platform/internal/boxchoice 0.007s ok github.com/carlosframework/platform/internal/boxid 0.951s ? github.com/carlosframework/platform/internal/boxid/boxidtest [no test files] ? github.com/carlosframework/platform/internal/boxid/internal/signtest [no test files] ok github.com/carlosframework/platform/internal/boxvolumes 0.008s ok github.com/carlosframework/platform/internal/caps 0.012s ok github.com/carlosframework/platform/internal/certwarm 0.002s ok github.com/carlosframework/platform/internal/cgroup 0.714s ok github.com/carlosframework/platform/internal/changelog 0.315s ok github.com/carlosframework/platform/internal/clamd 0.060s ? github.com/carlosframework/platform/internal/cliflag [no test files] ok github.com/carlosframework/platform/internal/console 389.082s ? github.com/carlosframework/platform/internal/controlname [no test files] ? github.com/carlosframework/platform/internal/controlsock [no test files] ok github.com/carlosframework/platform/internal/dbdoor 6.295s ok github.com/carlosframework/platform/internal/dbdoor/dbdoortest 0.011s ok github.com/carlosframework/platform/internal/dbverify 0.004s ok github.com/carlosframework/platform/internal/dnsrec 0.005s ok github.com/carlosframework/platform/internal/docsite 0.008s ok github.com/carlosframework/platform/internal/domains 2.414s ok github.com/carlosframework/platform/internal/doorkey 0.011s ok github.com/carlosframework/platform/internal/economics 0.004s ok github.com/carlosframework/platform/internal/edge 26.533s ? github.com/carlosframework/platform/internal/edgeproof [no test files] ok github.com/carlosframework/platform/internal/edgesfile 0.011s ok github.com/carlosframework/platform/internal/fleetapi 0.135s ok github.com/carlosframework/platform/internal/gate 1.657s ok github.com/carlosframework/platform/internal/genselect 0.016s ok github.com/carlosframework/platform/internal/geo 0.017s ok github.com/carlosframework/platform/internal/geoip 0.048s ok github.com/carlosframework/platform/internal/host 135.693s ok github.com/carlosframework/platform/internal/hostactors 0.476s ok github.com/carlosframework/platform/internal/hostbox 2.179s ok github.com/carlosframework/platform/internal/hostclaim 0.534s ok github.com/carlosframework/platform/internal/hostevidence 0.020s ok github.com/carlosframework/platform/internal/hostexec 4.717s ok github.com/carlosframework/platform/internal/hostfence 0.030s ok github.com/carlosframework/platform/internal/hostfiles 10.367s ok github.com/carlosframework/platform/internal/hostfloor 0.020s ok github.com/carlosframework/platform/internal/hostguard 1.028s ok github.com/carlosframework/platform/internal/hostops 1.598s ? github.com/carlosframework/platform/internal/hostops/fencerelease [no test files] ok github.com/carlosframework/platform/internal/hostops/internal/fencerelease 0.020s ok github.com/carlosframework/platform/internal/hostquarantine 0.021s ok github.com/carlosframework/platform/internal/hostrelocate 0.451s ok github.com/carlosframework/platform/internal/hostresolve 0.136s ok github.com/carlosframework/platform/internal/hostwrite 0.021s ok github.com/carlosframework/platform/internal/infraview 0.020s ok github.com/carlosframework/platform/internal/instancectl 4.180s ok github.com/carlosframework/platform/internal/instanceexec 2.699s ok github.com/carlosframework/platform/internal/instancefs 0.005s ok github.com/carlosframework/platform/internal/instancekey 0.005s ok github.com/carlosframework/platform/internal/instanceupdates 0.007s ok github.com/carlosframework/platform/internal/layout 1.502s ok github.com/carlosframework/platform/internal/lease 9.782s ok github.com/carlosframework/platform/internal/lease/leasetest 0.005s ok github.com/carlosframework/platform/internal/ledger 0.015s ok github.com/carlosframework/platform/internal/mail 0.177s ok github.com/carlosframework/platform/internal/maintenance 0.084s ok github.com/carlosframework/platform/internal/maintenanceexec 5.521s ok github.com/carlosframework/platform/internal/maintenanceguard 0.065s ok github.com/carlosframework/platform/internal/metrics 0.005s ok github.com/carlosframework/platform/internal/moves 20.915s ok github.com/carlosframework/platform/internal/moves/archive 0.776s ok github.com/carlosframework/platform/internal/objstore 0.176s ok github.com/carlosframework/platform/internal/ops 0.167s ok github.com/carlosframework/platform/internal/park 0.226s ok github.com/carlosframework/platform/internal/privatefile 0.003s ok github.com/carlosframework/platform/internal/provision 10.725s ok github.com/carlosframework/platform/internal/publicrelease 0.007s ? github.com/carlosframework/platform/internal/regionname [no test files] ok github.com/carlosframework/platform/internal/registry 4.836s ok github.com/carlosframework/platform/internal/relay 7.225s ok github.com/carlosframework/platform/internal/release 18.967s ok github.com/carlosframework/platform/internal/rollout 3.593s ok github.com/carlosframework/platform/internal/rolloutwords 0.003s ok github.com/carlosframework/platform/internal/rootaws 0.007s ok github.com/carlosframework/platform/internal/rootparticipation 0.007s ok github.com/carlosframework/platform/internal/rootstate 0.025s ok github.com/carlosframework/platform/internal/runs 0.571s ok github.com/carlosframework/platform/internal/s3compat 0.005s ok github.com/carlosframework/platform/internal/safefile 0.004s ok github.com/carlosframework/platform/internal/schedule 2.452s ok github.com/carlosframework/platform/internal/seeds 0.011s ok github.com/carlosframework/platform/internal/sim/hostlife 8.197s ok github.com/carlosframework/platform/internal/sim/litestreamfacts 3.709s ok github.com/carlosframework/platform/internal/status 0.041s ok github.com/carlosframework/platform/internal/steering 0.006s ok github.com/carlosframework/platform/internal/stopevidence 0.203s ok github.com/carlosframework/platform/internal/svcrole 0.002s ok github.com/carlosframework/platform/internal/telemetry 0.004s ok github.com/carlosframework/platform/internal/termfence 0.004s ok github.com/carlosframework/platform/internal/tunnelclient 0.003s ok github.com/carlosframework/platform/internal/unixdial 0.002s ok github.com/carlosframework/platform/internal/updatewords 0.004s ok github.com/carlosframework/platform/internal/usage 0.005s ok github.com/carlosframework/platform/internal/version 0.001s ok github.com/carlosframework/platform/internal/vet 1.528s === cross === --- shard 0 of 5 --- cross-compiling darwin/arm64 amadan: job cancelled — a newer push superseded it --- shard 1 of 5 --- cross-compiling darwin/amd64 amadan: job cancelled — a newer push superseded it --- shard 2 of 5 --- cross-compiling linux/arm64 amadan: job cancelled — a newer push superseded it --- shard 3 of 5 --- cross-compiling windows/amd64 amadan: job cancelled — a newer push superseded it --- shard 4 of 5 --- cross-compiling windows/arm64 amadan: job cancelled — a newer push superseded it
diff --git a/docs/superpowers/specs/CODEX-REVIEW-BRIEF-REGION-HA-SPEC2-2.md b/docs/superpowers/specs/CODEX-REVIEW-BRIEF-REGION-HA-SPEC2-2.md| new file mode 100644 |
| index 000000000..9ebdd3a99 |
| --- /dev/null |
| +++ b/docs/superpowers/specs/CODEX-REVIEW-BRIEF-REGION-HA-SPEC2-2.md |
| @@ -0,0 +1,14 @@ |
| +# Astra: region HA spec 2, round 2 |
| + |
| +Rev 2 answers your round 1 (`CODEX-FINDINGS-REGION-HA-SPEC2-1.md`). §14 maps each finding. |
| + |
| +**Judge:** |
| +1. Is each round-1 finding closed? Give a disposition table first. |
| +2. The new mechanisms, in particular: |
| + - **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? |
| + - **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? |
| + - **The NLB sequence (§9):** zone B only, then `SetSubnets` adding zone A with the existing EIP, then the rollback that removes the mapping. |
| + - **The health answer's five conditions (§6).** |
| +3. Anything new. Report only new items after the table. |
| + |
| +Give findings P1/P2/P3 with file:line and a failure scenario. End with a verdict. |