From 9886ad53158d34af249e776d126eba08f0c15513 Mon Sep 17 00:00:00 2001 From: Robert Allan James Date: Sat, 19 Sep 2026 13:45:01 -0400 Subject: [PATCH] tools/capsule-reserved.txt: return freed block ranges -- FABRIC-3.6.md task 0.6 Added 4055-4059 (former common/msg.4th) and 4300-4399 (former process.4th) as reserved, each noted as freed by this reshuffle's strip rather than owned by non-capsule infrastructure -- the file's usual purpose (Artemis's own block usage, etc.). Framed explicitly as lifted, not permanent, once someone deliberately wants a range back, per FABRIC-3.5.md SSXVIII.4/XXII.4: freed ranges should be returned here rather than silently available for a future capsule to reclaim without anyone noticing. mkcapsule --lint capsules/ clean, 37 files / 0 violations. 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`, confirming the new entries don't collide with anything currently baked. Registry/ documentation 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. Authorized by Captain Bob ("Go for it."). Co-Authored-By: Claude Sonnet 5 --- FABRIC-3.6.md | 13 ++++++++++++- capsules/BLOCK_MAP.md | 2 +- tools/capsule-reserved.txt | 17 ++++++++++++++--- 3 files changed, 27 insertions(+), 5 deletions(-) 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