diff --git a/FABRIC-3.6.md b/FABRIC-3.6.md index 274481ed..e812a7ff 100644 --- a/FABRIC-3.6.md +++ b/FABRIC-3.6.md @@ -247,7 +247,18 @@ it has simply not been attempted.)* updated: 4055–4059 and 4300–4399 now read as former-file ranges rather than "extension space" for files that no longer exist. Verified every remaining `### \`*.4th\`` section in the manifest names a file actually present on disk — zero stale entries left. -- [ ] **0.6** — Return freed block ranges to `capsule-reserved.txt`. *Check:* lint clean. +- [x] **0.6** — Return freed block ranges to `capsule-reserved.txt`. *Check:* lint clean. + 2026-09-19 · added `4055-4059` (former `common/msg.4th`) and `4300-4399` (former + `process.4th`) to `tools/capsule-reserved.txt`, each noted as freed by this reshuffle's + strip rather than owned by non-capsule infrastructure (the file's usual purpose) — + documented as lifted, not permanent, once someone deliberately wants a range back. + `mkcapsule --lint capsules/` clean, 37 files, 0 violations, and `check_reserved_conflicts()` + (the hard build-gate that actually reads this file, `tools/mkcapsule.c:974`) passes clean + on a real `make -f Makefile.starkernel ARCH=amd64 all` — confirms the new entries don't + collide with anything currently baked. Documentation/registry only, no capsule content + touched, so no 3-arch boot run for this task. All of Phase 0's strips and documentation + corrections (0.1–0.6) are now done; `stadium_conserved()` (0.7) and the `PLOT`/`FB-WIDTH`/ + `FB-HEIGHT` registration audit (0.8) remain before Phase 0's gate is fully met. - [ ] **0.7** — Add `stadium_conserved()`: `Σ patron + reservoir + consumed == Q48_ONE`, **epsilon zero** (§XL.4, item 41). *Check:* true on a clean boot, all three arches. - [ ] **0.8** — Audit that `PLOT`/`FB-WIDTH`/`FB-HEIGHT` are registered **nowhere** but the diff --git a/capsules/BLOCK_MAP.md b/capsules/BLOCK_MAP.md index edb52562..074c568f 100644 --- a/capsules/BLOCK_MAP.md +++ b/capsules/BLOCK_MAP.md @@ -1,5 +1,5 @@ # Capsule Block Manifest — Auto-generated - + diff --git a/tools/capsule-reserved.txt b/tools/capsule-reserved.txt index e8fac66b..4de9ba40 100644 --- a/tools/capsule-reserved.txt +++ b/tools/capsule-reserved.txt @@ -21,6 +21,17 @@ # 2048-3071 volatile ramdrive (capsule_loader.c, KRD_MAX_BLOCKS=1024) # 3072+ Artemis's real virtio-blk device (persistent, disk/artemis.img) # -# No ranges reserved yet -- seed this file as Artemis's own actual block -# usage becomes known (e.g. from block_subsystem.c's BAM/home-blocks -# fence accounting), rather than guessing. +# No ranges reserved yet for non-capsule infrastructure (Artemis's own +# actual block usage becomes known from block_subsystem.c's BAM/ +# home-blocks fence accounting, not guessed) -- but see below for a +# second, narrower use: recording a block range a capsule strip just +# freed, so mkcapsule's collision machinery won't let a future capsule +# silently reclaim it before a human decides to (FABRIC-3.5.md SXXII.4, +# SXVIII.4). These are lifted, not permanent, once someone deliberately +# wants the range back. + +# Freed 2026-09-19 by the Tripod/kernel reshuffle's Category A surgical +# strip (FABRIC-3.6.md tasks 0.2/0.3; see capsules/MANIFEST.md's +# "Deleted capsules" section for the full account): +4055-4059 formerly common/msg.4th -- deleted, block content confirmed dead by all three FABRIC-3.5.md SXXII.2 routes +4300-4399 formerly process.4th -- deleted, block content confirmed dead by all three FABRIC-3.5.md SXXII.2 routes