Skip to content

Commit 05ad1fb

Browse files
committed
board: post-merge hygiene for #534 (PR_ARC + LATEST_STATE table)
PR_ARC_INVENTORY #534 entry + LATEST_STATE "Recently Shipped PRs" row for the merged #534 (classid → ClassView resolution surface: UNICHAR adapter, keystone, OGAR→ontology wiring). Per the Mandatory Board-Hygiene Rule's post-merge step. Co-Authored-By: Claude <noreply@anthropic.com> https://claude.ai/code/session_016b33swuXE23hKtqxsHu9p1
1 parent 947481d commit 05ad1fb

2 files changed

Lines changed: 23 additions & 0 deletions

File tree

.claude/board/LATEST_STATE.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@
5454

5555
| PR | Merged | Title | What it added |
5656
|---|---|---|---|
57+
| **#534** | 2026-06-18 | contract + ontology: complete the classid → ClassView resolution (UNICHAR + keystone + OGAR→ontology wiring) | **5 commits.** `lance_graph_contract::unichar` (Tesseract UTF-8 codec, 2nd byte-parity adapter **268/268**; codex P2 truncation-reject fix pre-merge) + `unicharset_adapter` (the keystone: `invoke_unicharset` = ClassView `methods_for` gate → classid-keyed `UniCharSetStore` → proven leaf, steps 2–3 of PROBE-OGAR-ADAPTER-UNICHARSET) + `OntologyRegistry::class_id_for_guid` (OGAR→ontology join `from_guid_prefix → entity_type_of`, closing a zero-caller gap an audit found). **Core-first doctrine proven END-TO-END; all three "classid → X" axes resolve from a GUID.** contract 658 lib + clippy `--all-targets -D warnings`; ontology 16 tests. EPIPHANIES E-CPP-PARITY-2 / E-CPP-KEYSTONE-1 / E-OGAR-ONTOLOGY-WIRED-1; TD-ONTOLOGY-LINT noted (un-CI-gated). Branch `claude/happy-hamilton-0azlw4`, merge `393e580`. |
5758
| **#521** | 2026-06-17 | lance-graph-contract: C++ codegen target (`MethodSig`) + `UniCharSet` content store | **+940/-4 across 8 files, additive to `lance-graph-contract` only.** The Core-side of the Tesseract C++→Rust transcode. **`codegen_manifest`** `MethodSig` (`&'static`/`const`-constructible method-signature type the generated Rust names; method-axis sibling of `ClassView`'s field projection) + `ClassMethods` + `methods_for`. **`unicharset`** `UniCharSet` (deepnsm::Vocabulary-shaped id↔unichar bijection) + `.unicharset` parser + `dump()` — **zero leptonica** (pure text). **PROBE-OGAR-ADAPTER-UNICHARSET → FINDING:** the full pipeline produces a `UniCharSet` **byte-identical 112/112** to the libtesseract oracle on real `eng` data; core-first doctrine proven end-to-end. `NULL`→space (`unicharset.cpp:882`) was the sole id-0 diff, locked by `null_token_maps_to_space` (codex P1 independently flagged + resolved). Pairs with **ruff #20**. 644 contract lib green; clippy `-D warnings` + fmt clean. Branch `claude/happy-hamilton-0azlw4`, merge `620bd8e`. |
5859
| **#512** | 2026-06-16 | perturbation-sim review fixes + **core-first transcode doctrine** + 3 new agent cards | **+591/-5 across 11 files**. Fixes from #511 review: `examples/calibrate.rs` divide-by-zero guard on degenerate grid; `src/hhtl.rs::basin_lambda2` `assert_eq!(keys.len(), grid.n, …)` precondition (silent-corruption → loud panic); `TECH_DEBT.md` MD018 reflow. **The structural delivery:** new mandatory-read `core-first-transcode-doctrine.md` (218 LOC) + 3 specialist agents (`core-first-architect`, `core-gap-auditor`, `adapter-shaper`) + EPIPHANIES entry + CLAUDE.md (+21 LOC) wire-up. Likely aligned with the ontology-first / codegen-as-cut-tail doctrine the operator just locked on odoo-rs. 75 lib tests + clippy `-D warnings` + fmt clean. Branch `claude/happy-hamilton-0azlw4`, merge `1e23c410`. |
5960
| **#513** | 2026-06-16 | perturbation-sim: inertia §0 promotion gate + CAKES/CHAODA + witness standing-wave + H ingest | **+1009/-2 across 10 files**, disjoint from #512 by design. **§0 promotion gate** for `inertia_buffer`: `GuardrailVerdict::RatifiedReuse` — takes `ResidueEdge INERTIA_SLOT = 5`, reuses existing tenant, invents no axis → **passes by reuse, not waiver**. **Probe 1 CAKES + CHAODA-lite** over HHTL basins (`CHAODA_FLAG=0.75` mirrors ndarray::clam; example flags brittle block 1.1.0 score 1.000). **Probe 2 witness arc as standing wave** — Parseval proves `particle == wave` to 0.00e0; `witness_from_spectrum` is the O(N)-per-arc read-many amortization. **Probe 3** per-bus inertia (H) ingest path. Does NOT touch `canonical_node`. Branch `claude/perturbation-sim-inertia-clam`, merge `8a3e335b`. |

.claude/board/PR_ARC_INVENTORY.md

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,28 @@
3535
3636
---
3737

38+
## #534 contract + ontology: complete the classid → ClassView resolution (UNICHAR adapter + keystone + OGAR→ontology wiring)
39+
40+
**Status:** MERGED 2026-06-18 (merge commit `393e580`), branch `claude/happy-hamilton-0azlw4`. **5 commits.** Completes the OGAR Core `classid → ClassView` resolution surface from three converging angles. Pairs with #533 (`virtually_overrides` computed ClassView relation) — the `mro` it adds consumes this PR's `methods_for`.
41+
42+
**Added:**
43+
- **`lance_graph_contract::unichar`** — Tesseract `UNICHAR` UTF-8 codec (`utf8_step` const-fn 256-table + `utf8_to_utf32`). The SECOND byte-parity adapter, **268/268** vs the libtesseract oracle. Codex P2 fix pre-merge: truncated trailing multibyte rejected (`i+step>len → None`) instead of fabricating a codepoint (the C++ reads past its buffer = UB). +9 tests.
44+
- **`lance_graph_contract::unicharset_adapter`** — the keystone: `UniCharSetStore` (classid-keyed content tier) + `UniCharCall`/`UniCharOut` (DO-in/out) + `invoke_unicharset` (ClassView composition gate via `methods_for` → content store → proven leaf). Steps 2–3 of `PROBE-OGAR-ADAPTER-UNICHARSET`. +5 tests.
45+
- **`OntologyRegistry::class_id_for_guid(&NodeGuid) -> Option<ClassId>`** — the OGAR→ontology join: `from_guid_prefix(guid)? → entity_type_of(path)`. Closes a gap an audit found (both halves built with ZERO callers). +1 round-trip test pinning `classid_lo ↔ entity_type`.
46+
47+
**Locked:**
48+
- **Core-first transcode doctrine proven END-TO-END** (E-CPP-PARITY-2 + E-CPP-KEYSTONE-1): byte-parity at the leaf AND faithful through ClassView-composed dispatch; iron guard held (no adapter-state-leak, no Core gap).
49+
- **All three "classid → X" axes resolve from a GUID**: read-mode (`classid_read_mode`/ocr.rs), methods (`methods_for`/keystone), ontology-shape (`class_id_for_guid`/RegistryClassView). E-OGAR-ONTOLOGY-WIRED-1.
50+
- **Faithful-transcode mandate** (E-CPP-PARITY-2): `core::str::from_utf8` rejects `0xC0`/`0xC1` + overlong NUL that Tesseract accepts; native-UTF-8 shortcut would diverge.
51+
52+
**Deferred:** emit-side wiring (`corpus_to_schema`/`triples_to_schema` → the resolved chain) — downstream sessions, post-merge; `ogar-from-rails`/`ogar-from-ruff` (OGAR repo); `ar_shape::Class` judged NOT needed (contract already has `PropertySchema`/`LinkSpec`/`ActionSpec`/`ObjectView`).
53+
54+
**Docs:** EPIPHANIES E-CPP-PARITY-2 / E-CPP-KEYSTONE-1 / E-OGAR-ONTOLOGY-WIRED-1; LATEST_STATE Contract Inventory (D-UNICHAR-1, D-UNICHARSET-KEYSTONE); core-first-transcode-doctrine.md steps 2–3 wired; TECH_DEBT TD-ONTOLOGY-LINT (pre-existing crate clippy debt, un-CI-gated per #535).
55+
56+
**Confidence (2026-06-18):** working. contract 658 lib + clippy `--all-targets -D warnings` + fmt clean; ontology 16 class/bijection/wiring tests; byte-parity 268/268 + 112/112 in-env. Codex P2 (truncation) resolved before merge.
57+
58+
---
59+
3860
## #521 lance-graph-contract: C++ codegen target (`MethodSig`) + `UniCharSet` content store
3961

4062
**Status:** MERGED 2026-06-17 20:53 UTC (merge commit `620bd8e`), branch `claude/happy-hamilton-0azlw4`. **+940/-4 across 8 files, 9 commits.** The Core-side of the Tesseract C++→Rust transcode — the contract types ruff's `ruff_cpp_codegen` targets, plus the byte-parity probe's Rust side. **Additive to `lance-graph-contract` only** (container-architect ADDITIVE-CONFIRMED: zero `NodeRow`/`ValueTenant`/`ValueSchema`/stride/`ENVELOPE_LAYOUT_VERSION` impact). Pairs with **ruff #20** (the harvester + codegen that produces what these types consume; merged 2026-06-17 19:38 into ruff `main`).

0 commit comments

Comments
 (0)