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 5 (confirming)
2
3Round 4 (`CODEX-REVIEW-HOSTFILES-CAP-4.md`) raised two P2s. Both are fixed; see the commit after c6dc57d0.
4
51. **Deleted and skipped together.** An entry marked both no longer gets the exemption: only `Skipped != "" && !Deleted` is exempt.
62. **Ancestor walk in `superseded()`.** `superseded()` now skips a path past the cap. Only a skipped entry can be one, and any live entry beneath it is refused.
7
8Tests:
9- `TestATombstoneMarkedSkippedPastTheCapIsRefused`.
10- `TestAVeryDeepSkippedEntryCostsRestoreNoAncestorWalk`: a 200,000-byte skipped path. Restore and Present complete at once; without the skip, Restore takes 15s.
11
12The census envelope is updated, with no unit or seal change. Main hasn't moved since f97898f1.
13
14**Judge:**
151. Are both round-4 P2s closed?
162. Is any other code still walking or cleaning an exempt skipped path's ancestors, or doing per-component work on it? Look across hostfiles and its callers in moves and relocation.
173. Anything new?
184. **Verdict:** is it ready to merge?
19
20Give findings P1/P2/P3 with file:line. Read-only; run nothing heavy.
21