AdaWorldAPI
diff --git a/‎.claude/board/EPIPHANIES.md‎
Lines changed: 26 additions & 0 deletions b/‎.claude/board/EPIPHANIES.md‎
Lines changed: 26 additions & 0 deletions
@@ -302,6 +302,32 @@ The local-scan `memberof` (#this-branch) is the **in-mailbox special case** of "
 **Three threads are ONE structure:** basin-tree (1→4→16…) = Morton tile pyramid (quadtree subdivision) = `perturbation-sim` L1-L4 cascade levels = the field perturbation-learning runs over. Distance = hop count = pyramid level = cascade round — **one number, three readings**.
 
 **Wiring (gated on the 5+3 council for the SoA-ownership commitment):** add `row_for_member_index` to the contract (basin-node → member row); wire the EdgeBlock out-family slot → sibling basin-node via ClassView (Options 1+2); reclassify **CHAODA as a unary `node_anomaly`** (point↔manifold LFD), NOT a pairwise `DistanceMeans` — it never belonged in the hop-distance dispatch. The `node_distance(PrefixDepth)` tree-hop is already the basin-tree distance; no new means needed for the structural tier. Cross-refs: `E-PANCAKES-IS-RADIX-IS-HHTL` (radix subtree = basin), `E-COARSE-QUANTIZER-IS-SCALE-FREE-ROUTER` (basin-node = IVF coarse centroid = parent SoA), `E-CLAM-IS-THE-MANIFOLD-ENGINE` (CHAODA = unary anomaly), `E-WHT-META-AWARENESS-AND-KRONECKER-LOOKUP` (pyramid energy = the field summary), `E-GUID-IS-THE-GRAPH`, canon node 512 B, `perturbation-sim::{sketch::walsh_pyramid_energy, chaoda}`, OGAR "256×256 centroid tile" + "perturbation = (exponent, location, phase, magnitude)".
+## 2026-06-19 — E-OGAR-AR-SHAPE-SMOKE-3 — OGIT is the canonical predicate vocabulary; OGAR consumes canonical via per-extractor codebooks; `translate_rails_to_ogit` + `translate_odoo_to_ogit` fold curator vocabularies into `ogit:includes/isMemberOf/contains/isPartOf`
+
+**Status:** FINDING (operator-directed clarification, 2026-06-19; 14/14 ar_shape tests green including 4 new OGIT-canonical ones). **Closes the predicate-vocabulary divergence from `E-OGAR-AR-SHAPE-SMOKE-2`** by naming what the convergence target IS, not just describing the divergence.
+
+**The click (operator-stated):** *"if we have one canonical, it just needs a codebook for import. and OGAR can use canonical."*
+
+**What this entry locks:**
+
+1. **OGIT defines the canonical predicate vocabulary.** Verified by reading `OGIT/SGO/sgo/verbs/{includes,isMemberOf,contains,isPartOf}.ttl` locally at `/home/user/OGIT/`. Each is a `owl:ObjectProperty` `subPropertyOf ogit:Verb`, defined by the AdaWorldAPI/OGIT canonical TTL: `ogit:includes` ("Indicates if an entity includes something else"), `ogit:isMemberOf` ("An entity can be a member of another entity"), `ogit:contains` ("This relationship indicates that something is part of something else"), `ogit:isPartOf` ("Indicates if an entity is part of another entity"). 176 OGIT verbs total in `SGO/sgo/verbs/`. Workspace usage already aligns: `lance-graph-ontology` is documented as *"the OGIT-canonical ontology spine"* (per `.claude/knowledge/ontology-registry.md`), and policy evaluation runs against *"canonical OGIT entity type"* (per the sprint-6 conformance test).
+
+2. **OGIT vs OGAR distinction (operator-confirmed):** OGIT = the canonical predicate vocabulary (source of `ogit:` IRIs in TTL). OGAR = the AR-shaped THINK/DO compiler that USES OGIT canonical (per `docs/OGAR_AR_SHAPE_ENDGAME.md`). Predicates stay `ogit:`-prefixed because OGIT TTL is their source; OGAR consumes them. There is no `ogar:` predicate prefix, only an OGAR consumer of `ogit:` predicates. `pub mod ogit_relations` in `ar_shape.rs` is correctly named.
+
+3. **Per-extractor codebooks fold curator vocab → OGIT canonical.** New `pub fn translate_rails_to_ogit(triples) -> Vec<Triple>`: joins `declares_association` + `association_kind` and emits the directional OGIT predicate (`belongs_to → ogit:isMemberOf`, `has_many|has_one → ogit:includes`, `habtm → ogit:contains`). New `pub fn translate_odoo_to_ogit(triples, ns) -> Vec<Triple>`: maps `target` → `ogit:isMemberOf` (conservative Many2one default; future Odoo-extractor extension can emit a sibling `field_kind` triple to dispatch on M2O / O2M / M2M). The codebook pattern dissolves `E-OGAR-AR-SHAPE-SMOKE-2`'s vocabulary-divergence finding: each extractor stays free to emit its native shape; OGAR consumes the canonical after a small per-extractor translation.
+
+4. **`classes_matching_commercial_line_item_shape_canonical` runs on OGIT-canonical triples directly.** Direction-blind: both `ogit:isMemberOf` (child→parent) and `ogit:includes` (parent→children) count as "relation present" for the doc-parent + tax-binding intersection. One detector, one canonical vocabulary, both curators surface their expected class on the real corpora: `InvoiceLineItem` on OSB (translated from `declares_association` + `association_kind`), `account_move_line` on Odoo (translated from `target`).
+
+**The collapse from the SMOKE-2 finding.** Before: two extractor jargons (`declares_association` for Rails, `target` for Odoo), one detector that had to dispatch on which predicate appeared. After: one OGIT-canonical vocabulary, one detector. Adding a new extractor (Spree, future SAP) means adding ONE codebook function; the detector stays unchanged.
+
+**What this means for the broader plan.** §11.1 Inc 4 (curator promotion probe): the codebook layer is the in-repo workaround that makes F4 falsifiable today on the existing corpus pair, NOT contingent on `E-AR-PROJECTION-CORRECTION-1` Phase 1 Option A (upstream alignment of nexgen's projection to emit unified Rails vocab). Both paths converge — upstream alignment can ship later as it's just moving the codebook one layer up. The doctrine §2 correction 4 (*"the ontology shapes everything agnostically through the contract"*) now has a concrete cash-out: the contract `Triple` carries OGIT-canonical predicates; the ontology (lance-graph-ontology) holds the codebook; consumers (OGAR detectors, future adapter codegen) read OGIT canonical and don't know which extractor produced it.
+
+**Out of scope (operator discipline acceptance #4-7):** still only one `CanonicalConcept` (`CommercialLineItem`). The OGIT-canonical detector is a TRANSPARENT replacement of the per-vocabulary one for that single concept; adding TaxPolicy / CommercialDocument / etc. is sibling functions, each gated by its own ≥2-curator harvest evidence.
+
+**Cross-refs:** `crates/lance-graph-ontology/src/ar_shape.rs` (`pub mod ogit_relations` + `translate_rails_to_ogit` + `translate_odoo_to_ogit` + `classes_matching_commercial_line_item_shape_canonical` + 4 new tests); `OGIT/SGO/sgo/verbs/{includes,isMemberOf,contains,isPartOf}.ttl` (the canonical predicate definitions); `E-OGAR-AR-SHAPE-SMOKE-2` (the predicate-vocabulary divergence finding this closes); `E-OGAR-AR-SHAPE-SMOKE-1` (the hand-fixture predecessor, retained); `.claude/knowledge/ontology-registry.md` (the "OGIT-canonical ontology spine" framing this entry implements).
+
+---
+
 ## 2026-06-19 — E-OGAR-AR-SHAPE-SMOKE-2 — operator pivot: ruff_ruby_spo replaces hand-fixtures, surfaces extractor-vocabulary divergence (Rails `declares_association` ≠ Odoo `target`); detector now vocabulary-aware on real 1195+ triple OSB + 2.8 MB Odoo corpora
 
 **Status:** FINDING (operator-directed pivot, 2026-06-19; 10/10 ar_shape tests green including 4 new harvest-driven ones). **The findings:**