diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 0e94fe1e..d4564e35 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.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` (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>` = 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`. | diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 325e2359..16c6ff88 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.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` (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.