Chunk B of the sequential sweep. errors.md: stacktrace field removed per
#46(3) (span-only frames, the trail lives in the unit's raise-cell record,
#50); the OOM raise is a type raisable only as a proven-dead backstop,
never a per-call-site transport choice. stdlib.md: Alloc<Ctx> moved from
the locked row to its own CONDEMNED row with the #52 rationale; Alloc/
Arena labeled the condemned seam — on disk, not law. modules.md: the
root-tier SOLL list is five units; the seam demoted to labeled IST.
testing.md: the four-slice table labeled IST; the phantom pre-commit-hook
claim corrected to §7 reality. ui.md: the N=256/D=12/T=256B table flagged
— constants are not bounds (§1.3), derivation is the ratification
precondition; "pool-dominated" deleted. ai.md: 100k-step flat statm
demoted from proof to corroboration. syntax.md: spawn destructuring
reframed under the declared-count law (#17/#48). README.md: the SOLL/IST
discipline stated at the door; questions.md added to the truth table.
Clean as-written: literals, operators, traits, world-types, units,
tooling, networking.

@@ -322,0 +372,4 @@
+  at the owner's direction). The declared fold is the LAW and the
+  measurement is its CHECK, and the contract between them is EQUALITY.
+  The fold gains the target's machine-cost model (callee saves, outgoing
+  call space, spills) not conservatively but EXACTLY: for every fn the

@@ -78,3 +78,3 @@
 /// - **deleting cells** fails too. A cell is only legitimately removed when the
 ///   law it pins stops existing; that is a deliberate act, not a side effect.
-const CELL_COUNT: usize = 374;
+const CELL_COUNT: usize = 376;