Repository navigation
Mirror OGAR's HIRO app prefix 0x000C as AppPrefix::Hiro - #1442
Conversation
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
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
|
Warning Review limit reachedYour organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Next included review available in 58 minutes. View limit details
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 |
What
OGAR #333 adds
HiroPortat app prefix0x000C. It maps HIRO'sogit/_typewire names, such asogit/MARS/Machine, onto the nine0x0CXXautomation concepts. This PR mirrors the prefix in the contract so a zero-dep consumer can name it withoutogar-vocab, the same way #1438 mirrored0x0008to0x000B.AppPrefix::Hiro=0x000C, inprefix()andfrom_prefix(). The next free value is now0x000D;0x0006stays unallocated.lance-graph-ogarcodebook 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_tablenow pins0x000C, round-tripsHiro, and checks that a HIRO machine renders as0x0C04_000C. MappingHiroto0x000Dturns it red.lance-graph-contract: 1458 unit tests and every integration test pass on Rust 1.99, andrustfmt --checkis clean.🤖 Generated with Claude Code
https://claude.ai/code/session_01VysoWJ6vsyg3wEGc5v7T5v
Generated by Claude Code