refactor(contract): tombstone commit — remove emission artifacts per PR #477 three-tier model

The PR #477 'what does NOT exist' table, made source-true:

- Remove CollapseGateEmission from contract::collapse_gate (+ lib.rs
  re-export). MailboxId, MergeMode, GateDecision survive — they are
  addressing/merge concepts, not emission concepts.
- Remove MailboxSoA::emit(); rename last_emission_cycle →
  last_active_cycle. New in-place consume_firing(row) keeps the
  threshold + same-cycle-idempotency semantics with no carrier object
  (zero-copy: owner reads row columns in place, then stamps).
- Reword 4 stale doc references (kanban, episodic_edges,
  witness_tombstone, mailbox_soa module header) to the three-tier
  zero-copy framing.
- Supersede the CLAUDE.md Baton-scoping block (dated note; bundle math
  + mailbox-as-owner safety argument survive untouched).
- Fix cycle-coherent-soa-snapshot-v1 D-SOA-SNAP-1/2: generic
  MailboxSoaSnapshot<C> + SnapshotProvider::Column so contract never
  imports MultiLaneColumn (closes #477 CodeRabbit Critical; contract
  stays zero-dep).
- Board: LATEST_STATE contract inventory updated, TD-COLLAPSE-GATE-
  SMALLVEC-1 closed as moot, AGENT_LOG entry prepended.

Verified: #477 codex P2 on verify_layout (ColumnOutOfBounds) already
fixed on main with regression test column_past_stride_caught.

Tests: contract 594 (-8 emission, +2 gate/merge), driver 85
(emit tests rewritten as consume tests, +1 OOB), clippy clean,
workspace check clean.

https://claude.ai/code/session_017GFLBnDy23AWBqvkbHHC41

Author: claude

.claude/board/AGENT_LOG.md

@@ -1,3 +1,7 @@
+## 2026-06-11 — tombstone commit: emission artifacts removed per PR #477 follow-up
+
+**Main thread (Fable, session splat3d-cpu-simd-renderer).** Executed the PR #477 documented follow-up (the "what does NOT exist" table → source reality): removed `CollapseGateEmission` from `lance-graph-contract::collapse_gate` (+ lib.rs re-export; `MailboxId`/`MergeMode`/`GateDecision` survive), removed `MailboxSoA::emit()`, renamed `last_emission_cycle` → `last_active_cycle`, added in-place `consume_firing(row)` successor (same threshold + same-cycle-idempotency semantics, no carrier object), reworded 4 stale doc references (kanban/episodic_edges/witness_tombstone/mailbox_soa header), superseded the CLAUDE.md Baton-scoping block, fixed cycle-coherent-soa-snapshot-v1 D-SOA-SNAP-1/2 to generic `SnapshotProvider::Column` (closes #477 CodeRabbit Critical — contract stays zero-dep), closed TD-COLLAPSE-GATE-SMALLVEC-1 as moot. Verified #477 codex P2 (`verify_layout` ColumnOutOfBounds) already fixed on main with regression test. Tests: contract 594 (−8 emission, +2 gate/merge), driver 85 (emit tests → consume tests, +1 OOB), clippy clean, workspace check clean. Commit: in PR.
+
 ## 2026-06-09 — plan addendum: left-prefix parsing confirmed + D-PG-7 deterministic foveated tree-builder
 
 **Main thread (Fable).** User direction validated against identity.rs octets: GUID left half (class+tree) is order-preserving plain bytes ⇒ Cypher label/subtree patterns = byte-prefix predicates on FixedSizeBinary(16) via Lance zone-maps; similarity leg (RaBitQ/CAM-PQ/Binary16K) rides the same row. Two caveats recorded (namespace-first ordering; ≤4-nibble GUID prefix). New M6 + D-PG-7: NiblePath assignment computable by deterministic hierarchical partition ("deterministic Louvain" → concretely ndarray CLAM pole-split, 16-way, capacity-bounded ⇒ foveation), with the iron requirement APPEND-STABLE (bootstrap once; minted paths never move; layout_version gates changes). Query-time twin noted (cascade / bgz-tensor HHTL cache). Plan §8 + STATUS_BOARD row. Commit: this.

.claude/board/LATEST_STATE.md

@@ -131,7 +131,7 @@ Types live in `crates/cognitive-shader-driver/src/wire.rs` behind `--features se
 
 **Sprint-11/12 D-CSV substrate types (2026-05-16, PRs #383-#389)**:
 - `lance-graph-contract::qualia`: `QualiaI4_16D` (16-dim signed-i4, 9× compression vs `[f32; 18]`), `QualiaI4Column` (sibling SoA column in cognitive-shader-driver).
-- `lance-graph-contract::collapse_gate`: `CollapseGateEmission` (Vec-of-`(u16 target, CausalEdge64)` wire format; zero-dep — SmallVec optimization deferred as TD-COLLAPSE-GATE-SMALLVEC-1).
+- `lance-graph-contract::collapse_gate`: ~~`CollapseGateEmission`~~ **REMOVED 2026-06-11** (PR #477 three-tier model tombstone commit — zero-copy SoA, no inter-mailbox handoff type; TD-COLLAPSE-GATE-SMALLVEC-1 closed as moot). `MailboxId` / `MergeMode` / `GateDecision` remain.
 - `lance-graph-contract::mailbox` / `attention_mask`: `MailboxId` (canonical id type), `MailboxSoA<N>` (SoA mailbox with W-slot + plasticity accumulator + `apply_edges`), `AttentionMaskSoA`, `AttentionMaskActor`, `AttentionMaskBackend` trait.
 - `lance-graph-contract::sigma_tier`: `SigmaTierBands`, `SigmaTierRouter` (Rubicon-resonance ΔF + threshold dispatch), `DispatchOutcome`, `RestReason` (Σ-tier crate surface).
 - `lance-graph-contract::witness`: `WitnessCorpus` (CAM-PQ-indexed; D-CSV-6a partial in PR #386, full 6b sprint-12), `WitnessEntry`, `WitnessId`, `WitnessIndexHashMap` (anchor + chain invariant).
@@ -212,7 +212,7 @@ Types live in `crates/cognitive-shader-driver/src/wire.rs` behind `--features se
 
 **Sprint-12/13 explicit deferrals (2026-05-16):**
 
-- **TD-COLLAPSE-GATE-SMALLVEC-1** — SmallVec optimization for `CollapseGateEmission` (currently Vec to preserve contract zero-dep invariant). Revisit only if profiling shows the heap allocation is hot.
+- **TD-COLLAPSE-GATE-SMALLVEC-1** — CLOSED 2026-06-11 as moot: `CollapseGateEmission` removed entirely (PR #477 tombstone commit), nothing left to optimize.
 - **TD-SIGMA-TIER-THRESHOLDS-1** — Σ10 VAMPE-coupled Jirak-derived threshold refinement (D-CSV-15). Hand-tuned acceptable through sprint-12 per `I-NOISE-FLOOR-JIRAK`; principled Jirak 2016 derivation forwarded to sprint-13+ VAMPE coupled-revival track.
 - **ndarray `parallel`-feature `par_*` rayon variants** — productized substrate ships sequentially in PR #147; rayon work-stealing wraps deferred to sprint-14+ behind an opt-in feature gate.
 

.claude/board/TECH_DEBT.md

@@ -936,6 +936,8 @@ Cross-ref: `docs/TYPE_DUPLICATION_MAP.md`; `crates/lance-graph-contract/src/mul.
 
 ## 2026-05-16 — TD-COLLAPSE-GATE-SMALLVEC-1: `CollapseGateEmission` uses `Vec` instead of `SmallVec`; zero-dep constraint was the tradeoff
 
+**Status: CLOSED 2026-06-11 (moot)** — `CollapseGateEmission` was removed entirely per the PR #477 three-tier model (zero-copy SoA, no inter-mailbox handoff type; tombstone commit). No carrier, no Vec, nothing to optimize.
+
 **Status:** Open
 **Priority:** P3
 **Scope:** crate:lance-graph-contract domain:perf

.claude/plans/cycle-coherent-soa-snapshot-v1.md

@@ -86,21 +86,46 @@ row-scale and byte-scale deinterlace use the same clock.
 
 ## Deliverables
 
-### D-SOA-SNAP-1 — `MailboxSoaSnapshot` type in lance-graph-contract
+### D-SOA-SNAP-1 — `MailboxSoaSnapshot<C>` type in lance-graph-contract
 
-A `MailboxSoaSnapshot` struct: `cycle: u32`, `cols: Vec<Arc<MultiLaneColumn>>`.
-Snapshot is `Send + Sync`. No reference to the originating `MailboxSoa`.
-This is a point-in-time read — immutable after creation.
+> **REVISED 2026-06-11 (PR #477 CodeRabbit Critical):** the original sketch
+> (`cols: Vec<Arc<MultiLaneColumn>>` directly in contract) would create a
+> `lance-graph-contract → ndarray` dependency — `MultiLaneColumn` is an
+> ndarray type, and the contract crate is zero-dep by iron invariant. The
+> snapshot type is therefore **generic over the column type**; the concrete
+> binding happens in lance-graph, never in contract.
+
+A `MailboxSoaSnapshot<C>` struct: `cycle: u32`, `cols: Vec<Arc<C>>`.
+Snapshot is `Send + Sync` (when `C: Send + Sync`). No reference to the
+originating `MailboxSoa`. This is a point-in-time read — immutable after
+creation. Contract never names `MultiLaneColumn`; it only carries the
+generic parameter.
 
 ### D-SOA-SNAP-2 — `SnapshotProvider` trait in lance-graph-contract
 
 ```rust
+// In lance-graph-contract (zero-dep — no ndarray import):
+pub struct MailboxSoaSnapshot<C> {
+    pub cycle: u32,
+    pub cols: Vec<Arc<C>>,
+}
+
 pub trait SnapshotProvider {
-    fn snapshot(&self) -> MailboxSoaSnapshot;
+    type Column;
+    fn snapshot(&self) -> MailboxSoaSnapshot<Self::Column>;
 }
+
+// In lance-graph (the binding side):
+//   impl SnapshotProvider for MailboxSoa {
+//       type Column = ndarray::simd::MultiLaneColumn;
+//       fn snapshot(&self) -> MailboxSoaSnapshot<MultiLaneColumn> { … }
+//   }
 ```
 
-Zero deps in contract. `MailboxSoa` in lance-graph implements it.
+Zero deps in contract — the associated type defers the column choice to the
+implementor. `MailboxSoa` in lance-graph binds `Column = MultiLaneColumn`;
+ndarray never learns the snapshot exists, contract never learns ndarray
+exists, lance-graph binds them (same triangulation as `SoaEnvelope`).
 
 ### D-SOA-SNAP-3 — Arc-swap write path in `MailboxSoa::advance_phase`
 

CLAUDE.md

@@ -60,6 +60,20 @@ VSA carrier).
 > emissions + AriGraph SPO-G quads + BindSpace SoA columns. The bundle MATH
 > here (§I-SUBSTRATE-MARKOV Chapman-Kolmogorov, §I-VSA-IDENTITIES) is
 > **untouched** — only the cross-boundary carrier is scoped out.
+>
+> **2026-06-11 supersession (PR #477 three-tier model + tombstone commit):**
+> the Baton/emission framing above is itself now SUPERSEDED. There is **no
+> inter-mailbox handoff type at all** — `CollapseGateEmission`,
+> `MailboxSoA::emit()`, and `wire_cost_bytes() = 13 + 10·baton_count` were
+> removed from source (the tombstone commit). The ratified invariant: every
+> SoA envelope is **zero-copy from creation to Lance tombstone**; Lance's own
+> columnar I/O writes LE bytes from the in-place backing store described by
+> `SoaEnvelope`; nothing is serialized or transmitted between mailboxes.
+> `last_emission_cycle` was renamed `last_active_cycle` (in-place consumption
+> stamp). Canonical reference: `docs/architecture/soa-three-tier-model.md`.
+> What survives from this block: Vsa16kF32-never-crosses-boundaries, the
+> mailbox-as-owner compile-time safety argument (E-CE64-MB-4), and the bundle
+> math — all untouched.
 
 ```
   Sentence → FSM → RoleKey_fp × content_fp   → vsa_bundle (Σ) with ρ^d braiding