vocab+mint: classid canon:custom half-order flip — canon HIGH / APP-render prefix LOW#147
Merged
Merged
Conversation
…ender prefix LOW Lockstep flip with lance-graph-contract CLASSID_ORDER=CanonHigh (lance-graph #628; operator trigger 2026-07-02, the 0x07:01::1000 ruling): - ogar_vocab::app: render_classid now composes ((concept as u32) << 16) | prefix; app_of reads the low half, concept_of the high half. APP_PREFIX values unchanged (position moved to the LOW/custom half). - ogar-from-ruff mint + codegen emit: literal-pinned tests flipped (account.move -> 0x0202_0002, WorkPackage -> 0x0102_0001); decompose assertions route through app_of/concept_of instead of local masks. - ruff_spo_address::Facet needs NO companion change: facet_classid is an opaque LE u32 pass-through; the composition lives entirely here. - Doc sweep: APP-CLASS-CODEBOOK-LAYOUT (full layout spec), consumer best practices, migration plan, READMEs (en/de), PHILOSOPHY (en/de), transpile substrate, IR framing, RBAC keystone auth literals (0x0B01_0000-form), mailbox-integration mint guidance, CLAUDE.md non-negotiables. - Ledgers (append-only honored): DISCOVERY-MAP D-CLASSID-CANON-HIGH-FLIP + board EPIPHANIES E-CLASSID-CANON-HIGH-FLIP appended; D-APPCLASS and D-OSINT-APPID-NOT-CONCEPT entries preserved, superseded by citation. Legacy stored forms (0x0000_DDCC / 0xAAAA_DDCC / 0x1000_DDCC) persist in baked data and resolve via read-only legacy registry aliases upstream (mint-forward; retirement gated on corpus proof). Gates: workspace 35 test suites green (vart-gated crate tested via a local path override, reverted before commit — the git dep is canonical); fmt clean on touched crates. Co-Authored-By: Claude <noreply@anthropic.com>
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 2fc2370af8
ℹ️ 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".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
…x P2 on #147) The .claude/AGENTS.md log schema requires a **Scope:** line after **Status:** in every EPIPHANIES entry; the new flip entry (added in this PR, not yet canon) jumped straight to the body. Scope added — the entry's own content is unchanged. Co-Authored-By: Claude <noreply@anthropic.com>
AdaWorldAPI
pushed a commit
that referenced
this pull request
Jul 2, 2026
…p fuse, COUNT_FUSE, Genetics 0x0E, OCR 0x08XX, 0x1000 reservation) + post-flip prose sweep One batched arc per the cross-session convergence ruling (serialize the allocation-table mints; every consumer owns its classids and trips a wire when out of sync): - ogar-class-view: classid_order_agrees_with_lance_graph_contract_canon_high — the #628<->#147 lockstep fuse, pinning ogar_vocab::app::{app_of, concept_of} against contract split_classid/CanonHigh on 0x0102_0001. Floating branch=main dep is a FEATURE here: the fuse tests the moving tip, so a one-sided revert fails within a build. - ogar-vocab: count_fuse_matches_lance_graph_ogar_mirror — the OGAR-side half of lance_graph_ogar::parity::COUNT_FUSE, pinning ALL.len() (now 68). - Mints: ConceptDomain::Genetics (0x0E, zero rows — CPIC ledger commitment); OCR 0x08XX container kinds (unicharset/recoder/charset — content never becomes concepts, Osint zero-rows precedent); 0x1000 pinned RESERVED never-a-port-prefix in the allocation-table test. - class-view registry lifts the 3 OCR kinds; reverse/forward gates green (ogar-vocab 96/96, ogar-class-view 12/12 vs contract main c7149eab). - Post-flip prose sweep: 6 sites where order/count prose rotted against code (Automation comment stated the flip backwards; ports.rs test prose; capstone doc; 0x0D/0x08/0x09 doc-table rows; class-view Cargo.toml concept count). - DISCOVERY-MAP: D-TRUNCATION-DISALLOWED-SOC-REROUTE (mirrored from lance-graph + ruff soc.rs) and D-CLASSID-HI-U16-SPELLING (operator confirmation: domain:appid:classview; the app-byte vs APP_PREFIX homonym warning). Lockstep note: merge THIS before the lance-graph PR carrying the contract mirror's matching 0x08XX rows; lance-graph then bumps its ogar-vocab lock pin. COUNT_FUSE firing in between is the fuse working. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MLBnPuScZy6w9di2QEjsXM
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Lockstep flip with lance-graph-contract
CLASSID_ORDER = CanonHigh(AdaWorldAPI/lance-graph#628; operator trigger 2026-07-02 — the0x07:01::1000ruling): a full 32-bit classid is now[hi u16: CANON concept][lo u16: APP/render prefix].ogar_vocab::app—render_classidcomposes((concept as u32) << 16) | prefix;app_ofreads the low half,concept_ofthe high half.APP_PREFIXvalues unchanged; only the position moved.ogar-from-ruff— mint + codegen-emit literal expectations flipped (account.move → 0x0202_0002,WorkPackage → 0x0102_0001); decompose assertions route throughapp_of/concept_ofinstead of local masks.ruff_spo_address::Facetneeds no companion change —facet_classidis an opaque LE u32 pass-through; the composition lives entirely inogar_vocab.D-CLASSID-CANON-HIGH-FLIP+E-CLASSID-CANON-HIGH-FLIPappended;D-APPCLASS/D-OSINT-APPID-NOT-CONCEPTpreserved and superseded by citation.Mint-forward
Legacy stored forms (
0x0000_DDCC/0xAAAA_DDCC/0x1000_DDCC) persist in baked data and resolve via read-only legacy registry aliases upstream (lance-graphBUILTIN_READ_MODES+classid_canon_compatfor RBAC); retirement is gated on corpus proof.Downstream
openproject-nexgen-rs#68(op-canon literal updates) is gated on THIS PR merging (its git dep tracksbranch = "main"). MedCare-rs / q2 consumer PRs follow the same arc.Gates: all 35 workspace test suites green (the vart-gated crate verified via a local path override, reverted before commit); fmt clean on touched crates.
🤖 Generated with Claude Code
https://claude.ai/code/session_01MLBnPuScZy6w9di2QEjsXM
Generated by Claude Code