Cascade-correctness completion + type-system completion II + demo decomposition + invariant codification II.

H1 — withTransaction coverage 9 → 16 sites + standing reference (audit/api-withTransaction-coverage.md)
H2 — as unknown as 4 → 2 in src/ + NEW proof:as-unknown-as-budget (budget = 2)
H3 — every demo/ file ≤ 400 LoC (palette/api 484 → 9 modules; PointerDebugOverlay + PaletteCard sub-component lifts; colorSpaceInfo data lift)
H4 — proof:no-ts-ignore +demo/; proof:no-bare-builtins +plugins/+scripts/+bench/; api/tsconfig root-parity (4 flags)

Polish-grade: Rolldown //#region strip −1,291 B; bench provenance hygiene; reactivity-instant flake mitigation (2 sites); docs/RELEASE.md NEW; CONTRIBUTING.md gaps filled.

dist/value.js 124,130 B (−1,366 B vs G close 125,496 B). Bench gates all GREEN. 22/22 pre-merge gate matrix.

ZERO cross-repo writes (F3 honored). Precepts pinned at 68d9b20.

INTERNAL-only release; no BREAKING changes.

See docs/tranches/H/FINAL.md and CHANGELOG.md [0.10.0] for full details.