[AdaWorldAPI]

D-BEHAVIOR-EQSAT-0 — Gate A (draft, test-only)

Scope: Odoo behavioral loss and equivalence, no production edits and no sibling repository writes. This stops at the first demonstrated non-injectivity instead of starting MeTTa/KPEA/egglog/MLIR work.

Reuse

• Existing od-ontology: DR64 relcomp ordering parity and an ON × WHEN × DO method-registry probe #44 source corpus, RecomputeDag, common::dr64::compose_blocked and blocked DR64 Boolean relation composition.
• Existing od-ontology: counterfactual branches of the method registry, landed through thought-git #45 common::cube versioned ON × WHEN × DO registry and the unattested event.
• Existing docs(odoo): propose witnessed Codegraph + domain harvest schema for DT64 #46 source-only CodeGraph example and evidence metadata. No new IR/schema/predicate/classid.
• Frozen Odoo corpus blob 459659e1c1ece2303de2bc3c8eab715c27e6c53d.

Gate A claims and falsifiers

1. Independently enumerate emitted_by × reads_field method pairs from the source triples, compare every edge with the actual DR64 composition. Reproduce od-ontology: DR64 relcomp ordering parity and an ON × WHEN × DO method-registry probe #44's 44 DAG edges + 26 additional composition edges, not an assertion of observed runtime order.
2. account_move.currency_id must retain both _compute_currency_id and _onchange_invoice_vendor_bill in source, docs(odoo): propose witnessed Codegraph + domain harvest schema for DT64 #46 CodeGraph, and od-ontology: counterfactual branches of the method registry, landed through thought-git #45 registry. Deliberately drop either to verify require_all_emitters refuses the projection.
3. Synthetic, explicitly non-Odoo, Set(1); Add(1) versus reversed order demonstrates why an unordered operation set cannot prove order equivalence.
4. Source _inherit and _inherits collapse to inherits_from in the current extractor despite differing in Python method inheritance versus delegated fields. A coarse relation cannot recover the source declaration kind; UNKNOWN must survive.
5. Source-only export has no effective registry attestation. Trigger, permission and effect-order witnesses are UNKNOWN, not authorization.

Decision

STOP: no behavioral equivalence/compile admission from coarse SPO while declaration kind and ordered effects are lost. Smallest required addition is a source-qualified, versioned declaration-kind and effect-order witness attached to existing method/source identities, with explicit UNKNOWN on absent witness. Ask Ruff/Odoo owners; do not mint a new predicate or schema here. This is documented in docs/D-BEHAVIOR-EQSAT-0-GATE-A.md with cross-domain inventory and the next MeTTa research gate.

Verification requested before review / merge

cargo test -p od-ontology --test dt64_relcomp_parity --test dt64_on_when_do_cube
cargo test -p od-ontology --test d_behavior_eqsat_gate_a -- --nocapture

Load-bearing disable candidate: change require_all_emitters to unconditional Ok(()); the deleted-emitter test must turn red. This mutation has not yet been executed.

Important: the connected environment could read/write repository files but could not access the repository through a local Git checkout and has no cargo installed. Compilation, tests, disable run, performance measurements and CI status are not claimed. Please keep this PR draft until CI verifies it, then review results and STOP gate.

Exclusions

No Odoo live instance or effective trace, no fixes to RecomputeDag, no producer file edits, no class/schema mints, no MLIR/egglog code, no sibling PRs, no auto-merge. Older rejected architecture remains excluded.

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: 3a9eba13-0ed4-4a49-8a98-822f6bb99afe

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-30T13:41:40.260814Z	1975536	Draft marked ready

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.