Cross-repo fuses + serialized allocation batch (flip fuse, COUNT_FUSE, Genetics 0x0E, OCR 0x08XX, 0x1000 reservation) + post-flip prose sweep#148
Merged
Conversation
…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.
One batched arc executing the cross-session convergence rulings: per-consumer classid ownership + tripwires ("everyone responsible for his own OGAR classids, trip the wire if not in sync") and serialize the allocation-table mints (four sessions were queued against the same test file).
Fuses (the tripwires)
ogar-class-view):classid_order_agrees_with_lance_graph_contract_canon_highpinsogar_vocab::app::{app_of, concept_of}against the contract'ssplit_classid/ClassidOrder::CanonHighon0x0102_0001. The #628↔vocab+mint: classid canon:custom half-order flip — canon HIGH / APP-render prefix LOW #147 lockstep is now mechanical — a one-sided revert fails a build. The floatingbranch="main"dep is a feature here: the fuse tests the moving tip.ogar-vocab):count_fuse_matches_lance_graph_ogar_mirrorpinsALL.len()(now 68) from the OGAR side, citinglance_graph_ogar::parity::COUNT_FUSE.git grep COUNT_FUSEnow hits in both repos.Mints (the serialized batch)
ConceptDomain::Genetics(0x0E) — zero concept rows (CPIC ledger commitment honored; Osint zero-rows posture).unicharset/recoder/charset(concepts name container types; the 112 unichars and code tables are content-store rows, never concept slots — Osint precedent as the guard). Class-view registry lifts all three;concepts_in_domain(Ocr)pinned at 3 with an ordered set assertion.0x1000pinned RESERVED (never an APP prefix) in the allocation-table test.Prose sweep + ledger
docs/DISCOVERY-MAP.mdappends:D-TRUNCATION-DISALLOWED-SOC-REROUTE([G], mirrored from lance-graph doctrine + ruffsoc.rsshipped impl) andD-CLASSID-HI-U16-SPELLING([G], operator confirmation:domain:appid:classview; the app-byte vs APP_PREFIX homonym warning that produced the phantom cross-session naming conflict).Verification
ogar-vocab96/96,ogar-class-view12/12 (flip fuse ran against contract mainc7149eab). Full-workspace cargo is blocked in the sandbox by a proxy-denied optional git dep (AdaWorldAPI/vartinogar-knowable-from, HTTP 403, untouched here) — CI verifies the rest.⚠ Lockstep merge order
Merge this PR first. The lance-graph branch (same name) carries the contract mirror's matching 0x08XX rows; after this merges, that PR bumps its
ogar-vocablock pin soCOUNT_FUSEcompares 68 == 68. The fuse firing in any in-between rebuild is the fuse working as designed.🤖 Generated with Claude Code
https://claude.ai/code/session_01MLBnPuScZy6w9di2QEjsXM
Generated by Claude Code