refactor(op-canon): re-export APP_PREFIX + render_classid from OGAR (one source of truth)

[AdaWorldAPI]

What

Adopts the OGAR PR #97 / #98 / #99 surface in op_canon::app, closing the B2#1 follow-up flagged on #56: the local APP_PREFIX = 0x0001 literal and the local (APP_PREFIX as u32) << 16 | concept bit math are gone — both come from ogar-vocab now (one source of truth).

// before — local literal + local bit math
pub const APP_PREFIX: u16 = 0x0001;
pub const fn render_classid(concept: u16) -> u32 {
    ((APP_PREFIX as u32) << 16) | (concept as u32)
}

// after — re-exports from the typed OGAR surface
pub const APP_PREFIX: u16 = OpenProjectPort::APP_PREFIX;           // #97 typed const
pub fn render_classid(concept: u16) -> u32 {
    ogar_vocab::app::render_classid_for::<OpenProjectPort>(concept) // #97 central comp
}

Same one-source-of-truth discipline class_ids (re-exports ogar_vocab::class_ids::*) and class_view already follow. Drift between local and OGAR is now structurally impossible.

New tests (pin the re-exports themselves)

• app_prefix_re_exports_the_typed_ogar_constant — APP_PREFIX == OpenProjectPort::APP_PREFIX == 0x0001.
• render_classid_agrees_with_the_central_ogar_composition — for every concept, render_classid(c) == ogar_vocab::app::render_classid_for::<OpenProjectPort>(c).

The low/high decomposition in render_classid_keeps_concept_in_the_low_half now routes through ogar_vocab::app::app_of / concept_of (also #97) instead of local shifts — the bit math now has exactly one home.

#99 spellbook pre-flight (cleared)

Q	answer
Q1 reading FROM	OGAR static port alias + PortSpec::APP_PREFIX — no behavior.
Q2 lifecycle vocab	None.
Q3 target IR	Canonical OGAR (ogar_vocab::ports + ogar_vocab::app).
Q4 arrow direction	producer→OGAR→consumer. No SurrealQL in this PR.
Q5 inverse recover	N/A — no behavior.

Zero diagnostic signatures (*_ast.rs spine / From<DdlAst> / triple.rs+recompute_dag.rs cluster / sentinel DDL comments / behavioral roundtrip claims / string-typed FSMs / DEFINE EVENT chains) — none present.

Build

• Lockfile bumped: cargo update -p ogar-vocab → OGAR main @ 273fa78 (post-#99). No new deps, no removed deps.
• Toolchain 1.95. cargo test -p op-canon → 19 unit + 5 doctests pass (was 17+5 in feat(op-canon): app module — pull OGAR via class (W0 / lance-graph#589 shape) #56 — added the 2 re-export pins).
• cargo fmt --check clean; cargo clippy -- -D warnings clean.

Cross-refs

• OGAR #97 — PortSpec::APP_PREFIX + ogar_vocab::app composition module.
• OGAR #98 — canonical_concept_name reverse map.
• OGAR #99 — SurrealQL-AST trap spellbook + adapter design.
• This repo feat(op-canon): app module — pull OGAR via class (W0 / lance-graph#589 shape) #56 — the introductory app module (B2#1 follow-up now closed).

---

Generated by Claude Code