docs(D-DT64-6): implementation plan for the OGIT predicate expansion

.claude/board/INTEGRATION_PLANS.md

@@ -1,12 +1,15 @@
+## 2026-10-28 — D-DT64-6 predicates: implementation plan for the OGIT predicate expansion → `.claude/plans/d-dt64-6-ogit-predicates-impl-v1.md`
+
+**Status:** PROPOSED, docs only; companion to #1831 (D-DT64-6). **Board:** [entry](entries/2026-10-28-d-dt64-6-ogit-predicates-impl.md), [STATUS_BOARD](STATUS_BOARD.md) D-DT64-6 (the rows #1831 added). Adds D-DT64-6-1a (511 `owl:ObjectProperty` verbs and root `ogit:` names that `ttl_parse` skips today) and details 6-1..6-4 with files, tests and acceptance counts.
+**Confidence:** plan row only; stages unstarted.
+
 ## 2026-10-28 — D-SAG-6-1 reference ledger and stale-status corrections → `.claude/plans/d-sag-6-1-audit-reference-ledger-v1.md`
 
 **Status:** PROPOSED, docs only; prerequisite reading for D-SAG-6-1 (#1760), not the audit. **Board:** [entry](entries/2026-10-28-d-sag-6-1-audit-reference-ledger.md). Lists the references #1760 §7 lacks (ruff `ruff_spo_triplet` files and plans, `ogar-from-ruff`, CFA #1813/#1814/#1818, #1792, #1799, contract files, D-DTM-1, ndarray primitives, crai-rs CR-H0/H1) and corrects stale status (crai-rs lists #1813–#1830 as open; ruff has no Rust frontend; `ProposedMethod` is not defined in code).
 **Confidence:** reference ledger only; D-SAG-6-1 unstarted.
 ## 2026-10-28 — D-DT64-6: DR64 routing, DT64 bind store, per-cell WHEN×ON×DO behaviour, OGIT reference predicates → `.claude/plans/d-dt64-6-routing-bindstore-behavior-v1.md`
 
 **Status:** PROPOSED, docs only; nothing authorized. **Board:** [entry](entries/2026-10-28-d-dt64-6-routing-bindstore-behavior.md), [STATUS_BOARD](STATUS_BOARD.md) D-DT64-6. Records eight user decisions (three DT64 levels; primary DR#3 Identity × Properties; WHEN×ON×DO per DR#3 cell; DR64 = direct routing, DT64 = DTO bind store; immutable classid → behaviour via hotplug; global needs no classid; OGIT read unpinned; DR64 references existing identity and the global→local prefetch holds a frame-keyed register copy) and stages D-DT64-6-0..5 with 6-1a (classify the verb files both readers miss: lance-graph accepts 12, OGAR 511, of 523), OGIT reader reconciliation, one `(src, verb, dst)` table from the entity `ogit:allowed` blocks with no second parser, DT64 predicate registration, consumer HotPlug access. Requests an amendment to D-DT64-Q0's "One-sentence contract" (persistent binding store); not applied.
-**Confidence:** plan row only; stages unstarted.
-
 ## 2026-10-26 — D-TFLP v2: synergy revision → `.claude/plans/d-tflp-tflite-palette-polyfill-capstone-v2.md`
 
 **Status:** PROPOSAL, docs only; revises v1 (#1785). **Board:** [entry](entries/2026-10-26-d-tflp-v2-synergy-revision.md), [STATUS_BOARD](STATUS_BOARD.md) D-TFLP. Folds GPT's six #1785 corrections; rescopes D-TFLP-4 to the source reciprocal from #1800; splits prepared-object identity into numeric cache key + semantic receipt from #1800/#1801; adds D-TFLP-5a (intake bake-off, #1802 pattern); records boundaries with DT64-5 and DR256/DQM.

.claude/board/entries/2026-10-28-d-dt64-6-ogit-predicates-impl.md

@@ -0,0 +1,27 @@
+# D-DT64-6-1a to 6-4: implementation plan for the OGIT predicate expansion
+
+**Status:** PROPOSED / DOCS ONLY. Plan: [d-dt64-6-ogit-predicates-impl-v1.md](../../plans/d-dt64-6-ogit-predicates-impl-v1.md). Companion to [#1831](https://github.com/AdaWorldAPI/lance-graph/pull/1831) (D-DT64-6), which stages the OGIT work in one line per stage. No code, test, ABI or merge authorization.
+Read at lance-graph `main` `eeaaafb`, OGAR `main` `6b43a48`, AdaWorldAPI/OGIT `master` `b5731a8` (provenance receipt, not a pin).
+
+## Findings that shape the stages (MEASURED or VERIFIED-IN-CODE)
+
+- `ttl_parse` `classify` accepts a verb only as `rdfs:Class` + `subClassOf ogit:Verb`. OGIT has 523 verb files: 511 are `owl:ObjectProperty` + `subPropertyOf ogit:Verb` and fall to `SubjectKind::Other`; only the 12 `NTO/WorkOrder` verbs match.
+- `OgitUri::parse` needs an `ogit.<Domain>:` prefix, so root `ogit:` subjects (183 SGO verbs, SGO core entities) are skipped. About 79% of allowed edges use a root `ogit:` verb; about 19% have source, verb and target all in a domain namespace (regex count, approximate).
+- `ogit:allowed` is on entity files (960 files, none under `verbs/`), one `[ verb target ]` blank node per cell; `ogit:from-to` only on the 12 WorkOrder verbs. `walk_rdf_list` returns IRI items only, so blank-node cells are never read.
+- OGAR reads the same block with `ogar-from-schema` `extract_allowed_block` into `OgitTables::Allowed`; OGAR depends on lance-graph-ontology, so the parity test belongs in OGAR `tests/ontology_cache.rs`, which already compares entity names between the two readers.
+- DT64-1 is one fixed 64-slot catalogue; OGIT's 378 used, polymorphic verbs need one catalogue per ClassView frame (p95 10 verbs per class, max 123, 2 classes above 64).
+
+## Stages added or detailed
+
+D-DT64-6-1a (new: verb classification and root namespace in `ttl_parse`), D-DT64-6-1 (two-reader partition test in OGAR), D-DT64-6-2 (`(src, verb, dst)` table from entity `ogit:allowed` plus `from-to`, pair-for-pair against `OgitTables::Allowed`), D-DT64-6-3 (per-frame catalogues filling DT64-1's descriptor), D-DT64-6-4 (HotPlug read access, no consumer copy). Each with tests that fail on today's `main`, silence twins and a disable run.
+
+## Open
+
+Root-namespace form in `OgitUri`; which reader owns the allowed table (OGAR, lance-graph-ontology, or a generated TSV snapshot both read; plan §6); per-frame catalogues versus DT64-1's single catalogue; whether the allowed table is exposed through `OntologyRegistry`. The `LinkSpec` replacement is decided by #1831.
+
+## Update (same day): measurements and reconciliation, plan §§6–9
+
+- OGAR rejects 102 OGIT files on `b5731a8`: the 12 `rdfs:Class` verbs and 90 files written with column-aligned whitespace after `a`. Accepting both forms (a proposed OGAR stage, D-DT64-6-1b) measured 102 → 90 → 0 rejected (MEASURED, changes reverted).
+- `extract_allowed_block` loses 116 cells in 5 files: a `)` in a comment inside the list (4 files) and `ogit:allowed` written in a description (1 file). No file has two cells on a line or a cell over two lines (MEASURED).
+- File universes 960 / 953 / 952 / 939 / 931 and row counts per category (allowed versus from-to) are separated in plan §7.3.
+- Corrections recorded for merged #1831 §2 and #1833 §2 (the "successor" attribution); description is not a fourth axis beside ON, WHEN and DO (plan §8); crai-rs CR-H2 waits on the D-SAG-6-1 audit (plan §9).

.claude/board/entries/README.md

@@ -25,12 +25,13 @@ 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.
 
-490 entries, 2026-08-06 .. 2026-10-28.
+491 entries, 2026-08-06 .. 2026-10-28.
 
 | date | entry id | finding | file |
 |---|---|---|---|
 | 2026-10-28 | `D-SAG-6-1` |  | [2026-10-28-d-sag-6-1-audit-reference-ledger.md](2026-10-28-d-sag-6-1-audit-reference-ledger.md) |
 | 2026-10-28 | `D-DT64-6` |  | [2026-10-28-d-dt64-6-routing-bindstore-behavior.md](2026-10-28-d-dt64-6-routing-bindstore-behavior.md) |
+| 2026-10-28 | `D-DT64-6-1a` |  | [2026-10-28-d-dt64-6-ogit-predicates-impl.md](2026-10-28-d-dt64-6-ogit-predicates-impl.md) |
 | 2026-10-27 | `harvest-integration-composite-key-and-simd-scope` |  | [2026-10-27-harvest-integration-composite-key-and-simd-scope.md](2026-10-27-harvest-integration-composite-key-and-simd-scope.md) |
 | 2026-10-26 | `D-ONNX-INTAKE-0` |  | [2026-10-26-onnx-frontend-intake-bakeoff.md](2026-10-26-onnx-frontend-intake-bakeoff.md) |
 | 2026-10-26 | `D-DT64-0` |  | [2026-10-26-dt64-holographic-interface.md](2026-10-26-dt64-holographic-interface.md) |