diff --git a/FABRIC-3.6.md b/FABRIC-3.6.md index 2f710398..274481ed 100644 --- a/FABRIC-3.6.md +++ b/FABRIC-3.6.md @@ -234,8 +234,19 @@ it has simply not been attempted.)* Hera's `PARITY:M7.1a` snapshot unchanged as before. `capsule-reserved.txt` and `MANIFEST.md`'s stale entries still untouched — Phase 0's strips (0.2–0.4) are now all done; 0.5 and 0.6 are next. -- [ ] **0.5** — Correct `capsules/MANIFEST.md` blocks 4055 and 2049 **as their files are +- [x] **0.5** — Correct `capsules/MANIFEST.md` blocks 4055 and 2049 **as their files are stripped** (§XXII.5). *Check:* manifest describes no file that no longer exists. + 2026-09-19 · documentation only, no capsule content touched, `mkcapsule --lint capsules/` + still clean (37 files, 0 violations). Block 2049's justification rewrote its claimed + `init.4th` load list (`compudynamics`, `common:msg`, `fleet-k`, `process`) against the + file's actual current content — none of those four are loaded there; two were already + deleted (`compudynamics.4th`/`fleet-k.4th`, `9323f776`), two are this pass's own strips. + The standalone `common/msg.4th` and `process.4th` sections (former blocks 4055 and + 4300–4301) were removed and folded into "Deleted capsules (historical)" alongside the + existing `compudynamics.4th`/`fleet-k.4th` entry, same convention. Unassigned Ranges table + 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. - [ ] **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. diff --git a/capsules/MANIFEST.md b/capsules/MANIFEST.md index c56277fe..2470f2e1 100644 --- a/capsules/MANIFEST.md +++ b/capsules/MANIFEST.md @@ -49,7 +49,7 @@ Blocks: **2049–2052, 2057** | Block | Immutable | Justification | |-------|-----------|---------------| -| 2049 | No | Hera VM init: loads compudynamics, VM-INIT, lib, common:msg, fleet-k, process; BIRTHs Artemis + Hermes. VM-TREE + VM-CHILDREN implemented (`b52281b9`), unrolled for v1 Tripod | +| 2049 | No | Hera VM init: `VM-TREE`/`VM-PARENT`/`VM-CHILDREN`; loads `ACL.4th`, `block-acl.4th`, `zuse-eligibility.4th`, `lib.4th`, `fabric.4th`, `font.4th`, `common:messaging.4th` + `MSG-CD-INIT`. **Corrected 2026-09-19** — previously listed `compudynamics`, `common:msg`, `fleet-k` and `process`; none of those are loaded here. `compudynamics.4th`/`fleet-k.4th` were already deleted (`9323f776`, see "Deleted capsules" below); `common:msg.4th`/`process.4th` are stripped in this same pass (FABRIC-3.6.md tasks 0.2/0.3) and were never `EXEC`'d from this block even before that | | 2050 | No | BOOT-BANNER call — separated so the banner block can be swapped without touching init logic | | 2051 | No | TRIPOD-TEST — 6 acceptance gates per TRIPOD.md. Dead EVENT-WAIT step replaced with HERMES-TICK liveness check (`3436d564`) | | 2052 | No | TRIPOD-TEST invocation block | @@ -308,14 +308,6 @@ Blocks: **4050** |-------|-----------|---------------| | 4050 | No | N. COMMA CRLF CSV-COL CSV-LAST Q.SHOW USE RUN. Not immutable: these are utilities; adding words is safe. Removing or renaming existing words requires audit of all callers | -### `common/msg.4th` — Hermes participant interface - -Blocks: **4055** - -| Block | Immutable | Justification | -|-------|-----------|---------------| -| 4055 | Yes | HERMES-ACK / HERMES-NACK. Immutable: this is the cross-VM ACK/NACK ABI. Every messaging VM (Hera, Hermes, Artemis) loads this at birth. Changing the block or the word names breaks the Hermes delivery protocol | - ### `doe-campaign.4th` — DoE campaign harness Blocks: **4060–4065** @@ -439,15 +431,6 @@ Hermes (see above). The table below reflects the actual current footprint. | 4851 | No | ART-PING ( -- ): cheap O(1) touch target for Phase 3 fleet DoE workload, unlike ART-TICK/ART-STATUS which scan all ART-DATA-BLKS. Not immutable: may extend | | 4852 | No | `LOAD-DOE` ( -- ): `S" doe.4th" EXEC`. Added 2026-07-08 — same missing-word fix as `hermes/init.4th` 4153; `doe-campaign.4th`'s `SETUP-ARTEMIS` calls this remotely. Not immutable: trivial wrapper | -### `process.4th` — VM process management - -Blocks: **4300–4301** - -| Block | Immutable | Justification | -|-------|-----------|---------------| -| 4300 | No | Event code constants + SPAWN + PAUSE lifecycle operators. Not immutable: process model may evolve | -| 4301 | No | RESUME + KILL-VM. Not immutable: process model may evolve | - ### Deleted capsules (historical) `compudynamics.4th` (formerly 4200–4204) and `fleet-k.4th` (formerly @@ -458,6 +441,20 @@ generalized VM fleet physics mechanism (`capsule_vm_physics.c`/`.h`, and `docs/working/archive/session-logs/2026-07-05-worklog.md`. Their former ranges are now UNASSIGNED (see Namespace Map). +`common/msg.4th` (formerly 4055) and `process.4th` (formerly 4300–4301) +were deleted 2026-09-19 (FABRIC-3.6.md tasks 0.2/0.3, part of the +Tripod/kernel reshuffle's Category A surgical strip — see FABRIC-3.5.md +§XXII). Both were confirmed dead by all three of §XXII.2's reachability +routes: zero `EXEC` sites in any boot-loaded capsule, and zero callers +anywhere of their exported words (`HERMES-ACK`/`HERMES-NACK` for the +former; `SPAWN`/`PAUSE`/`RESUME`/`KILL-VM` for the latter). +`common/msg.4th`'s block-4055 entry had claimed it was an immutable ABI +"every messaging VM loads at birth" — `FABRIC-2.md:2773` had already +flagged that claim as stale before this correction. `process.4th`'s +removal also took `messaging.4th`'s `EVENT-EMIT`/`EVENT-WAIT`/ +`EVENT-DRAIN` (former block 5030) with it, its only live caller. Their +former ranges are now UNASSIGNED (see Namespace Map). + --- ## Unassigned Ranges @@ -476,11 +473,11 @@ former ranges are now UNASSIGNED (see Namespace Map). | 4008–4009 | UNASSIGNED | ACL extension space | | 4019–4049 | UNASSIGNED | ACL / zuse extension space | | 4051–4054 | UNASSIGNED | lib.4th extension space | -| 4056–4059 | UNASSIGNED | common:msg extension space | +| 4055–4059 | UNASSIGNED | Former `common/msg.4th` range (deleted 2026-09-19, FABRIC-3.6.md task 0.2) | | 4066–4099 | UNASSIGNED | doe-campaign extension space | | 4154–4199 | UNASSIGNED | Hermes extension space (post-4153) | | 4200–4299 | UNASSIGNED | Former compudynamics.4th range (deleted `9323f776`) | -| 4302–4399 | UNASSIGNED | process extension space | +| 4300–4399 | UNASSIGNED | Former `process.4th` range (deleted 2026-09-19, FABRIC-3.6.md task 0.3) | | 4400–4405 | UNASSIGNED | Former fleet-k.4th range (deleted `9323f776`) | | 4410–4414, 4420–4424, 4430–4434 | UNASSIGNED | workload-1.4th's private zone, room for growth | | 4853+ | OPEN | Future capsules — claim here first |