feat(vocab+class-view): mint PRODUCT (0x0207) + ACCOUNTING_ACCOUNT (0x0208); extend ODOO_ALIASES

Phase-3 mints from the cross-axis identity gap surfaced in odoo-rs PR #14
(`alignment_pin::seeded_classes_have_compatible_ogar_identity`). `OdooPort`
previously covered the commerce arm only (9 aliases); the alignment table
declared 15 concepts across 6 basins (BillingCore + SMBAccounting +
SmbFoundryCustomer + SmbFoundryInvoice + ProductCatalog + HRFoundation),
leaving 11 Odoo classes without a canonical OGAR class_id.

This PR closes the highest-impact 4-of-11 gap by minting two product+
accounting concepts and routing their Odoo aliases:

  PRODUCT (0x0207)
    ← product.template  (master record / catalogue)
    ← product.product   (variant SKU; converges on the same id)

  ACCOUNTING_ACCOUNT (0x0208)
    ← account.account             (live ledger row)
    ← account.account.template    (SKR03/04 chart-of-accounts template)

Same convergence pattern as `account.move ↔ sale.order → COMMERCIAL_DOCUMENT`
in the existing commerce arm.

Synchronised across the codebook:
  - CODEBOOK rows + class_ids constants + class_ids::ALL entries
  - all_promoted_classes() (ogar-vocab) with new product() / accounting_account()
    builders (Class definitions with minimal schema:Product / fibo:Account-aligned
    attributes)
  - all_canonical_classes() (ogar-class-view) — the ObjectView registry
  - ODOO_ALIASES (ports.rs) — 4 new entries (9 → 13)
  - Tests updated for new count (Commerce concepts.count(): 6 → 8) +
    commerce_concept loop iterates the 2 new names
  - Odoo alias count drift assert: 9 → 13
  - Stale "32 promoted" doc comments in ogar-class-view refreshed to count-
    agnostic phrasing

Deferred for follow-up (7 remaining missing aliases per odoo-rs #14):
  - product.pricelist, product.pricelist.item, uom.uom  → ProductCatalog basin
    candidates (PRICELIST / PRICELIST_RULE / UNIT_OF_MEASURE — additional 0x02XX
    mints; needs a "schema:PriceSpecification" alignment review first)
  - hr.employee, hr.department, hr.job, hr.contract → HRFoundation basin
    candidates (new 0x0CXX concept domain proposal; needs separate keystone-
    style §7 spec review like AuthStore #110 did)

Tests:
  - ogar-vocab: 93 passed (was 91 pre-mint; +2 doctests pass)
  - ogar-class-view: 11 passed
  - clippy clean on my new code; fmt clean

Refs:
  - AdaWorldAPI/odoo-rs#14 (alignment-pin surfaces the 11-class gap)
  - AdaWorldAPI/odoo-rs#15 (Phase-2 hydrator pull)
  - AdaWorldAPI/odoo-rs#16 (repatriation-frame canonical citations)
  - AdaWorldAPI/lance-graph#594 (B of A+B+C: hydrator silent suffix bugs)

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: claude

crates/ogar-class-view/src/lib.rs

@@ -50,7 +50,7 @@
 //! # Why this crate has no `serde`, no I/O
 //!
 //! It is a *pure* in-process adapter. The registry is constructed at startup
-//! by calling the 32 promoted class fns; nothing reads files or parses JSON.
+//! by calling the promoted class fns; nothing reads files or parses JSON.
 //! Renderers that *do* need persistence (templating output, etc.) sit
 //! downstream.
 
@@ -64,18 +64,19 @@ use lance_graph_contract::{
     ontology::{DisplayTemplate, FieldRef, ObjectView},
 };
 use ogar_vocab::{
-    Class, auth_ory_keto, auth_store, auth_zanzibar, auth_zitadel, billable_work_entry,
-    billing_party, canonical_concept_id, commercial_document, commercial_line_item,
-    currency_policy, diagnosis, lab_value, medication, patient, payment_record, priority, project,
-    project_actor, project_attachment, project_changeset, project_comment, project_custom_field,
-    project_custom_value, project_enabled_module, project_forum, project_journal,
-    project_member_role, project_membership, project_message, project_news, project_query,
-    project_relation, project_repository, project_role, project_status, project_type,
-    project_version, project_watcher, project_wiki_page, project_work_item, tax_policy, treatment,
-    visit, vital_sign,
+    accounting_account, auth_ory_keto, auth_store, auth_zanzibar, auth_zitadel,
+    billable_work_entry, billing_party, canonical_concept_id, commercial_document,
+    commercial_line_item, currency_policy, diagnosis, lab_value, medication, patient,
+    payment_record, priority, product, project, project_actor, project_attachment,
+    project_changeset, project_comment, project_custom_field, project_custom_value,
+    project_enabled_module, project_forum, project_journal, project_member_role,
+    project_membership, project_message, project_news, project_query, project_relation,
+    project_repository, project_role, project_status, project_type, project_version,
+    project_watcher, project_wiki_page, project_work_item, tax_policy, treatment, visit,
+    vital_sign, Class,
 };
 
-/// All 32 promoted canonical concepts: `(canonical_concept_name, Class)`.
+/// All promoted canonical concepts: `(canonical_concept_name, Class)`.
 ///
 /// Walked at startup by [`OgarClassView::new`]. The list is exhaustive against
 /// [`ogar_vocab::CODEBOOK`] — a test in this crate fails if a codebook entry
@@ -117,6 +118,8 @@ fn all_canonical_classes() -> Vec<(&'static str, Class)> {
         ("billing_party", billing_party()),
         ("payment_record", payment_record()),
         ("currency_policy", currency_policy()),
+        ("product", product()),
+        ("accounting_account", accounting_account()),
         // ── 0x09XX — health (OGIT Healthcare) ──
         ("patient", patient()),
         ("diagnosis", diagnosis()),
@@ -164,7 +167,7 @@ fn lift_object_view(class: &Class) -> ObjectView {
     view
 }
 
-/// [`ClassView`] implementation backed by [`ogar_vocab`]'s 32 promoted
+/// [`ClassView`] implementation backed by [`ogar_vocab`]'s promoted
 /// canonical concepts.
 ///
 /// Construct once at startup with [`OgarClassView::new`]; the registry is
@@ -269,7 +272,7 @@ mod tests {
                 "{concept} ({id:#06x}) absent from OgarClassView registry"
             );
         }
-        // The registry knows exactly the 32 promoted concepts.
+        // The registry knows the full promoted concept set.
         assert_eq!(v.known_class_ids().count(), all_canonical_classes().len());
     }
 

crates/ogar-vocab/src/lib.rs

@@ -1133,6 +1133,16 @@ const CODEBOOK: &[(&str, u16)] = &[
     ("billing_party", 0x0204),
     ("payment_record", 0x0205),
     ("currency_policy", 0x0206),
+    // Phase-3 OGAR-side mints from the cross-axis identity gap surfaced in
+    // odoo-rs PR #14 (`alignment_pin::seeded_classes_have_compatible_ogar_identity`):
+    // `OdooPort` covered the commerce arm only (9 aliases); the alignment
+    // table extends to 6 basins (BillingCore / SMBAccounting /
+    // SmbFoundryCustomer / SmbFoundryInvoice / ProductCatalog / HRFoundation).
+    // These two mints close the highest-impact gap (4 of 11 missing aliases).
+    // The remaining 7 (pricelist*, uom*, hr*) are queued for follow-up — see
+    // PR description for the queue.
+    ("product", 0x0207),
+    ("accounting_account", 0x0208),
     // ── 0x09XX — Health domain (clinical / patient / care) ──
     // medcare-rs Healthcare-namespace promotion (Northstar T9). The 7
     // entities the OGIT `NTO/Healthcare/entities/` TTL ships, projected
@@ -1432,6 +1442,27 @@ pub mod class_ids {
     /// `currency_policy` (`0x0206`) — currency lookup. OSB `Currency`,
     /// Odoo `res.currency`.
     pub const CURRENCY_POLICY: u16 = 0x0206;
+    /// `product` (`0x0207`) — saleable / billable item (catalogue master).
+    /// OSB `Product`, Odoo `product.template` + `product.product` (both
+    /// converge here; the variant relation lives outside the codebook,
+    /// `commercial_document.line_items.references` target).
+    ///
+    /// Promoted Phase-3 from the cross-axis identity gap surfaced in odoo-rs
+    /// PR #14: the alignment table seeds `product.template → schema:Product`
+    /// + BillingCore (0x61); this id is the OGAR-side identity that closes
+    /// the same axis. `OdooPort` carries `product.template` and
+    /// `product.product` as aliases of `PRODUCT`.
+    pub const PRODUCT: u16 = 0x0207;
+    /// `accounting_account` (`0x0208`) — general-ledger account (SKR-aligned
+    /// chart concept). OSB `Account`, Odoo `account.account` +
+    /// `account.account.template` (the SKR03/04 chart-of-accounts template;
+    /// both converge on this id).
+    ///
+    /// Promoted Phase-3 from the cross-axis identity gap surfaced in odoo-rs
+    /// PR #14: the alignment table seeds `account.account → fibo:Account` +
+    /// SMBAccounting (0x62); this id is the OGAR-side identity that closes
+    /// the same axis.
+    pub const ACCOUNTING_ACCOUNT: u16 = 0x0208;
 
     // ── 0x09XX — health domain (medcare-rs Healthcare namespace) ──
 
@@ -1513,6 +1544,8 @@ pub mod class_ids {
         ("billing_party", BILLING_PARTY),
         ("payment_record", PAYMENT_RECORD),
         ("currency_policy", CURRENCY_POLICY),
+        ("product", PRODUCT),
+        ("accounting_account", ACCOUNTING_ACCOUNT),
         // 0x09XX — health
         ("patient", PATIENT),
         ("diagnosis", DIAGNOSIS),
@@ -1531,7 +1564,7 @@ pub mod class_ids {
     #[cfg(test)]
     mod tests {
         use super::*;
-        use crate::{CODEBOOK, canonical_concept_id};
+        use crate::{canonical_concept_id, CODEBOOK};
 
         #[test]
         fn constants_match_codebook() {
@@ -2356,13 +2389,16 @@ pub fn all_promoted_classes() -> Vec<Class> {
         project_member_role(),
         project_custom_value(),
         project_enabled_module(),
-        // 0x02XX — commerce arm (6 concepts).
+        // 0x02XX — commerce arm (8 concepts: 6 OSB-promoted + 2
+        //          Phase-3 mints per odoo-rs PR #14 + #16).
         commercial_line_item(),
         commercial_document(),
         tax_policy(),
         billing_party(),
         payment_record(),
         currency_policy(),
+        product(),
+        accounting_account(),
         // 0x09XX — health arm (7 OGIT Healthcare concepts), in
         // class_ids::ALL order.
         patient(),
@@ -3175,6 +3211,58 @@ pub fn currency_policy() -> Class {
     c
 }
 
+/// `product` (`0x0207`) — saleable / billable item (catalogue master).
+/// OSB `Product`, Odoo `product.template` + `product.product` (both
+/// converge here; the variant relation is outside the codebook).
+///
+/// Promoted Phase-3 from the cross-axis identity gap surfaced in odoo-rs
+/// PR #14 (`alignment_pin::seeded_classes_have_compatible_ogar_identity`).
+/// Attributes mirror the minimal `schema:Product`-aligned shape: `sku`
+/// (stock-keeping unit / canonical identifier), `name`, `price` (decimal
+/// money), `description` (free-text).
+pub fn product() -> Class {
+    let mut c = Class::new("Product");
+    c.language = Language::Unknown;
+    c.canonical_concept = Some("product".to_string());
+    c.associations = Vec::new();
+    let mut sku = Attribute::new("sku");
+    sku.type_name = Some("string".to_string());
+    let mut name = Attribute::new("name");
+    name.type_name = Some("string".to_string());
+    let mut price = Attribute::new("price");
+    price.type_name = Some("decimal".to_string());
+    let mut description = Attribute::new("description");
+    description.type_name = Some("string".to_string());
+    c.attributes = vec![sku, name, price, description];
+    c
+}
+
+/// `accounting_account` (`0x0208`) — general-ledger account (SKR-aligned
+/// chart concept). OSB `Account`, Odoo `account.account` (live row) +
+/// `account.account.template` (SKR03/04 chart-of-accounts template; both
+/// converge here).
+///
+/// Promoted Phase-3 from the cross-axis identity gap surfaced in odoo-rs
+/// PR #14. Attributes mirror the minimal `fibo:Account`-aligned shape:
+/// `code` (chart code, e.g. SKR `1200`), `name`, `account_type` (asset /
+/// liability / equity / revenue / expense), `currency` (ISO 4217).
+pub fn accounting_account() -> Class {
+    let mut c = Class::new("AccountingAccount");
+    c.language = Language::Unknown;
+    c.canonical_concept = Some("accounting_account".to_string());
+    c.associations = Vec::new();
+    let mut code = Attribute::new("code");
+    code.type_name = Some("string".to_string());
+    let mut name = Attribute::new("name");
+    name.type_name = Some("string".to_string());
+    let mut account_type = Attribute::new("account_type");
+    account_type.type_name = Some("string".to_string());
+    let mut currency = Attribute::new("currency");
+    currency.type_name = Some("string".to_string());
+    c.attributes = vec![code, name, account_type, currency];
+    c
+}
+
 // ─────────────────────────────────────────────────────────────────────
 // 0x09XX — Health domain (OGIT Healthcare). The reusable Active-Record
 // shape for the clinical concepts. `diagnosis` (0x0902) is the worked
@@ -3614,11 +3702,10 @@ mod tests {
     fn tax_policy_is_an_erp_boundary_edge_not_in_project_evidence() {
         // TaxPolicy is a family edge on the canonical shape ...
         let bwe = billable_work_entry();
-        assert!(
-            bwe.associations
-                .iter()
-                .any(|e| e.class_name.as_deref() == Some("TaxPolicy"))
-        );
+        assert!(bwe
+            .associations
+            .iter()
+            .any(|e| e.class_name.as_deref() == Some("TaxPolicy")));
         // ... but the project curator records work evidence with no tax.
         let mut op = Class::new("TimeEntry");
         op.source_domain = Some("project".to_string());
@@ -4034,6 +4121,8 @@ mod tests {
             "billing_party",
             "payment_record",
             "currency_policy",
+            "product",
+            "accounting_account",
         ] {
             let id = canonical_concept_id(commerce_concept)
                 .unwrap_or_else(|| panic!("{commerce_concept} missing from codebook"));
@@ -4174,7 +4263,7 @@ mod tests {
         }
         // Counts line up with the codebook blocks.
         assert_eq!(concepts_in_domain(ConceptDomain::Health).count(), 7);
-        assert_eq!(concepts_in_domain(ConceptDomain::Commerce).count(), 6);
+        assert_eq!(concepts_in_domain(ConceptDomain::Commerce).count(), 8);
         assert_eq!(concepts_in_domain(ConceptDomain::ProjectMgmt).count(), 26);
         // An empty (reserved-but-unpopulated) domain yields nothing.
         assert_eq!(concepts_in_domain(ConceptDomain::Osint).count(), 0);
@@ -4556,7 +4645,7 @@ mod tests {
         assert!(!is_cross_domain_concept("project_role"));
         let id = canonical_concept_id("billable_work_entry").unwrap();
         assert_eq!(canonical_concept_domain(id), ProjectMgmt); // home domain
-        // Project curator (home domain) — kept.
+                                                               // Project curator (home domain) — kept.
         assert_eq!(
             canonical_concept_in_domain("TimeEntry", Some(ProjectMgmt)),
             "billable_work_entry"
@@ -4599,11 +4688,10 @@ mod tests {
                 .any(|a| a.name == "document"
                     && a.class_name.as_deref() == Some("CommercialDocument"))
         );
-        assert!(
-            line.associations
-                .iter()
-                .any(|a| a.name == "tax" && a.class_name.as_deref() == Some("TaxPolicy"))
-        );
+        assert!(line
+            .associations
+            .iter()
+            .any(|a| a.name == "tax" && a.class_name.as_deref() == Some("TaxPolicy")));
 
         let doc = commercial_document();
         let line_items = doc
@@ -4613,23 +4701,20 @@ mod tests {
             .unwrap();
         assert_eq!(line_items.kind, AssociationKind::HasMany);
         assert_eq!(line_items.class_name.as_deref(), Some("CommercialLineItem"));
-        assert!(
-            doc.associations
-                .iter()
-                .any(|a| a.name == "party" && a.class_name.as_deref() == Some("BillingParty"))
-        );
-        assert!(
-            doc.associations
-                .iter()
-                .any(|a| a.name == "currency" && a.class_name.as_deref() == Some("CurrencyPolicy"))
-        );
+        assert!(doc
+            .associations
+            .iter()
+            .any(|a| a.name == "party" && a.class_name.as_deref() == Some("BillingParty")));
+        assert!(doc
+            .associations
+            .iter()
+            .any(|a| a.name == "currency" && a.class_name.as_deref() == Some("CurrencyPolicy")));
 
         let pay = payment_record();
-        assert!(
-            pay.associations
-                .iter()
-                .any(|a| a.name == "party" && a.class_name.as_deref() == Some("BillingParty"))
-        );
+        assert!(pay
+            .associations
+            .iter()
+            .any(|a| a.name == "party" && a.class_name.as_deref() == Some("BillingParty")));
         assert!(
             pay.associations
                 .iter()

crates/ogar-vocab/src/ports.rs

@@ -476,6 +476,17 @@ pub const ODOO_ALIASES: &[(&str, u16)] = &[
     ("res.partner", class_ids::BILLING_PARTY),
     ("account.payment", class_ids::PAYMENT_RECORD),
     ("res.currency", class_ids::CURRENCY_POLICY),
+    // Product master record — both `product.template` (master) and
+    // `product.product` (variant) converge on the same `product` id.
+    // Same convergence pattern as `account.move ↔ sale.order →
+    // commercial_document`. Phase-3 mint per odoo-rs PR #14 + #16.
+    ("product.template", class_ids::PRODUCT),
+    ("product.product", class_ids::PRODUCT),
+    // General-ledger account — `account.account` (live row) and
+    // `account.account.template` (SKR03/04 chart concept) converge on the
+    // same `accounting_account` id. Phase-3 mint per odoo-rs PR #14 + #16.
+    ("account.account", class_ids::ACCOUNTING_ACCOUNT),
+    ("account.account.template", class_ids::ACCOUNTING_ACCOUNT),
     // Cross-arm bridge: the timesheet / cost line converges on the
     // project-arm `billable_work_entry` (0x0103) — the SAME id
     // OpenProject `TimeEntry` and Redmine `TimeEntry` resolve to.
@@ -508,7 +519,7 @@ mod tests {
 
     #[test]
     fn healthcare_entities_resolve_into_the_health_domain() {
-        use crate::{ConceptDomain, canonical_concept_domain};
+        use crate::{canonical_concept_domain, ConceptDomain};
         for &(name, _) in HealthcarePort::aliases() {
             let id =
                 HealthcarePort::class_id(name).unwrap_or_else(|| panic!("`{name}` must resolve"));
@@ -897,7 +908,7 @@ mod tests {
 
     #[test]
     fn odoo_commerce_models_resolve_into_the_commerce_domain() {
-        use crate::{ConceptDomain, canonical_concept_domain};
+        use crate::{canonical_concept_domain, ConceptDomain};
         // Every commerce-arm alias lands in the Commerce (0x02XX) domain.
         // `account.analytic.line` is the deliberate exception — it's the
         // cross-arm bridge into the project domain (asserted separately).
@@ -945,12 +956,14 @@ mod tests {
     fn odoo_alias_count_is_stable() {
         // 9 Odoo model aliases = 8 commerce-arm (account.move,
         // sale.order, account.move.line, sale.order.line, account.tax,
-        // res.partner, account.payment, res.currency) + 1 cross-arm
-        // bridge (account.analytic.line → billable_work_entry).
-        // Re-count on drift.
+        // res.partner, account.payment, res.currency) + 4 product/accounting
+        // master-record aliases (product.template, product.product,
+        // account.account, account.account.template — Phase-3 mints per
+        // odoo-rs PR #14 + #16) + 1 cross-arm bridge
+        // (account.analytic.line → billable_work_entry). Re-count on drift.
         assert_eq!(
             OdooPort::aliases().len(),
-            9,
+            13,
             "Odoo alias count drift — re-count the ODOO_ALIASES table",
         );
     }