Skip to content

Commit 7a7886e

Browse files
claudeclaude
committed
docs(odoo): scaffold the savant AXIS-B evidence-contract carve-out (woa-rs handoff)
Self-contained handover asking the woa-rs session (owner of the roster + evidence schemas per SAVANTS.md) to carve out the 4 AXIS-B slots per savant — Arrow EvidenceRef schema, odoo field->signal map, property-level OWL alignment, the decision in evidence terms — so lance-graph can implement the Reasoner impls (D-ODOO-2/SAV-4) in one pass instead of cross-session ping-pong (which loses context). Pre-stubs the fixed dispatch tuple for all 25 savants (priority-tiered), the target Reasoner shape, and the open dispatch-shape question. AGENT_LOG Layer-2 handoff note prepended. https://claude.ai/code/session_017GFLBnDy23AWBqvkbHHC41
1 parent 1f0703f commit 7a7886e

2 files changed

Lines changed: 95 additions & 0 deletions

File tree

‎.claude/board/AGENT_LOG.md‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
## [Main-thread → woa-rs HANDOFF] Odoo savant AXIS-B evidence-contract scaffold (carve-out request)
2+
3+
Wrote `.claude/odoo/savants/_SCAFFOLD-EVIDENCE-CONTRACT.md` — a self-contained handover asking the **woa-rs session** (roster/evidence-schema owner) to carve out the **4 AXIS-B slots per savant** (Arrow `EvidenceRef` schema · odoo field→signal map · property-level OWL alignment · the decision in evidence terms) so lance-graph can implement the `Reasoner` impls (D-ODOO-2 / D-ODOO-SAV-4) in one pass without cross-session ping-pong. Includes the fixed dispatch tuple for all 25 (priority-tiered) + the target `Reasoner` shape + the open dispatch-shape question (N impls vs savant-config registry). Hand-back: fill per-savant docs + note here. No code; doc only. On branch `splat3d-cpu-simd-renderer-MAOO0` (PR #416).
4+
5+
---
6+
17
## [Agent-A / Sonnet] [SCAFFOLD ONLY — no implementation, no commit] D-ATOM-4 — counterfactual.rs split-resolution-via-counterfactual-mantissa scaffold
28

39
**D-id:** D-ATOM-4 (`atom-mailbox-substrate-v1` pillar 5 — counterfactual mantissa v2 deposit + v3 mailbox+revision).

‎.claude/odoo/savants/_SCAFFOLD-EVIDENCE-CONTRACT.md‎

Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
1+
# SCAFFOLD — Odoo savant AXIS-B evidence contract (carve-out request)
2+
3+
> **Handover:** lance-graph session (`splat3d-cpu-simd-renderer-MAOO0`) → **woa-rs session** (the Odoo extractor, owner of the roster + evidence schemas per `SAVANTS.md` §"lance-graph handover boundary").
4+
> **Why this exists:** the `Reasoner` impls (D-ODOO-2 / D-ODOO-SAV-4) are blocked on the **AXIS-B input contract**, which the current `SAVANTS.md` + `L*.md` specify only on the AXIS-A (woa-rs guard) side. Rather than ping-pong (which loses context across sessions), **carve out the four slots below per savant** and I implement the Reasoners in one pass.
5+
> **Date:** 2026-05-27.
6+
7+
## What lance-graph already has (don't re-send)
8+
9+
- **`contract::savants`** — the 25-savant roster as data: each `Savant { id, name, family, kind, inference, semiring, style, lane, decides }`. The dispatch tuple is **fixed**; `query_strategy()` rides `InferenceType::default_strategy()`.
10+
- **`reasoning::{Reasoner, ReasoningContext, ReasoningKind, EvidenceRef, Budget}`** — the delegation surface (shipped).
11+
- **#414**: OGIT families `0x63 ProductCatalog` / `0x90 HRFoundation` + Layer-2 alignment axioms (stock.* / analytic.distribution.model / account.account.tag) + StyleCluster wiring.
12+
- FIBU subtree now inherits `fibofnd` (zugferd/fibobe/skr0x).
13+
14+
## What I need carved out — 4 slots per savant
15+
16+
For each savant create `.claude/odoo/savants/<Name>.md` (schema = `SAVANTS.md` §"Per-agent document schema") and fill **these four AXIS-B slots** (the rest of the tuple is in `contract::savants`):
17+
18+
1. **Evidence (Arrow `EvidenceRef`)** — the concrete table(s) + **key columns** + dtype, and what signal each column carries. This is the typed input the Reasoner consumes. *(Without this the impl has no input.)*
19+
2. **Odoo field → signal map** — which exact odoo model fields back each column (e.g. `res.partner.{payment_history, credit_limit}` for `PartnerTrustAdvisor`), with the L-doc `file:lines`.
20+
3. **Property-level alignment** — the OWL property IRIs (not just class) the reasoner traverses (e.g. `odoo:amount_residual ≡ fibo:hasResidualAmount`), if the decision crosses the FIBO/SKR/ZUGFeRD seam.
21+
4. **AXIS-B decision in evidence terms** — restate `decides` as: given evidence E, produce conclusion C with a NARS `(frequency, confidence)`; name the discriminating features. *(The AXIS-A guard is already in the L-docs; I only need the ambiguous core.)*
22+
23+
## The target the carve-out feeds (so you know the shape)
24+
25+
```rust
26+
// lance-graph side will implement, one per ReasoningKind (or savant-config registry — TBD review):
27+
impl Reasoner for <Kind>Reasoner {
28+
fn reason(&self, ctx: &ReasoningContext) -> SavantConclusion {
29+
// ctx.evidence: &[EvidenceRef] ← slot 1 (your schema)
30+
// dispatch by ctx.kind + family style; fuse via savant.semiring (NarsTruth common)
31+
// → conclusion + (frequency, confidence) ← slot 4 shape
32+
}
33+
}
34+
```
35+
36+
## The 25 savants to carve out (priority-ordered; fill in lane order)
37+
38+
**Tier 1 — substrate most ready, do first (accounting / 0x62 / 0x81):**
39+
40+
| id | savant | family | kind | infer | lane | decides (AXIS-B core) |
41+
|---|---|---|---|---|---|---|
42+
| 6 | SequenceGapAnomalyDetector | 0x62 | PostingAnomaly | Abduction | L11 | journal sequence gaps ⇒ deleted posted entries (GoBD) |
43+
| 17 | AutopostRecommender | 0x81 | PostingAnomaly | Induction | L1 | auto-post bills after 3+ unmodified from a partner |
44+
| 18 | LockDateAdvancer | 0x81 | PostingAnomaly | Abduction | L1 | next open period to advance a locked move into |
45+
| 4 | AnalyticDistributionSuggester | 0x62 | NextBestAction | Induction | L10 | suggested cost-centre distribution for a move line |
46+
| 15 | TaxExigibilitySuggestor | 0x62 | NextBestAction | Induction | L15 | tax exigibility (on-invoice vs on-payment / cash-basis) |
47+
48+
**Tier 2 — partner / pricing (0x80 / 0x81 / 0x63):**
49+
50+
| id | savant | family | kind | infer | lane | decides |
51+
|---|---|---|---|---|---|---|
52+
| 1 | FiscalPositionResolver | 0x80 | CustomerCategory | Deduction | L9 | which fiscal position (tax mapping) for a partner |
53+
| 2 | PartnerTrustAdvisor | 0x80 | CustomerCategory | Revision | L9 | partner trust / dunning-risk from payment history |
54+
| 3 | PricelistAssignmentAgent | 0x63 | Other(PRICELIST_ASSIGNMENT) | Revision | L8 | partner pricelist when no explicit property |
55+
| 23 | PricelistRecommender | 0x81 | NextBestAction | Synthesis | L6 | which pricelist rule when multiple candidates apply |
56+
| 22 | UpsellActivityTrigger | 0x81 | NextBestAction | Induction | L6 | qty_delivered>ordered ⇒ upsell TODO |
57+
| 10 | UserCompanyAccessAdvisor | 0x80 | CustomerCategory | Induction | L12 | branch-access subset by user role/context |
58+
59+
**Tier 3 — reconcile / FX / currency (None / 0x62):**
60+
61+
| id | savant | family | kind | infer | lane | decides |
62+
|---|---|---|---|---|---|---|
63+
| 19 | ReconcileMatchSelector | None | Other(RECONCILE_MATCH) | Induction | L2 | open items to propose as reconciliation candidates |
64+
| 20 | BankStatementMatcher | None | Other(BANK_STATEMENT_MATCH) | Induction | L5 | reconcile-model rule for a bank line + write-offs |
65+
| 21 | PaymentToInvoiceMatcher | None | Other(RECONCILE_MATCH) | Induction | L5 | whether a payment fully reconciles open invoices |
66+
| 5 | AnalyticModelScorer | None | CustomerCategory | Deduction | L10 | which analytic.distribution.model matches (priority) |
67+
| 7 | ExchangeAccountSelector | 0x62 | Other(CHART_ACCOUNT_MAPPING) | Deduction | L12 | gain/loss account for FX diff |
68+
| 8 | ReportRateTypeSelector | 0x62 | Other(CONSOLIDATION_RATE_POLICY) | Deduction | L12 | current/historical/average rate per report line |
69+
| 9 | CurrencySelectionAdvisor | 0x62 | NextBestAction | Induction | L12 | which currencies to enable (geography signal) |
70+
71+
**Tier 4 — stock / procurement (None, needs #414 axioms confirmed):**
72+
73+
| id | savant | family | kind | infer | lane | decides |
74+
|---|---|---|---|---|---|---|
75+
| 11 | ProcurementRuleSelector | None | NextBestAction | Induction | L13 | route among equal-sequence rules |
76+
| 12 | ReorderTimingAdvisor | None | NextBestAction | Induction | L13 | reorder timing under demand/supplier uncertainty |
77+
| 13 | ReplenishmentReportAdvisor | None | NextBestAction | Induction | L13 | real shortfall vs demand noise |
78+
| 14 | RouteTiebreaker | None | NextBestAction | Abduction | L13 | equal-sequence route tiebreak |
79+
| 24 | RemovalStrategySelector | None | NextBestAction | Induction(XorBundle) | L7 | quants to bind to a reservation (FIFO/FEFO/LIFO) |
80+
| 25 | MoveAssignmentPrioritizer | None | NextBestAction | Induction | L7 | which confirmed moves to satisfy first |
81+
| 26 | BackorderJudge | None | NextBestAction | Abduction | L7 | partial fulfilment ⇒ backorder vs cancel |
82+
83+
## Open question for woa-rs to pin (drives the impl shape)
84+
85+
**Reasoner dispatch shape:** one `Reasoner` impl per `ReasoningKind` (5–6 impls, dispatch on family+evidence inside), **or** a savant-config registry (data-driven, one generic engine reading the savant tuple)? #414 flagged this as gating D-ODOO-SAV-4. Your call — it determines whether the carve-out feeds N impls or one config table.
86+
87+
## Hand-back
88+
89+
Fill the per-savant docs (or a single table with the 4 slots × 25) and drop a note in `lance-graph/.claude/board/AGENT_LOG.md`. I'll then implement the Reasoners against the filled evidence contract in one pass — no re-derivation.

0 commit comments

Comments
 (0)