Commit 81d08c4
committed
fix(contract): sync ogar_codebook to OGAR #110 (Auth 0x0B domain) — fixes lance-graph-ogar parity fuse
OGAR #110 minted the 0x0B AuthStore class family (auth_store / auth_zitadel /
auth_zanzibar / auth_ory_keto). After q2 #42 bumped the pinned ogar-vocab to
302c284, lance-graph-ogar's compile-time COUNT_FUSE + runtime
assert_codebook_parity() fired — the contract's zero-dep ogar_codebook mirror
had drifted (39 vs 43) — and broke the q2 Railway build (cockpit-server pulls
lance-graph-ogar).
Sync the mirror to match ogar_vocab::class_ids::ALL exactly:
contract::ogar_codebook (crates/lance-graph-contract):
- NEW ConceptDomain::Auth (0x0BXX) + canonical_concept_domain 0x0B => Auth.
- 4 CODEBOOK entries: auth_store 0x0B01, auth_zitadel 0x0B02,
auth_zanzibar 0x0B03, auth_ory_keto 0x0B04 (mirror now 43 entries).
- Parity tests updated (domain_routes_on_high_byte, codebook_ids_match_ogar_vocab).
lance-graph-ogar (crates/lance-graph-ogar):
- parity::domains_agree gains the (O::Auth, C::Auth) arm — the
#[non_exhaustive]-total match that intentionally trips on a new OGAR domain.
Verified: cargo build --manifest-path crates/lance-graph-ogar (COUNT_FUSE green);
cargo test --manifest-path crates/lance-graph-ogar (parity + 53 lib tests green);
cargo test -p lance-graph-contract (8 ogar_codebook green); contract clippy
-D warnings + fmt clean.
Board-hygiene: LATEST_STATE inventory entry (same commit).1 parent ebeacde commit 81d08c4
3 files changed
Lines changed: 22 additions & 1 deletion
File tree
- .claude/board
- crates
- lance-graph-contract/src
- lance-graph-ogar/src
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
13 | 19 | | |
14 | 20 | | |
15 | 21 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
54 | 54 | | |
55 | 55 | | |
56 | 56 | | |
57 | | - | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
58 | 60 | | |
59 | 61 | | |
60 | 62 | | |
| |||
71 | 73 | | |
72 | 74 | | |
73 | 75 | | |
| 76 | + | |
74 | 77 | | |
75 | 78 | | |
76 | 79 | | |
| |||
292 | 295 | | |
293 | 296 | | |
294 | 297 | | |
| 298 | + | |
| 299 | + | |
| 300 | + | |
| 301 | + | |
| 302 | + | |
295 | 303 | | |
296 | 304 | | |
297 | 305 | | |
| |||
363 | 371 | | |
364 | 372 | | |
365 | 373 | | |
| 374 | + | |
366 | 375 | | |
367 | 376 | | |
368 | 377 | | |
| |||
417 | 426 | | |
418 | 427 | | |
419 | 428 | | |
| 429 | + | |
| 430 | + | |
| 431 | + | |
| 432 | + | |
| 433 | + | |
420 | 434 | | |
421 | 435 | | |
422 | 436 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
134 | 134 | | |
135 | 135 | | |
136 | 136 | | |
| 137 | + | |
137 | 138 | | |
138 | 139 | | |
139 | 140 | | |
| |||
0 commit comments