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 <noreply@anthropic.com>
This commit is contained in:
co-authored by
Claude Sonnet 5
parent
e233d09fa1
commit
9886ad5315
+12
-1
@@ -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
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
# Capsule Block Manifest — Auto-generated
|
||||
<!-- Generated by mkcapsule --manifest 2026-09-19T17:37:28Z -->
|
||||
<!-- Generated by mkcapsule --manifest 2026-09-19T17:44:11Z -->
|
||||
<!-- DO NOT EDIT — re-run mkcapsule --manifest to refresh. -->
|
||||
<!-- Hand-written justifications and immutability notes live -->
|
||||
<!-- in MANIFEST.md alongside this auto-generated index. -->
|
||||
|
||||
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user