docs(board): post-merge hygiene for #542

.claude/board/LATEST_STATE.md

@@ -54,6 +54,7 @@
 
 | PR | Merged | Title | What it added |
 |---|---|---|---|
+| **#542** | 2026-06-18 | E-OGAR-IS-FOUNDRY capstone + 5+3 council + the key→row baton | Foundry/Gotham = "write the OGAR class schema + inheritance"; everything else is generic machinery over it (ontology=`classid→ClassView`+inheritance, AR=DO/THINK, pipelines=`compute_dag`, apps=Jinja-over-classes, query=Cypher⇄SurrealQL one IR). Added `MailboxSoaView::row_for_local_key -> Option<usize>` (default `None`, deferred-binding — the key→row baton for a future `Backend::MailboxSoa` router). Epiphanies `E-OGAR-IS-FOUNDRY`/`E-CYPHER-IS-THE-KANBAN-AST`/`E-GUID-IS-THE-GRAPH`; plan `cypher-kanban-ast-unification-v1`. Council corrections: `from_guid_prefix` is on `NiblePath` not `NodeGuid`; "odoo proof" = CONJECTURE; `ogar-adapter-surrealql` not a crate. Branch `claude/q2-substrate-grounding`, merge `faca377f`. |
 | **#540** | 2026-06-18 | `lite-unified` additive default-OFF coexistence feature gate | **+35/-5, 2 files.** `lite-unified = []` in `crates/lance-graph/Cargo.toml` (empty until SurrealQL-on-lance lowering lands). **datafusion stays DEFAULT — NOT deprecated, NOT made optional.** Process, not switch; promoted per query-shape once OQ-LU-2a is green. Zero behavior change at default features. Branch `claude/lite-unified-gate`, merge `ef7e97ef`. |
 | **#539** | 2026-06-18 | particle/wave click → `ClassView::compute_dag` (the one Core gap) + electricity-cascade join | **+570, 6 files, additive to `lance-graph-contract` only.** `class_view::{ComputeEdge, compute_dag_is_acyclic, compute_dag_topo_order}` + `ClassView::compute_dag` default (zero-fallback). `compute_dag_topo_order -> Option<Vec<u8>>` = the recompute ORDER (Kahn; `None` on cycle; leaves excluded). 4+1 epiphanies (`E-OGAR-ROUTER-ENCODER` = router+encoder, physics-duality stripped; `E-EXCEL`, `E-CHESS` = NNUE-proven shape, `E-PERTURBATION` = the cascade IS compute_dag, Weyl bound certifies incrementality; folded `E-AR-DO-WIRING`). Doc-join `crates/perturbation-sim/COMPUTE_DAG_MAPPING.md` (perturbation-sim stays zero-dep). **⚠ tracked: `ClassView::value_schema` default = `ValueSchema::Full` is a TEMPORARY POC — revert to `Bootstrap` + its test when the consumer-transcode phase ends (type-level default stays `Bootstrap`).** 13/13 class_view, clippy/fmt clean. Branch `claude/particle-wave-click-epiphany`, merge `b0255499`. |
 | **#538** | 2026-06-18 | cycle-aware write contract (S2.5) + OGAR DO arm (`action.rs`) | Cycle-aware mailbox write + the Perdurant DO arm. `mailbox_soa`: `last_write_cycle`/`stale_write_count`/`WriteOutcome`/`WriteCell`/wrap-aware `write_row`. `action::{ActionDef, ClassActions, actions_for, effective_actions, ActionInvocation}`; `commit` gate = def-match → RBAC → state-guard → MUL → `ExecTarget::SurrealQl`. `object_instance` is a full `NodeGuid` (5+3 CATCH-CRITICAL). `substrate_sanity.rs` NaN/tautology harness (8 tests). `docs/OGAR_CONSUMER_API.md`. Branch `claude/soa-write-deinterlace-inc2`. |

.claude/board/PR_ARC_INVENTORY.md

@@ -35,6 +35,19 @@
 
 ---
 
+## #542 the q2-substrate grounding arc — E-OGAR-IS-FOUNDRY capstone + 5+3 council + the key→row baton
+
+**Status:** MERGED 2026-06-18 (merge commit `faca377f`), branch `claude/q2-substrate-grounding`. The platform-level reading + the council that hardened it, + the one buildable prerequisite. Additive to `lance-graph-contract` only.
+
+- **Added** — `MailboxSoaView::row_for_local_key(local_key) -> Option<usize>` (default `None`, deferred-binding; the key→row baton a `Backend::MailboxSoa` router needs). +1 test, clippy clean. Epiphanies: `E-OGAR-IS-FOUNDRY` (capstone), `E-CYPHER-IS-THE-KANBAN-AST`, `E-GUID-IS-THE-GRAPH`. Plan: `cypher-kanban-ast-unification-v1`.
+- **Locked** — **Foundry/Gotham = "write the OGAR class schema + inheritance"; everything else is generic machinery over it:** ontology=`classid→ClassView`+inheritance, AR behavior=DO/THINK (`ActionDef` vs `MethodSig`), pipelines=`compute_dag`, apps=Jinja-over-classes (`class_id→OGIT ontology` seam), query=Cypher⇄SurrealQL one IR. The substrate IS the graph (GUID-key=node, `EdgeBlock`-slot=edge, traversal=prefix-route+slot-deref, zero-value-decode). A kanban board IS a graph → Cypher is its AST (one IR, four *relationships*: surface/egress/planner-layer/mutated).
+- **Deferred** — `Backend::MailboxSoa` router variant (Inc 0) gated on three pinned boundaries: edge-rep `classid`-resolved (`EdgeCodecFlavor`) not query-guessed; domain-board legality via `classid→ClassView` (NOT `KanbanColumn`); board mutation through the DO-arm commit gate (RBAC→state-guard→MUL), not raw `MATCH…SET`. Cypher→SurrealQL lowering = dependency-on `lite-unified` OQ-LU-2 (not a duplicate). q2 consumer (Inc 3).
+- **Corrections (from the 5+3 council)** — `from_guid_prefix` is on `NiblePath` (`hhtl.rs:262`), not `NodeGuid`. The "odoo existence proof" is CONJECTURE not FINDING (tagged `const ActionDef` + `classify_odoo`, no executor arm, no lowering); `ogar-adapter-surrealql` is NOT a crate (nearest = `surreal_container::SurrealStore`, `BLOCKED(C)` stub). "zero-value-decode" (F2) is design-intent until a value-access counter exists.
+- **Docs** — `E-OGAR-IS-FOUNDRY` + 2 prior epiphanies + council corrections; `.claude/plans/cypher-kanban-ast-unification-v1.md` (plan + 5+3 verdict + body-on-one-contract fixes from PR review).
+- **Confidence (2026-06-18):** working — capstone doctrine + the deferred-binding accessor merged; the router variant is the next increment, boundary-gated.
+
+---
+
 ## #540 lance-graph: `lite-unified` additive default-OFF coexistence feature gate
 
 **Status:** MERGED 2026-06-18 (merge commit `ef7e97ef`), branch `claude/lite-unified-gate`. **+35/-5 across 2 files.** The "wire it but don't deprecate datafusion — process, not switch" request made concrete and non-destructive.