Skip to content

Mirror OGAR's HIRO app prefix 0x000C as AppPrefix::Hiro - #1442

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/hiro-app-prefix
Oct 10, 2026
Merged

AdaWorldAPI merged 1 commit into
mainfrom
claude/hiro-app-prefix

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

What

OGAR #333 adds HiroPort at app prefix 0x000C. It maps HIRO's ogit/_type wire names, such as ogit/MARS/Machine, onto the nine 0x0CXX automation concepts. This PR mirrors the prefix in the contract so a zero-dep consumer can name it without ogar-vocab, the same way #1438 mirrored 0x0008 to 0x000B.

  • AppPrefix::Hiro = 0x000C, in prefix() and from_prefix(). The next free value is now 0x000D; 0x0006 stays unallocated.
  • No codebook row changes, so lance-graph-ogar codebook parity is unaffected. No cross-repo test pairs the two prefixes, so the merge order of this PR and OGAR unified-bridge crate scaffold: registry + projection orchestrator for Spine impls #333 doesn't matter.
  • .claude/board/LATEST_STATE.md: the contract-delta entry, added at the top. The append-only gate passes locally.

Tests

app_prefixes_match_ogar_allocation_table now pins 0x000C, round-trips Hiro, and checks that a HIRO machine renders as 0x0C04_000C. Mapping Hiro to 0x000D turns it red. lance-graph-contract: 1458 unit tests and every integration test pass on Rust 1.99, and rustfmt --check is clean.

PR | STATUS: done | OUTCOME: AppPrefix::Hiro 0x000C mirrors OGAR HiroPort | OPEN: none

🤖 Generated with Claude Code

https://claude.ai/code/session_01VysoWJ6vsyg3wEGc5v7T5v


Generated by Claude Code

OGAR #333 adds HiroPort at app prefix 0x000C, mapping HIRO's ogit/_type
wire names onto the nine 0x0CXX automation concepts. The contract mirrors
the prefix so a zero-dep consumer can name it without ogar-vocab, as #1438
did for 0x0008-0x000B.

- AppPrefix::Hiro = 0x000C in prefix() and from_prefix(); the next free
  value is now 0x000D, 0x0006 stays unallocated.
- app_prefixes_match_ogar_allocation_table pins 0x000C, round-trips Hiro,
  and checks a HIRO machine renders as 0x0C04_000C. Mapping Hiro to 0x000D
  turns it red.
- No codebook row changes; lance-graph-ogar parity is unaffected.
- LATEST_STATE: contract delta entry.

lance-graph-contract: 1458 unit tests and every integration test pass.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VysoWJ6vsyg3wEGc5v7T5v
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 10, 2026 •

Copy link
Copy Markdown

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-10T10:09:02.607189Z 91b63da PR opened
ℹ️ 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.

@coderabbitai

coderabbitai Bot commented Oct 10, 2026

Copy link
Copy Markdown

Warning

Review limit reached

Your organization has reached its usage spending cap. Adjust your spending cap in the billing tab.

Next included review available in 58 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available. Your 65 included PR review attempts over the past 7 days set your current allowance at 1 review per hour.

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: CHILL
  • Plan: Essentials
  • Run ID: f5be0021-08ed-45fc-aa41-d5068b240165

📥 Commits

Reviewing files that changed from the base of the PR and between 9a430fe and 91b63da.


📒 Files selected for processing (2)
  • .claude/board/LATEST_STATE.md
  • crates/lance-graph-contract/src/ogar_codebook.rs

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

Warning

Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption.


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

@AdaWorldAPI
AdaWorldAPI merged commit 11bd288 into main Oct 10, 2026
14 checks passed
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