docs(D-CGMM-0): lazy Codegraph Kythe/Datalog intake and MeTTa FieldViewDef method schema

.claude/board/INTEGRATION_PLANS.md

@@ -1,6 +1,16 @@
 ## 2026-11-04 — D-DRIVER-ZC-0: virtual access driver instead of 17,000 per-call copy audits
 
 **Status:** PROPOSED / DOCS ONLY. [Master](../plans/d-driver-zc-virtual-bus-contract-v1.md) · [staged PR charter](../plans/d-driver-zc-staged-pr-charter-v1.md) · [47 falsifiers](../plans/d-driver-zc-falsifier-matrix-v1.md) · [board entry](entries/2026-11-04-d-driver-zc-0-virtual-bus-contract.md) · [STATUS_BOARD](STATUS_BOARD.md) D-DRIVER-ZC · [EXO-154](https://linear.app/exo-red/issue/EXO-154) / [EXO-153](https://linear.app/exo-red/issue/EXO-153) / [EXO-50](https://linear.app/exo-red/issue/EXO-50). **Architecture move:** apply ndarray SIMD polyfill's facade-and-parity law to a single local/foreign/data-owner *address-access membrane*. Five virtual XX/XY/XZ/YY/ZZ lenses share one witnessed canonical SoA address; typed ClassView and Quack/mask-risc/ndarray execute without default copied values/row reconstruction. BIND→PROJECT→STREAM→EXECUTE→RELEASE; strict local borrow vs disk ingress vs remote message distinction; no new ISA/ALU/hash index or driver runtime. Co-addressed selections and once-per-frame routing first; foreign hops remain EXO-46/89/151/140-gated; D4/S-INGRESS and oracle-lifetime owners open. A 47-case matrix separates semantic results, representation bytes, reachability enforcement and end-to-end economics. #1953/#1955/#1956 already merged; the 8 ZC stages are independent, only ZC-0 documented now. "Thinking Hard Drive" is a proposed restricted theorem schema, not an assertion that disks perform computation or every query takes O(1). **Explicit defer:** no cognitive-shader-driver/Ladybug/P64/StreamDTO/BusDTO/PerturbationDTO stack investigation or consolidation during this PR.
+## 2026-11-04 — D-CGMM-0: Codegraph Kythe/Datalog demand → ClassView FieldViewDef scratch → DT64
+
+**Execution-ready docs addendum (2026-11-04):** [Detailed source→demand→native blueprint](../plans/d-cgmm-implementation-blueprint-v1.md), [EXO owner decision ledger](../plans/d-cgmm-exo-gates-v1.md), [independent fixture oracles](../plans/d-cgmm-executable-fixtures-v1.md); all new source/semantic/bench results still **NOT_RUN**. First lab should verify Ruff/Charon source evidence loss and identity, then demand-bound lazy Codegraph parity; do not skip straight to DT64 execution by treating candidate schema offers as permits.
+
+
+**Status:** PROPOSED / DOCS ONLY. [Master architecture](../plans/d-cgmm-codegraph-metta-method-builder-v1.md) · [lazy-Codegraph evidence/demand separation](../plans/d-cgmm-lazy-codegraph-fact-demand-v1.md) · [ActionDef/OGIT many-to-many relation](../plans/d-cgmm-action-relation-schema-v1.md) · [staged PR charter](../plans/d-cgmm-staged-pr-charter-v1.md) · [46 falsifiers](../plans/d-cgmm-falsifier-matrix-v1.md) · [board entry](entries/2026-11-04-d-cgmm-0-metta-class-method-builder.md) · [EXO-155](https://linear.app/exo-red/issue/EXO-155) / [EXO-50](https://linear.app/exo-red/issue/EXO-50).
+
+**Operator's direction:** MeTTa becomes logical class/method schema glue rather than runtime. **Source AST/harvest→Kythe-shaped immutable evidence (not Codegraph Pos)→Crepe/Soufflé/XLOG compiler demand metadata→lazy Codegraph masks→witnessed ClassView/FieldViewDef with ephemeral MeTTa constraint scratch→separate OGIT LinkSpec M:N / OGAR ActionDef / DT64 MethodBinding admission→existing RelAlg/Quack/R2IL/mask-risc/ndarray execution.** Codegraph already binds joins lazily and uses graded masks, but eagerly builds six XLOG relations; lazy planner is a measurable hypothesis, not a shipped complete rewrite. No alternate hash index or owned AST/tree. Copy-free SoA hot path remains D-DRIVER-ZC's guarantee; field presence, tenant auth, Bag multiplicity, source grading and action effects are independent. Unsupported WHEN/K3, recursion, foreign tenant edge and effectful action are typed refusals, not a fallback interpreter.
+
+**Separate gates:** EXO-84/85 MeTTa, EXO-79/143 MORK, EXO-73 datafrog/recursion, EXO-108 Bag, EXO-95 enterprise source parity, EXO-121 ClassView, EXO-152 normalized method DTO, EXO-153/154 DR virtual driver/zero-copy. All future PRs require independent review; only docs stage opened now. No runtime implementation or D4 admission inferred.
 
 ## 2026-11-04 — D-DRISA decision memos after the local register proof → `.claude/plans/d-drisa-decision-memos-v1.md`
 

.claude/board/STATUS_BOARD.md

@@ -1,3 +1,24 @@
+## D-CGMM — Lazy Codegraph fact/demand + MeTTa class-method scratch (2026-11-04)
+
+**Implementation detail update (2026-11-04):** [Source→native blueprint](../plans/d-cgmm-implementation-blueprint-v1.md), [EXO gate ledger](../plans/d-cgmm-exo-gates-v1.md) and [fixed independent fixtures](../plans/d-cgmm-executable-fixtures-v1.md) refine the eight future stages. All executable fixtures are **NOT_RUN**, with expected pure COUNT=2 and tenant-A Set=3/Bag=4. The only authorized artifact is docs in draft PR #1958; owners of EXO-121/152/46/140/95/108/73 remain open gates.
+
+
+**Status:** D-CGMM-0 PROPOSED / DOCS ONLY. [Master](../plans/d-cgmm-codegraph-metta-method-builder-v1.md) · [lazy Codegraph](../plans/d-cgmm-lazy-codegraph-fact-demand-v1.md) · [OGIT/OGAR edge-action addendum](../plans/d-cgmm-action-relation-schema-v1.md) · [PR charter](../plans/d-cgmm-staged-pr-charter-v1.md) · [46 falsifiers](../plans/d-cgmm-falsifier-matrix-v1.md) · [board entry](entries/2026-11-04-d-cgmm-0-metta-class-method-builder.md) · [EXO-155](https://linear.app/exo-red/issue/EXO-155) · [EXO-50](https://linear.app/exo-red/issue/EXO-50) append-only handoff. **No production source harvester, executable MeTTa/Datalog, new ClassId, schema, ISA, driver or automatic authorization.**
+
+| D-id | Proposed PR stage | State / named gate |
+| --- | --- | --- |
+| D-CGMM-0 | source-grounded architecture, owner crosswalk, 46 independent falsifiers | THIS DOCS PR, review only |
+| D-CGMM-1 | Ruff/Charon→Kythe-shaped source identity, binary-lane effect/coverage census | FUTURE LAB, producer + Codegraph owner |
+| D-CGMM-2 | Crepe/Soufflé/XLOG compile evidence and *lazy* Codegraph demand plans | FUTURE LAB, EXO-73/79/143 gates |
+| D-CGMM-3 | ClassView-based FieldViewDef + disposable MeTTa-shaped constraint scratch | FUTURE LAB, EXO-121/152 |
+| D-CGMM-4 | OGIT M:N edge roles, tenant permission and OGAR ActionDef offers | FUTURE LAB, EXO-95/108, OGAR/ontology |
+| D-CGMM-5 | eligible same-row FieldViewDef → RelAlg pure polyfill | FUTURE LAB, Quack/R2IL owner |
+| D-CGMM-6 | separately admitted immutable DT64 MethodBinding → R2IL native | GATED EXO-121/152, execution permission |
+| D-CGMM-7 | prepared method/route memoization with source/version/scope fence | FUTURE LAB, D-DRISA/D-DRIVER-ZC gates |
+| D-CGMM-8 | independent Datalog/MORK and provenance/caller coverage, NNUE ranking-only | FUTURE LAB, EXO-79/143/154/73 |
+
+**Architectural laws:** durable source identity ≠ Codegraph interned Pos ≠ DR local ordinal ≠ ClassId/MethodId. Source grades confirmed/possible/unknown retained. Crepe binding and Soufflé magic/stratification are **cold plan evidence**, not new runtimes. Codegraph partially lazy already, while six XLOG Cube relations are built at intake; the new proposal must measure whether demand-scoping actually wins. ClassView FieldMask means presence, not rule truth. MeTTa-shaped scratch is ephemeral; OGIT/OGAR/DT64 owners separately admit typed ontology and method declarations. RelAlg IR has no general M:N join/effect/WHEN executable path. No legacy cognitive-shader-driver/DTO consolidation is in scope.
+
 ## D-DRIVER-ZC — one zero-copy access membrane and virtual bus (2026-11-04)
 
 **Status:** D-DRIVER-ZC-0 PROPOSED / DOCS ONLY. [Master](../plans/d-driver-zc-virtual-bus-contract-v1.md) · [staged PR charter](../plans/d-driver-zc-staged-pr-charter-v1.md) · [47 independent falsifiers](../plans/d-driver-zc-falsifier-matrix-v1.md) · [entry](entries/2026-11-04-d-driver-zc-0-virtual-bus-contract.md) · [EXO-154](https://linear.app/exo-red/issue/EXO-154) · [EXO-153](https://linear.app/exo-red/issue/EXO-153) · [EXO-50](https://linear.app/exo-red/issue/EXO-50). **No driver implementation or production access rule shipped.**

.claude/board/entries/2026-11-04-d-cgmm-0-metta-class-method-builder.md

@@ -0,0 +1,45 @@
+# D-CGMM-0: Kythe-shaped facts, lazy Codegraph, MeTTa schema scratch and DT64 method building
+
+**2026-11-04. STATUS: DOCS / PRE-REGISTRATION ONLY.** This board entry is a proposed architecture, not an AST intake implementation, executable MeTTa/Datalog runtime, new ClassId/FieldRef/ActionDef API, source identity owner, vendor integration, NNUE certification or speedup claim.
+
+**Core operator insight:** Use MeTTa-shaped **logical class-method schema constraints**, not a second MeTTa interpreter. Codegraph should become **demand-scoped and lazy**, backed by compiler-evidence facts with Kythe-like stable source identity, with Crepe/Soufflé/XLOG compilation **metadata** guiding required relation/field views. A witnessed `ClassView` provides the stable field basis; proposed `FieldViewDef` offers are matched in temporary logical constraint scratch; OGIT/OGAR/DT64 admit ontology/ActionDef/method semantics; existing RelAlg/R2IL/mask-risc/ndarray executes eligible operations on borrowed SoA.
+
+**Architecture:** [D-CGMM master](../../plans/d-cgmm-codegraph-metta-method-builder-v1.md) · [Kythe/Datalog/lazy Codegraph](../../plans/d-cgmm-lazy-codegraph-fact-demand-v1.md) · [OGIT/OGAR ActionDef and M:N](../../plans/d-cgmm-action-relation-schema-v1.md) · [staged PR charter](../../plans/d-cgmm-staged-pr-charter-v1.md) · [46 falsifiers](../../plans/d-cgmm-falsifier-matrix-v1.md).
+**Tracking:** [EXO-155](https://linear.app/exo-red/issue/EXO-155), [EXO-50](https://linear.app/exo-red/issue/EXO-50) message bus; [EXO-153](https://linear.app/exo-red/issue/EXO-153)/[EXO-154](https://linear.app/exo-red/issue/EXO-154) related virtual driver/zero-copy plans.
+
+## Existing proofs vs new proposal
+
+- Codegraph `graph.rs` currently interns symbols into `Pos`, builds a `MapTable` plus six XLOG `Cube` relations and masks; the reverse derived structures have `OnceCell`. `query.rs` uses bound joins and graded confirmed/possible/unknown masks. **Partially lazy today, not full demand-compiled Codegraph.**
+- Ruff/Charon `.rows.bin`, FUNDECL and PROV are existing source-evidence intake; source effect/dispatch/receiver gaps remain **UNKNOWN**. Codegraph interned `Pos` is NOT Kythe durable source identity, ClassId, MethodId or DR ordinal.
+- The [Crepe/Soufflé/XLOG archaeology](2026-11-02-coresearch-xlog-souffle-crepe-dr3-archaeology.md) documents binding/demand/index, magic-set/stratification and compile metadata losses. It expressly warns not to import a second runtime, and records `crepe_plan!` drift D1/D2. **Compiler metadata can be cold admission evidence only after falsification.**
+- `ClassView` is already the meta lookup above SoA; `FieldMask`/`WideFieldMask` signify instance presence, NOT speculative rule truth. `lens_fields(full_classid)` is mandatory for behavior lens; unknown lens refuses.
+- `lance-graph-ontology::MappingProposalKind::Edge{LinkSpec}` and `Cardinality::ManyToMany` already model typed ontology edges, **not** edge instances or Bag derivation counts. OGAR `ActionDef` owns richer behavior; `ActionSpec` is not equivalent.
+- `lance-graph-relalg::Rel` supports one-population All/Empty/Plane/I32/U32 atom/And/Or/Not + Count/Sum/Min/Max/Keep. It does **NOT** execute an arbitrary M:N join, effect, guarded DT64 WHEN or MeTTa rewrite.
+- `lance-graph-r2il::binding(_native)` admits only a restricted executable subset and explicitly refuses guarded WHEN/three-valued truth; `ExecPermit` is lab only. No automatic schema-to-code promotion.
+- NNUE may rank candidate equivalence **offline only**. Source evidence, tenant permission and semantic effect order decide admission, not probability.
+
+## Independent future PR stages
+
+| ID | Purpose | State / owner |
+| --- | --- | --- |
+| D-CGMM-0 | docs, owner gates, 46 independent tests, board/Linear handoff | THIS DOCS PR |
+| D-CGMM-1 | Ruff/Charon binary/Kythe fact identity and effect-loss census | FUTURE LAB; producer/Codegraph |
+| D-CGMM-2 | compiled binding/demand metadata; lazy Codegraph against eager baseline | FUTURE LAB; XLOG/Codegraph/EXO-73 |
+| D-CGMM-3 | ClassView-based FieldViewDef, disposable MeTTa constraint scratch | FUTURE LAB; EXO-121/152 |
+| D-CGMM-4 | OGIT M:N edge tenant + OGAR ActionDef schema offers | FUTURE LAB, semantic/tenant owner gates |
+| D-CGMM-5 | pure one-row RelAlg polyfill of eligible FieldViewDef | FUTURE LAB, Quack/R2IL owner |
+| D-CGMM-6 | admitted DT64 method → native binding proof | GATED EXO-121/152, execution owner |
+| D-CGMM-7 | memoized recipe/binding economics, no source-value cache | FUTURE LAB after 5/6 |
+| D-CGMM-8 | independent datafrog/MORK oracle, NNUE-only candidate ranking and reachability | GATED EXO-79/143/73/154 |
+
+## Mandatory refusals
+
+Unknown effects ≠ no effects; possible dispatch ≠ confirmed; missing source producer ≠ known absence; ClassId concept ≠ app method equivalence; many-to-many ≠ Bag; ontology context ≠ tenant authorization; Codegraph `Pos` ≠ durable source ID; RelAlg GYO acyclicity ≠ a join executor; no recursive/cross-tenant/guarded action under a fallback interpreter. **Scratch is disposable and cannot issue ClassId/MethodId or mutate registered ontology.**
+
+**Related owner issues:** [EXO-84](https://linear.app/exo-red/issue/EXO-84), [EXO-85](https://linear.app/exo-red/issue/EXO-85), [EXO-79](https://linear.app/exo-red/issue/EXO-79), [EXO-143](https://linear.app/exo-red/issue/EXO-143), [EXO-101](https://linear.app/exo-red/issue/EXO-101), [EXO-73](https://linear.app/exo-red/issue/EXO-73), [EXO-108](https://linear.app/exo-red/issue/EXO-108), [EXO-95](https://linear.app/exo-red/issue/EXO-95), [EXO-121](https://linear.app/exo-red/issue/EXO-121), [EXO-152](https://linear.app/exo-red/issue/EXO-152), [EXO-153](https://linear.app/exo-red/issue/EXO-153), [EXO-154](https://linear.app/exo-red/issue/EXO-154).
+
+**Deferred:** any inspection or consolidation of cognitive-shader-driver / migrated Ladybug-rs / P64/StreamDTO/BusDTO/PerturbationDTO; no speculative production endpoint or new schema store.
+
+## Implementation packet / explicit EXO decisions (2026-11-04)
+
+New source-linked documents in the same **docs-only draft PR #1958**: [implementation blueprint](../../plans/d-cgmm-implementation-blueprint-v1.md), [EXO owner gate ledger](../../plans/d-cgmm-exo-gates-v1.md), [concrete independent fixture corpus](../../plans/d-cgmm-executable-fixtures-v1.md). The fixtures fix call-grade expectations, pure selection COUNT=2, M:N tenant-A Set=3/Bag=4, contradictory application-action effects and invalidation under source/scope change. **All NOT_RUN**. Explicit critical path: EXO-155 coordination; EXO-84/85 demand and MeTTa rules; EXO-121 FieldViewDef/ClassView; EXO-152 normalized native method; EXO-46/140 foreign binding; EXO-95 OGIT/OGAR/SAP/Odoo; EXO-108 Bag; EXO-73 recursion; EXO-79/143 MORK oracle; EXO-153/154 borrowed execution; EXO-104/105/109 oracle/copy firewall; EXO-50 append-only messaging. No production admission, new schema authority or automatic merge.

.claude/board/entries/README.md

@@ -25,14 +25,15 @@ index row, (3) no duplicate entry id. Checks 1 and 2 are deliberately
 opposite directions; the stranding this convention prevents shows up in
 exactly one of them, never both.
 
-576 entries, 2026-08-06 .. 2026-11-04.
+577 entries, 2026-08-06 .. 2026-11-04.
 
 | date | entry id | finding | file |
 |---|---|---|---|
 | 2026-11-04 | `D-DRIVER-ZC-0` |  | [2026-11-04-d-driver-zc-0-virtual-bus-contract.md](2026-11-04-d-driver-zc-0-virtual-bus-contract.md) |
 | 2026-11-04 | `D-DRISA-3` |  | [2026-11-04-d-drisa-3-alu-semantics.md](2026-11-04-d-drisa-3-alu-semantics.md) |
 | 2026-11-04 | `D-DRISA-1` |  | [2026-11-04-d-drisa-1-register-proof.md](2026-11-04-d-drisa-1-register-proof.md) |
 | 2026-11-04 | `D-DRISA-0` |  | [2026-11-04-d-drisa-0-remote-register-contract.md](2026-11-04-d-drisa-0-remote-register-contract.md) |
+| 2026-11-04 | `D-CGMM-0` |  | [2026-11-04-d-cgmm-0-metta-class-method-builder.md](2026-11-04-d-cgmm-0-metta-class-method-builder.md) |
 | 2026-11-03 | `D-XLOG-META-WIRE-P0` |  | [2026-11-03-d-xlog-meta-wire-p0.md](2026-11-03-d-xlog-meta-wire-p0.md) |
 | 2026-11-03 | `D-GRAMMAR-WHEN-1` |  | [2026-11-03-d-grammar-when-1.md](2026-11-03-d-grammar-when-1.md) |
 | 2026-11-03 | `D-GRAMMAR-CONSTRAINTS-0` |  | [2026-11-03-d-grammar-constraints-0.md](2026-11-03-d-grammar-constraints-0.md) |