@@ -1,3 +1,8 @@
+## 2026-07-14 — 5+3 council: OGAR-vs-lance-graph layer-confusion audit + contract doc-label cleanup
+- **Deliverable:** doc-comment label-bleed removed from `contract::class_view::{execute_compute_dag, execute_defaults}` (were branded "the ActionDef value executor" + carried MedCare/sono provenance in the zero-dep contract). E-LAYER-CONFUSION-OGAR-VS-SPINE-1 prepended. New issue #692 (contract::action shape-parity fuse gap).
+- **Council:** 5 falsification savants (Sonnet ×4 / Opus ×1) + 3 brutal reviewers (Sonnet). Grades: 3 WRONG, 1 UNSOUND, 1 WRONG-not-catastrophic. Reviewers raised 2 BLOCK + 6 FIX against the orchestrator's own remediation (all accepted). #690 placement verified CORRECT (not reverted).
+- **Board:** EPIPHANIES prepended; companion corrections in MedCare-rs (E-MEDCARE-30, PR #211), a2ui-rs (CROSS-SESSION-SEAMS retracted-in-part), OGAR #208.
+
 ## 2026-07-12 — chess-arc-spine-evidence-carve — E-THINKING-SPINE-CHESS-EVIDENCE-1 + temporal-markov plan addendum
 
 - **Deliverable:** `.claude/plans/temporal-markov-and-style-classes-v1.md` addendum (6 graded mappings of the chess arc onto Track A/B) + `EPIPHANIES.md` `E-THINKING-SPINE-CHESS-EVIDENCE-1` pointer entry.
 
@@ -1,3 +1,13 @@
+## 2026-07-14 — E-LAYER-CONFUSION-OGAR-VS-SPINE-1 — a session-wide OGAR-vs-lance-graph layer conflation, caught by a 5+3 council; contract doc-comment label-bleed cleaned
+
+**Status:** FINDING (5+3 council, source-receipted; MedCare-rs E-MEDCARE-30 carries the full grades).
+
+A cross-arc session conflated **OGAR** (the V3 assembler substrate — owns `Class`/`ActionDef` IR, the live active-record graph) with **lance-graph** (the query/storage spine + the zero-dep contract). It filed a Klickwege live-edge ingest issue at lance-graph (#691) when the landing is OGAR's job (Lance persistence is the substrate's own *calcification*, never an ingest API — "nobody runs the compiler on the hard disk"). #691 closed → OGAR #208.
+
+A 5+3 falsification council then audited the session's downstream claims. Load-bearing result for THIS repo: **#690's `execute_defaults` is CORRECTLY placed** — OGAR's `ogar-class-view` *consumes* `lance_graph_contract::class_view::ClassView` (`ogar-class-view/lib.rs:62,364`); the primitives are pure sequencing (delegate all value semantics to a consumer closure, import no `ActionDef`). It is NOT OGAR-Core reimplementation and NOT the same fault as #691. **What WAS wrong (this commit fixes it):** the `execute_compute_dag`/`execute_defaults` doc-comments branded them "the ActionDef value executor" and baked one consumer's provenance ("the medcare transpile arc's lane-3a increment", "the sono `Recal_*` family") into the ZERO-DEP contract that every consumer inherits — label-bleed. They are generic sequencing primitives, not an `ActionDef`-body interpreter (that is OGAR's `ACTIONDEF-VALUE-DISPATCH-PROPOSAL.md`). Doc-comments reworded to describe the primitive generically + scope-note the ActionDef-interpreter boundary. **Highest residual (filed #692, not fixed here):** `contract::action::{ActionDef,ActionInvocation,ActionState}` re-declare OGAR IR names with no shape-parity fuse while the sibling codebook mirror has one.
+
+**Meta-lesson:** confident architectural claims written fast off spot-reads are the Lie-Detector failure signature; the fix is the council BEFORE a claim enters canon. Cross-refs: MedCare-rs E-MEDCARE-30, OGAR #208, lance-graph #692, a2ui-rs CROSS-SESSION-SEAMS.md (retracted-in-part).
+
 ## 2026-07-14 — E-RUNG-CONTENT-LADDER-1 — the rung-content ladder ruled; persona-36 demarcated as a separate storyline (corrects E-STYLE-FAMILY-VS-RUNBOOK-1's "runbook" label)
 
 **Status:** RULED (operator, 2026-07-14). Canonical text: `.claude/v3/knowledge/persona-vs-rung-ladder.md` (linked from CLAUDE.md § V3 SUBSTRATE).
 
@@ -789,18 +789,21 @@ impl<E: std::error::Error + 'static> std::error::Error for ExecuteComputeError<E
     }
 }
 
-/// Execute a class's **recompute DAG** over a consumer-owned store — the
-/// ORDER half of the ActionDef value executor (the medcare transpile arc's
-/// lane-3a increment 1).
+/// Execute a class's **recompute DAG** over a consumer-owned store — a
+/// pure *sequencing* primitive over [`ComputeEdge`] positions.
 ///
-/// Split of responsibilities (commitment: thinking lives upstream, values
-/// live with the row owner): this function owns *sequencing* — targets run
-/// in a valid topological order ([`compute_dag_topo_order`]) so every
-/// precedent is recomputed before its dependents — while `compute_target`
-/// owns *value semantics*: it recomputes field position `t` on `store`
-/// (e.g. a hand-ported score formula; the sono `Recal_*` family is the
-/// first parity witness). Leaves are never passed to `compute_target` —
-/// they are the already-present inputs.
+/// This owns ORDERING ONLY, never value semantics: targets run in a valid
+/// topological order ([`compute_dag_topo_order`]) so every precedent is
+/// recomputed before its dependents, while the caller-supplied
+/// `compute_target` closure owns the actual recompute of field position `t`
+/// on `store` (e.g. a hand-ported formula on the consumer side). Leaves are
+/// never passed to `compute_target` — they are the already-present inputs.
+///
+/// Scope note: this is the topological-order half only. It is NOT an
+/// `ActionDef`-body interpreter — it takes no `ActionDef`, reads no
+/// `kausal`/`EnterEffect`; a value-reproducing interpreter over a populated
+/// `ActionDef` is a separate (OGAR-owned) concern. Consumers pair this
+/// ordering with their own value closure.
 ///
 /// Returns the executed order (the same positions
 /// [`compute_dag_topo_order`] yields).
@@ -823,13 +826,12 @@ pub fn execute_compute_dag<S, E>(
     Ok(order)
 }
 
-/// Execute a class's **default targets** over a consumer-owned store — the
-/// Default-recipe half of the ActionDef value executor (the medcare transpile
-/// arc's lane-3a increment 2, following the Compute half above).
+/// Execute a class's **default targets** over a consumer-owned store — a
+/// presence-gated *fire-if-absent* sequencing primitive (the write-if-blank
+/// shape, `this.Name ??= "unknown"`), sibling to [`execute_compute_dag`].
 ///
-/// A *Default* recipe is write-if-blank (`this.Name ??= "unknown"` — the
-/// `RecipeCentroid::Default` centroid): the value fires ONLY where the field
-/// is not already populated. Same split of responsibilities as
+/// Fires each target ONLY where the field is not already populated. Same
+/// split of responsibilities as
 /// [`execute_compute_dag`]: this function owns the *fire/skip decision*
 /// (presence-gated, slice order), while `apply_default` owns *value
 /// semantics* — it writes field position `t`'s default onto `store` (a
@@ -1155,11 +1157,11 @@ pub trait ClassView {
     }
 
     /// The class's **default targets** — the field positions carrying a
-    /// write-if-blank default (the `RecipeCentroid::Default` harvest:
-    /// `this.Name ??= …`, the C# lazy-init `if (field == null) field = new …`
-    /// idiom), in declaration order. The manifest [`execute_defaults`]
-    /// consumes — same layering as [`compute_dag`](ClassView::compute_dag):
-    /// resolution metadata above the SoA, stores nothing on the row.
+    /// write-if-blank default (`this.Name ??= …`; the lazy-init
+    /// `if (field == null) field = new …` idiom), in declaration order. The
+    /// manifest [`execute_defaults`] consumes — same layering as
+    /// [`compute_dag`](ClassView::compute_dag): resolution metadata above the
+    /// SoA, stores nothing on the row.
     ///
     /// Default `&[]` — the zero-fallback: an unconfigured class has no
     /// defaulted fields. An implementor returns a generated `const &[u8]`;
@@ -1451,7 +1453,7 @@ mod tests {
 
     // ── screen-graph jump connector (navigates_to Klickweg) ──────────────────
 
-    // ── execute_compute_dag (lane-3a increment 1: the ORDER half) ────────────
+    // ── execute_compute_dag (topological-order sequencing primitive) ─────────
 
     /// Chain f0→f1→f2 executes in dependency order and the consumer closure
     /// sees precedents already recomputed (value semantics stay consumer-side).
@@ -1531,7 +1533,7 @@ mod tests {
         assert_eq!(row, [1]);
     }
 
-    // ── execute_defaults (lane-3a increment 2: the Default-recipe half) ──────
+    // ── execute_defaults (presence-gated fire-if-absent primitive) ───────────
 
     /// An empty presence mask fires every target, in SLICE order (declaration
     /// order — defaults have no dependency order to reorder by).
 
@@ -51,7 +51,10 @@ const fn u24_le(a: u8, b: u8, c: u8) -> u32 {
 /// the same no-silent-truncation guard `NodeGuid::new` uses for its u24 groups.
 #[inline]
 fn put_u24_le(dst: &mut [u8], v: u32) {
-    debug_assert!(v <= 0x00FF_FFFF, "legacy outlier u24 field must fit 24 bits");
+    debug_assert!(
+        v <= 0x00FF_FFFF,
+        "legacy outlier u24 field must fit 24 bits"
+    );
     dst[0] = (v & 0xFF) as u8;
     dst[1] = ((v >> 8) & 0xFF) as u8;
     dst[2] = ((v >> 16) & 0xFF) as u8;