amadan
Astra brief: hostfiles path cap, round 6 (minimal design)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 file changed,
+18
−0
docs/superpowers/plans/CODEX-REVIEW-HOSTFILES-CAP-BRIEF-6.md+18 −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 amadan: job cancelled — a newer push superseded it
diff --git a/docs/superpowers/plans/CODEX-REVIEW-HOSTFILES-CAP-BRIEF-6.md b/docs/superpowers/plans/CODEX-REVIEW-HOSTFILES-CAP-BRIEF-6.md| new file mode 100644 |
| index 000000000..c9a5843c7 |
| --- /dev/null |
| +++ b/docs/superpowers/plans/CODEX-REVIEW-HOSTFILES-CAP-BRIEF-6.md |
| @@ -0,0 +1,18 @@ |
| +# Astra: hostfiles path cap, round 6 (minimal design) |
| + |
| +After round 5 (`CODEX-REVIEW-HOSTFILES-CAP-5.md`), Paul ruled that no over-cap entry is exempt. Every attempt to tolerate one in the readers opened a new edge. |
| + |
| +The branch now differs from main (f97898f1) only by: |
| +- the exported `hostfiles.RestorableWithinCap(m) error`, which is `manifestWithinCap`: every entry, live, tombstoned or skipped, within the cap; |
| +- its test; |
| +- an envelope-only Plan 14 overlay. |
| + |
| +Readers, writers, Restore and the scan are main's, byte for byte. |
| + |
| +**Judge:** |
| +1. Does the diff against main contain anything beyond that? |
| +2. Is RestorableWithinCap exactly the rule every reader applies, so that a manifest passing it can't be refused by checkManifest for the cap? |
| +3. Is the census overlay correct (envelope-only, legacy seal unchanged)? |
| +4. **Verdict:** is it ready to merge? |
| + |
| +Give findings P1/P2/P3 with file:line. Read-only; run nothing heavy. |