Skip to content

docs(od-ontology): cast the SurrealQL-AST-trap spellbook (consumer-owned, OGAR #99)#6

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/odoo-surreal-ast-trap-spellbook
Jun 22, 2026
Merged

docs(od-ontology): cast the SurrealQL-AST-trap spellbook (consumer-owned, OGAR #99)#6
AdaWorldAPI merged 1 commit into
mainfrom
claude/odoo-surreal-ast-trap-spellbook

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

What

Casts the od-ontology-local mirror of OGAR #99's SurrealQL-AST-trap
spellbook, and activates it where it has to fire. #99 names this crate
surreal_ast.rs + triple.rs + recompute_dag.rs colocated — as the trap's
diagnostic signature, so the mirror belongs in this consumer's own domain. Only
this consumer can cast it here.

Three artifacts

  1. specs/SURREAL-AST-TRAP.md (new) — the local spellbook, single source of
    the frame:

    • the 90-second Q1–Q5 pre-flight mirror;
    • the two-arm splitstructural (Class/Attribute/Association) is a
      lossy projection, never a substitution; behavioral
      (ActionDef/ActionInvocation/KausalSpec/Rubicon FSM/state_timeout)
      has no DDL home, period;
    • the one-way-lossy roundtrip truth (emit bijective only on the
      schema subset; unmap reconstructs an empty Class source-side);
    • diagnostic signatures — with the honest note that this crate exhibits
      them on purpose, mid-migration (the native path is a documented W3
      transition gap, not the spine);
    • W3.3 as two separable lowerings (structure → Class; behavior →
      ActionDef, never DEFINE EVENT);
    • activation triggers / READ-BY.
  2. src/surreal_ast.rs — a pre-flight guard at the very top of the trap
    file, so the mirror fires before a session internalizes the "this is the
    surface" framing. "Egress adapter, not a spine; lifecycle has no DDL home."

  3. specs/UPSTREAM_WISHLIST.md — the #99 probe note trimmed to a condensed
    reframing + a pointer to the spellbook (no duplicated frame).

Why now

The earlier #5 shipped a condensed #99 note and the code; the full sharpened
frame
(two-arm split, one-way-lossy, behavioral vocabulary) lived only in
conversation. This puts it on the record at the reflex point, the way #99
prescribes (knowledge doc + MANDATORY-before-X + triggers) — localized to the
trap instance.

Doc + one module-comment only; no logic, no symbol change. clippy exit 0,
fmt-clean.

Refs: OGAR #99 (SURREAL-AST-TRAP-PREFLIGHT.md + SURREAL-AST-AS-ADAPTER.md).
Follows merged odoo-rs #5.

…ned, OGAR #99)

od-ontology IS the diagnostic signature OGAR #99 names — `surreal_ast.rs` +
`triple.rs` + `recompute_dag.rs` colocated. The spellbook has to fire in THIS
domain, and only this consumer can cast it. So this lands the local mirror and
activates it at the trap site.

- `specs/SURREAL-AST-TRAP.md` (new): the od-ontology-local spellbook — the
  90-second Q1–Q5 pre-flight mirror, the structural/behavioral two-arm frame
  (structure = lossy projection of `Class`, behavior = NO DDL home → `ActionDef`),
  the one-way-lossy roundtrip truth, diagnostic signatures (honest: this crate
  exhibits them mid-migration, on purpose), W3.3-as-two-lowerings remediation,
  and activation triggers. Single source of truth for the frame.

- `src/surreal_ast.rs`: a PRE-FLIGHT guard at the very top of the trap file —
  the mirror fires before a session internalizes the "this is the surface"
  framing. "Egress adapter, not a spine; lifecycle has no DDL home."

- `specs/UPSTREAM_WISHLIST.md`: the #99 probe note trimmed to a condensed
  reframing + a pointer to the spellbook (no duplicated frame).

Doc + one module-comment only; no logic, no symbol change. clippy exit 0.

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