Skip to content

docs(frame): cite OGAR/lance-graph canonical framing + correct ogar-from-odoo naming#16

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/cite-ogar-canonical-framing-in-repatriation-frame
Jun 23, 2026
Merged

docs(frame): cite OGAR/lance-graph canonical framing + correct ogar-from-odoo naming#16
AdaWorldAPI merged 1 commit into
mainfrom
claude/cite-ogar-canonical-framing-in-repatriation-frame

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

Frame-citation correction (A of A+B+C)

Closes the cite-gap PRs #12-#15 left open. The compiler-AST framing, the
symbol-table identification, the bijective TTL import, the Foundry-parity
collapse, and the staging-tier storage model were ALL shipped in canonical
form upstream BEFORE the odoo-rs Phase-2 PRs landed.

What's cited

Upstream What Status this frame aligns to
OGAR #104 OGAR-AS-IR.md — the compiler framing one-pager Canonical compiler-AST lens — PR #13's frame was an independent re-derivation
OGAR #109 EPIPHANY: "OGIT was already a semantic compiler's symbol table" Canonical symbol-table framing — PR #14's "alignment as symbol table" was an independent re-derivation
OGAR #105 OGIT 1:1 mirror + ogar-from-schema (bijective TTL parse/emit + SGO) Canonical TTL-import infrastructure
OGAR #106 9-domain test + ODOO-DIGEST-TO-OGIT.md Foundry-parity collapse Canonical Odoo-digest pipeline
OGAR #107 3 corrections — including the producer naming I had wrong CORRECTION absorbed (see § below)
OGAR #108 exports/ staging-tier model Canonical storage-tier lifecycle
OGAR #110 0x0B AuthStore mint — keystone §7 ↔ OGIT 1:1 convergence Pattern for future Odoo class-id mints
lance-graph #591 OGAR consumer pre-flight spellbook Canonical consumer governance
lance-graph #592 contract::ogar_codebook APP-prefix mirror (Odoo=0x0002) Canonical APP-prefix — odoo-rs PR #15's ODOO_BUNDLE_ID.graph = 0x0002 is wire-compat-correct
q2 #42 Bumped q2's stale OGAR pin to include OdooPort/SmbPort/WoaPort Cross-repo coordination evidence

The most important correction

Producer naming: PR #12 / PR #15 named a fictional ogar-from-odoo as
the eventual producer crate. Per OGAR #107, this was wrong — the canonical
producer chain is the existing ruff_python_spo + ogar_from_ruff (mirror
of ruff_ruby_spo + ogar_from_ruff for Rails).

Throughout the doc, "ogar-from-odoo" is now annotated to read as
"ruff_python_spo + ogar-from-ruff". Historical references preserved with
CORRECTED per OGAR #107 annotation for traceability against PR #12 as
merged.

Refined phase ordering

  • Phase 3 (push empowerments to OGAR): destination is the existing
    ogar-vocab + ogar-from-ruff machinery, not a new crate. The 11 missing
    OdooPort aliases (cross-axis identity gap surfaced in PR feat(od-ontology): pull alignment symbol-table from lance-graph-callcenter #14) are the
    immediate Phase-3 work — that's PR C of this batch.
  • Phase 4 (push universal predicates to ruff): the ruff_python_spo
    frontend per OGAR #107. The keystone for shrinking every consumer crate
    to a thin lifter.

Doc-only

No code, no tests, no Cargo changes. The frame is the prerequisite; the work
remains the work.

…from-odoo naming

Close the cite-gap that PRs #12-#15 left open: the compiler-AST framing, the
symbol-table identification, the bijective TTL import, the Foundry-parity
collapse, and the staging-tier storage model were ALL shipped in canonical
form upstream BEFORE the odoo-rs Phase-2 PRs landed. This update records the
parallel canon as the north star of the repatriation work.

Specifically cited:

  OGAR #104 — OGAR-AS-IR.md (the compiler framing one-pager)
  OGAR #105 — OGIT 1:1 mirror + ogar-from-schema bijective TTL parse/emit
  OGAR #106 — 9-domain test + ODOO-DIGEST-TO-OGIT.md Foundry-parity collapse
  OGAR #107 — Producer naming CORRECTION (not ogar-from-odoo)
  OGAR #108 — exports/ staging-tier model (not migration of 11 files)
  OGAR #109 — OGIT was already the semantic compiler's symbol table (epiphany)
  OGAR #110 — 0x0B AuthStore mint (keystone §7 ↔ OGIT 1:1 convergence)
  lance-graph #591 — OGAR consumer pre-flight spellbook (consumer-side)
  lance-graph #592 — contract::ogar_codebook APP-prefix mirror (Odoo=0x0002)
  q2 #42         — cross-repo pin coordination evidence

The most important correction: the producer crate is NOT a future
`ogar-from-odoo`. Per OGAR #107, the canonical producer chain is the
existing `ruff_python_spo + ogar_from_ruff::lift_model_graph` (mirroring
`ruff_ruby_spo + ogar_from_ruff` for Rails). Same for medcare-rs:
`ruff_rust_spo + ogar-from-ruff`, NOT a fictional `ogar-from-rust`.

Throughout the doc, "ogar-from-odoo" is now annotated to read as
"`ruff_python_spo + ogar-from-ruff`". Historical references in the
ruff-implication section preserved with a CORRECTED-per annotation for
traceability against PR #12 as merged.

Phase 3 and Phase 4 of the ordering refined accordingly:
- Phase 3 destination is the existing OGAR machinery, not a new crate.
  The 11 missing OdooPort aliases (cross-axis identity gap surfaced in
  PR #14) are the immediate Phase-3 work.
- Phase 4 IS the ruff_python_spo frontend. It is the keystone for
  shrinking every consumer crate to a thin lifter.

Doc-only.

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

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants