ogar-vocab: mint ConceptDomain::Automation (0x0C) — re-land orphaned MARS/Automation classids#120
Merged
Merged
Conversation
…lassids Resolves docs/MARS-TRANSCODING.md §1's deferred classid mint via the 5+3 codebook-hardening pass. One domain 0x0C spanning the MARS structural CMDB (A→R→S→M dependsOn backbone) AND the Automation DO-arm actuators — the Auth precedent (heterogeneous shapes, one cross-app concern; render prefix is the hi-u16 skin, the domain byte is the lo-u16 shared-concept half). 9 concepts (load-bearing only; the speculative rest reserved): 0x0C01 mars_application 0x0C02 mars_resource 0x0C03 mars_software 0x0C04 mars_machine 0x0C05 knowledge_item 0x0C06 mars_node_template 0x0C07 action_handler 0x0C08 action_applicability 0x0C09 automation_trigger Atomic lockstep (per runtime-archaeologist's 11-site checklist) across: - ogar-vocab: CODEBOOK + ConceptDomain enum + canonical_concept_domain arm + domain-byte doc block + class_ids consts + class_ids::ALL + 9 builder fns + all_promoted_classes() + count/routing tests. - ogar-class-view: import list + all_canonical_classes() (the drift-gate that broke CI for the Anatomy mint — every_codebook_id_appears_in_class_ids_all). Opportunistically fixed pre-existing doc drift the doctrine-keeper flagged: DIV-1 (Anatomy missing from APP-CLASS-CODEBOOK-LAYOUT domain map) + DIV-2 (stale 0x0A/0x0B in the lib.rs doc block; missing 0x0B Auth line). 5+3 hardening: theorem-checker (PASS) / doctrine-keeper / integration-lead / runtime-archaeologist savants + cargo fmt/test/clippy gates. ogar-vocab 94 + ogar-class-view 11 tests green, clippy-clean on new code. Docs: MARS-TRANSCODING §1 re-graded provisional→minted; D-MARS-CLASSID ledger row; EPIPHANIES E-MARS-AUTOMATION-MINT; APP-CLASS-CODEBOOK-LAYOUT domain map. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EYvNjD8M8LMNYbRy3gq2FP
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
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.
Why a new PR
The codebook-mint commit (
ca60c38) was orphaned by the #119 merge: PR #119 merged at branch parent3c1555b(the DO-arm producer + emit-path commits), so only those two landed inmain. The third commit — the entireConceptDomain::Automationmint — was left on the merged branch, not inmain. This PR re-lands it cleanly cherry-picked onto currentmain.What
The MARS/Automation classid mint — the keystone
docs/MARS-TRANSCODING.md§1 deferred ("provisional… after the 5+3 codebook pass"). One domain0x0C=ConceptDomain::Automation, spanning the MARS structural CMDB and the Automation DO-arm actuators (the Auth precedent: heterogeneous shapes, one cross-app concern; render prefix is the hi-u16 skin, the domain byte is the lo-u16 shared-concept half).9 load-bearing concepts (each grounded by a real vendored TTL entity AND used by a shipped arm; the speculative rest reserved):
How
Atomic lockstep across the 11 sites / 2 files (per the
runtime-archaeologistchecklist): CODEBOOK ·ConceptDomainenum ·canonical_concept_domainarm · domain-byte doc block ·class_idsconsts ·class_ids::ALL· 9 builder fns ·all_promoted_classes()· count/routing tests · ogar-class-view import +all_canonical_classes()(the drift-gate that broke CI for the Anatomy mint). Also fixes pre-existing doc drift (Anatomy missing from the layout-doc map; stale0x0A/0x0Bcomments).Hardening (the 5+3 pass)
theorem-checker(PASS —0x0Cfree, ids collision-free/well-formed) ·doctrine-keeper(one domain; satisfies the §1 deferral; RESERVE-DON'T-RECLAIM honored) ·integration-lead(OGAR-only correct for the string-keyed DO-arm; lance-graph routing mirror handled in lance-graph#604) ·runtime-archaeologist(the lockstep checklist) + cargo gates.ogar-vocab 94 + ogar-class-view 11 tests green, clippy-clean on the new code (verified cherry-picked onto current
main).Docs/ledger: MARS-TRANSCODING §1 re-graded provisional→minted;
D-MARS-CLASSIDledger row;E-MARS-AUTOMATION-MINTboard entry; APP-CLASS-CODEBOOK-LAYOUT domain map.🤖 Generated with Claude Code
Generated by Claude Code