carlos / platform Public

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

Plain git — no account needed to clone.

Download

Download this file

1# Astra: hostfiles path cap, round 6 (minimal design)
2
3After 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.
4
5The branch now differs from main (f97898f1) only by:
6- the exported `hostfiles.RestorableWithinCap(m) error`, which is `manifestWithinCap`: every entry, live, tombstoned or skipped, within the cap;
7- its test;
8- an envelope-only Plan 14 overlay.
9
10Readers, writers, Restore and the scan are main's, byte for byte.
11
12**Judge:**
131. Does the diff against main contain anything beyond that?
142. Is RestorableWithinCap exactly the rule every reader applies, so that a manifest passing it can't be refused by checkManifest for the cap?
153. Is the census overlay correct (envelope-only, legacy seal unchanged)?
164. **Verdict:** is it ready to merge?
17
18Give findings P1/P2/P3 with file:line. Read-only; run nothing heavy.
19