Implement SPEC-06: compile service, sparse channels (Stage 2)

[IanMayo]

Stage 2 — Compile (knowledge → CompiledWorld)

Research-first (ASSAY-DEC-11): docs/research/02-compile.md is the gate. It decides the sparse channel representation from the Stage-0 dense-world benchmark (a dense CompiledWorld is ~1.2M cells → 84.9 MB, ~19.4 s serialise+hash per recompile — re-measured this session, not viable even in the mock) and from ATP 2-01.3 MCOO doctrine (overlays record deviations, not per-cell attributes). This retires dense Channel.cells and resolves seam contract open item 2.

SPEC-06 was specified through spec-kit (specs/006-compile/) and implemented.

What changed

Schema (LinkML → regenerated types)

• Channel is now { name, kind, default: Band, regions: RegionOverride[] } — a per-channel default plus named, optionally time-boxed deviations. ChannelCell (dense) is removed.
• New RegionOverride { region, value: Band, from_step?, until_step?, source? }.
• New VignetteConfig { grid, channels, regions, subject_map } holds region→cell geometry and subject → (channel, region) routing once, not per world.

Compile service (src/compile.ts)

• POST /compile (seam §4): knowledge subset + config → CompiledWorld.
• Refuses contested_knowledge (G5 — completes at the compile refusal what SPEC-05 marked, reusing isCompilable), stale_input (via effectiveStatus), and encoding_violation/waiver_required as defence in depth (reusing the pure checkEncoding); persists nothing on refusal.
• Firewalls scenario_weight (K14 never reaches a channel); applies a COA excursion as a region-override overlay folded into the stamp.
• Deterministic stamp over sorted inputs (G1); one compiled_into edge per consumed object + a waives edge per waiver; every RegionOverride names its source, so every channel value is backward-traceable to named knowledge with a named owner (G3). No delta (compile is a read-of-knowledge, seam §4).
• Nothing dense is ever stored or hashed — region→cell materialisation is a lazy, unstored, score-time function (flagged forward to Stage 3).

Surface & fixtures

• src/components/channelTrace.ts — the channel-trace surface (region → band pill → backing knowledge + owner), framework-free, arranges projections only.
• fixtures/vignette-config.json — Meridian grid, per-channel defaults, region geometry, subject map.
• The compile demo moment renders in the gallery: "contested never compiles", then resolve → recompile.

Verification

• npm run typecheck clean; npm test 107 passing (14 new compile contract-invariant tests + 3 channel-trace + config validation).
• All three Stage-2 exits demonstrated on Meridian: K12 contested ⇒ refuse ⇒ resolve ⇒ recompile; byte-identical stamp for identical inputs (order-independent; R2 excursion reproducibly distinct); every channel traces back to named knowledge.
• The markdown §11 LinkML block and schema/*.yaml remain byte-identical (bodies) per the source-of-truth invariant.

Register discipline

The sparse-channel schema change is a decision, so it is recorded as a flagged register candidate (docs/assay-concept.md §6, item 12) — not asserted in a peer doc (ASSAY-DEC-2). SPEC-06 builds against it under seam open item 2's delegated authority, pending batch ratification (mirroring how note 01's floor entered on landing per DEC-16). Batch propagation swept knowledge-model §7/§11, seam contract open item 2, vignette §8, and the CLAUDE.md current-phase line in this change.

🤖 Generated with Claude Code

---

Generated by Claude Code

[github-actions]

PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-07-13 04:30 UTC