From 07d39a36a62b775a48e078816cb74453b0131702 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 10 Jun 2026 21:49:02 +0000 Subject: [PATCH 1/4] =?UTF-8?q?docs(knowledge):=20GUID=20canon=20+=20prefi?= =?UTF-8?q?x=20routing=20=E2=80=94=20the=20policy=20side=20(crystallizatio?= =?UTF-8?q?n)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Crystallizes the operator-pinned canonical GUID (OGAR/CLAUDE.md) into lance-graph's policy-side contract before it dilutes: - The canon cited (hex dash-groups = classid-HEEL-HIP-TWIG-[basin+id]; key(128)+value(3968)=4096; 3x4 uniform, tier = nibble >> 2; RFC 9562 = wrapper concern; NodeGuid #480 audited against the canon group-by-group, never the reverse — Phase B question: groups 3-4 yield all eight nibbles to HIP/TWIG). - Policy ownership table: registry mint (Phase B), per-class 4^4-hierarchical codebooks on the registry shelf (prefix-scoped, longest-prefix wins), PrefixShapeTable registration into ndarray's router, quorum certificate type landing in contract::quorum (the #411 scaffold), escalation via the shipped RouteAction precedent. - Anti-eigenvalue-theater rules contract-side: quorum certificate with measured-tau (I-NOISE-FLOOR-JIRAK; Pflug-10 anchors 0.9973/0.965), named typed metrics (no-umbrella; raw-XOR-u64 ordering is the named anti-pattern), escalate-never-silently-accept, ShapeId is a register key (I-VSA-IDENTITIES Test 0). - Probes shared with the ndarray counterpart: ROUTE-1, QUORUM-1, PHI-1, PYR-1, CODEBOOK-44, HILBERT-L4 (blocker). Board hygiene: EPIPHANIES E-CANON-GUID-1 prepended in the same commit. Docs-only; no .rs touched. https://claude.ai/code/session_01PBTGaPCSnnt6u3pjXpbLwY --- .claude/board/EPIPHANIES.md | 21 +++++ .../guid-canon-and-prefix-routing.md | 76 +++++++++++++++++++ 2 files changed, 97 insertions(+) create mode 100644 .claude/knowledge/guid-canon-and-prefix-routing.md diff --git a/.claude/board/EPIPHANIES.md b/.claude/board/EPIPHANIES.md index b0a27d48..cb20e89a 100644 --- a/.claude/board/EPIPHANIES.md +++ b/.claude/board/EPIPHANIES.md @@ -49,6 +49,27 @@ They are the SAME relation: the north-star template hierarchy IS the routing/sup **Phase B becomes:** stand up OGAR as the OGIT mirror + north-star template registry; seed entity_type↔NiblePath from it; the build-time round-trip proves the bijection. The surrealdb-coords blocker (N8 / Phase H) is unrelated and remains. **Cross-ref:** identity-architecture plan DECISION-2 + the north-star guard; E-IDENTITY-WHITEBOX-1 (NodeGuid composition); I-VSA-IDENTITIES (closed template vocabulary interns; Wikidata's open instance mass stays content, never a ClassId). +## 2026-06-10 — E-CANON-GUID-1 — the canonical GUID's dash-groups are the cascade; routing/quorum crystallized before dilution + +**Status:** FINDING (canon operator-pinned in `OGAR/CLAUDE.md`; crystallization docs landed both sides) +**Confidence:** High on the canon + receipts; CONJECTURE (probes named) on the new surfaces + +The operator-pinned canonical identity is HEX-counted — it IS the GUID: +`classid(8)-HEEL(4)-HIP(4)-TWIG(4)-[basin·leaf(6)+identity(6)]`; the UUID +dash-groups ARE the cascade delimiters. Key-of-key-value: node = key(128) + +value(3968) = 4096 bits — the key routes/resolves/compares/scopes/names with +zero value decode; Lance compresses the value freely (compression never costs +addressability). 3×4 uniform tiers (`tier = nibble >> 2`); RFC 9562 = wrapper +concern (wrappers adapt to canon, never the reverse). Centroid-tile reading +[H]: path = 6 bytes = CAM-PQ 6×256; per-class codebooks scoped by class +routing prefix (longest-prefix wins), 4⁴-hierarchical so nibble prefixes = +centroid ancestry. Crystallized: this repo's policy side at +`.claude/knowledge/guid-canon-and-prefix-routing.md`; ndarray's mechanism +side at `ndarray/.claude/knowledge/guid-prefix-shape-routing.md` (the +`PrefixShapeTable` + φ-quorum anti-eigenvalue-theater contract, with the +PP-13 casebook as the named failure catalog). `contract::quorum` (#411 +scaffold) is the named landing spot for the quorum certificate. Probes: +ROUTE-1, QUORUM-1, PHI-1, PYR-1, CODEBOOK-44, HILBERT-L4 (blocker). ## 2026-06-09 — E-IDENTITY-WHITEBOX-1 — structured identity + round-trip converts the substrate from black-box to CI-falsifiable diff --git a/.claude/knowledge/guid-canon-and-prefix-routing.md b/.claude/knowledge/guid-canon-and-prefix-routing.md new file mode 100644 index 00000000..6ef52544 --- /dev/null +++ b/.claude/knowledge/guid-canon-and-prefix-routing.md @@ -0,0 +1,76 @@ +# GUID Canon + Prefix Routing — the policy side (crystallization) + +> **READ BY:** integration-lead, truth-architect, family-codec-smith, +> palette-engineer, any agent touching `identity.rs`, `hhtl.rs`, +> `high_heel.rs`, `quorum.rs`, the ontology registry, or codebook builds. +> +> **Date:** 2026-06-10. **Canon source:** `OGAR/CLAUDE.md` (operator-pinned; +> cited, never forked). **Counterpart:** ndarray +> `.claude/knowledge/guid-prefix-shape-routing.md` (the mechanism side). +> Conjectures are labeled; probes named (no unmarked conjectures). + +## 1. The canon (cited) + +``` +xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx 32 hex = 128 bit = the GUID +classid HEEL HIP TWIG basin·leaf(6)+identity(6) +``` + +- **Key-of-key-value:** node = key(128) + value(3968) = 4096 bits. The key + routes/resolves/compares/scopes/names with zero value decode. +- **3×4 uniform** (`tier = nibble >> 2`); RFC 9562 = wrapper concern; + standing 3×4-vs-4×3 watch lives in `OGAR/CLAUDE.md`. +- **Centroid tile [H]:** path = 6 bytes = CAM-PQ 6×256; per-tier 256×256 + LUT distance; codebooks 4⁴-hierarchical; **scoped by class prefix** + (longest-prefix wins). +- Wrapper audit direction: `contract::identity::NodeGuid` (#480) is the + carving of this GUID — audited against the canon **group-by-group**, + never the reverse. Groups 1–2 + the 24-bit `local` already match; the + Phase B question is groups 3–4 yielding all eight nibbles to HIP/TWIG. + +## 2. lance-graph owns POLICY (ndarray owns mechanism) + +| Concern | Where it lands | Status | +|---|---|---| +| `(entity_type ↔ NiblePath)` bijection mint | ontology registry — Phase B | [H], planned (identity plan) | +| Per-class centroid codebooks (4⁴-hierarchical, prefix-scoped) | registry shelf, next to `ClassView`/`StructuralSignature` — minted with the class, trained once (amortized) | CONJECTURE → PROBE-CODEBOOK-44 (ndarray doc §6) | +| `PrefixShapeTable` registration (classid/prefix → `ShapeId`) | lance-graph builds the table from the registry; ndarray routes by it, never knowing semantics | CONJECTURE → PROBE-ROUTE-1 | +| Quorum certificate type | `contract::quorum` — the #411 scaffold (`todo!()`) is the named landing spot; `HighHeelBGZ`'s basin-merge L1-threshold consensus is the existing mechanism to generalize | CONJECTURE → PROBE-QUORUM-1 | +| Escalation on quorum fail | HHTL tier escalation (`bgz-tensor::hhtl_cache::RouteAction::Escalate` is the shipped precedent) | [G] mechanism / [H] wiring | + +## 3. The anti-theater rules, contract side + +The ndarray casebook (`pp13-brutally-honest-tester-verdict.md`) defines +eigenvalue theater: cheap arithmetic wearing metric/spectral language it +does not earn (unsatisfiable PSD gates; optimism thresholds; enforced +placeholders; unrun "verified" claims; raw-XOR-u64 as "nearest"). + +Contract-side consequences: +1. **Cheap-path answers carry a quorum certificate** — k-of-n φ-stride + probes agree within τ; τ from measured anchors (ρ = 0.9973 HIP / 0.965 + TWIG; Pflug-10 palette certification) under **I-NOISE-FLOOR-JIRAK** + (Jirak 2016 rates, never classical Berry-Esseen, never optimism). +2. **Metrics are named typed fns** (`cognitive-distance-typing.md` + no-umbrella rule): popcount Hamming, palette L1 ADC — raw-XOR-u64 + ordering is the named anti-pattern. +3. **Quorum fail escalates a tier; never silently accepts.** +4. **`ShapeId` is a register key** (I-VSA-IDENTITIES Test 0): points to a + shape; never bundled, never content-hashed. +5. **No spectral language on the cheap path.** PSD/eigen/Σ claims route to + ndarray's pillar suite with relative tolerances and measured thresholds. + +## 4. Probes (shared numbering with the ndarray doc) + +PROBE-ROUTE-1 (batch parity + ≥4× bench) · PROBE-QUORUM-1 (accept ⇒ ρ ≥ +anchor; reject ⇒ escalate) · PROBE-PHI-1 (φ-stride discrepancy beats +uniform) · PROBE-PYR-1 (perturbation pyramid byte-exact) · +PROBE-CODEBOOK-44 (4⁴ vs flat-256 within Pflug band) · PROBE-HILBERT-L4 +(ndarray P0-4 — blocks any L4 cascade-addressing claim until green). + +## 5. Cross-references + +`OGAR/CLAUDE.md` (canon) · `OGAR/docs/INTEGRATION-MAP.md` (seams S1/S7/S9; +gates F10–F14) · ndarray `guid-prefix-shape-routing.md` (mechanism) · +`EPIPHANIES.md` E-IDENTITY-WHITEBOX-1 (the bijection + roundtrip_eq +whitening) · iron rules I-NOISE-FLOOR-JIRAK, I-VSA-IDENTITIES, +I-LEGACY-API-FEATURE-GATED. From c6ad8c48ac6dbf3d7c68c319d4aafc9bb01bf982 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 10 Jun 2026 21:56:07 +0000 Subject: [PATCH 2/4] =?UTF-8?q?docs(knowledge):=20perturbation=20=3D=20det?= =?UTF-8?q?erministic=20phase=20(policy=20mirror,=20=C2=A76)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Mirror of the operator pin: (exponent, location, phase, magnitude) — key-derived except the stored magnitude envelope; lossless for synthesis; analysis remainder escalates per the quorum certificate; coprime-integer phase walk mandated in quantized layers (D-QUANTGATE); helix CurveRuler is the shipped generator. Probes PHASE-1 + PERT-RHO added to the shared list. Full treatment in the ndarray counterpart; canon in OGAR/CLAUDE.md. https://claude.ai/code/session_01PBTGaPCSnnt6u3pjXpbLwY --- .../knowledge/guid-canon-and-prefix-routing.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.claude/knowledge/guid-canon-and-prefix-routing.md b/.claude/knowledge/guid-canon-and-prefix-routing.md index 6ef52544..ef0ba581 100644 --- a/.claude/knowledge/guid-canon-and-prefix-routing.md +++ b/.claude/knowledge/guid-canon-and-prefix-routing.md @@ -74,3 +74,18 @@ gates F10–F14) · ndarray `guid-prefix-shape-routing.md` (mechanism) · `EPIPHANIES.md` E-IDENTITY-WHITEBOX-1 (the bijection + roundtrip_eq whitening) · iron rules I-NOISE-FLOOR-JIRAK, I-VSA-IDENTITIES, I-LEGACY-API-FEATURE-GATED. + +## 6. Perturbation = deterministic phase (operator pin, 2026-06-10) + +The pyramid perturbation decomposes as **(exponent, location, phase, +magnitude)**; exponent/location/phase derive from the KEY (level +nibbles `>>2`, implied mantissa, coprime phase walk — helix +`CurveRuler` stride-4-over-17 is the shipped, bit-exact integer +generator) and only the **magnitude envelope is stored** +(palette-quantized, coarse). Lossless for synthesis by construction — +phase is convention, not data; the analysis remainder escalates to +full-residual per the quorum certificate, never silently. Added +probes: **PROBE-PHASE-1** (bit-exact cross-backend regeneration; +integer walk only per D-QUANTGATE) · **PROBE-PERT-RHO** (magnitude-only +meets ρ anchors; escalation rate reported). Full treatment: ndarray +`guid-prefix-shape-routing.md` §4; canon: `OGAR/CLAUDE.md`. From 5adde325e05394804133910512b7a82e19d841d1 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 10 Jun 2026 22:09:31 +0000 Subject: [PATCH 3/4] =?UTF-8?q?docs(knowledge):=20=C2=A77=20+=20E-WHP-BIPO?= =?UTF-8?q?LAR-1=20=E2=80=94=20bipolar=20phase=20=3D=20Walsh-Hadamard=20on?= =?UTF-8?q?=20VSA=20(policy=20mirror)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Policy-side mirror of the operator pin: signed phase makes the cascade a Walsh-Hadamard transform on the existing VSA-bipolar algebra. Signs compose by XOR (= vsa_bind); magnitudes compose by vsa_bundle (Markov-respecting per I-SUBSTRATE-MARKOV). Each cell = Walsh-resonance superposition recoverable by role-key unbind; I-VSA-IDENTITIES Test 1 (N <= sqrt(d)/4 ~= 32) IS the substrate uncertainty principle made explicit. Roundtrip bit-exact (phase generated, Walsh self-inverse). TWO-ALGEBRA RULE (load-bearing): sign = XOR; magnitude = bundle, NEVER MergeMode::Xor (breaks Markov; PP-13 P1-1 is the named anti-pattern that conflates them). Receipts already exist: Vsa16kF32 (bipolar carrier, crystal/fingerprint.rs), vsa_bind/vsa_bundle (iron-rule algebra), helix CurveRuler (bit-exact integer phase walk). Fences: 'quantum-like' is the bundling algebra NOT measurement randomness (no headline drift); bipolar = 1-bit phase (multi-bit stacks above when needed); Parseval requires the bundle (sum), not just XOR. Probes shared with ndarray §4b: WHP-1 (Parseval rho on random sign-fields, Jirak floor) / WHP-2 (cross-backend roundtrip byte-identical) / WHP-3 (bind+unbind margin holds for N <= sqrt(d)/4, fails cleanly past it) / WHP-4 (two-algebra guard: raw-XOR on magnitudes fails Chapman-Kolmogorov consistency). EPIPHANIES E-WHP-BIPOLAR-1 prepended (board hygiene). https://claude.ai/code/session_01PBTGaPCSnnt6u3pjXpbLwY --- .claude/board/EPIPHANIES.md | 31 +++++++++++++++++ .../guid-canon-and-prefix-routing.md | 33 ++++++++++++++++++- 2 files changed, 63 insertions(+), 1 deletion(-) diff --git a/.claude/board/EPIPHANIES.md b/.claude/board/EPIPHANIES.md index cb20e89a..25755bf9 100644 --- a/.claude/board/EPIPHANIES.md +++ b/.claude/board/EPIPHANIES.md @@ -49,6 +49,37 @@ They are the SAME relation: the north-star template hierarchy IS the routing/sup **Phase B becomes:** stand up OGAR as the OGIT mirror + north-star template registry; seed entity_type↔NiblePath from it; the build-time round-trip proves the bijection. The surrealdb-coords blocker (N8 / Phase H) is unrelated and remains. **Cross-ref:** identity-architecture plan DECISION-2 + the north-star guard; E-IDENTITY-WHITEBOX-1 (NodeGuid composition); I-VSA-IDENTITIES (closed template vocabulary interns; Wikidata's open instance mass stays content, never a ClassId). +## 2026-06-10 — E-WHP-BIPOLAR-1 — bipolar phase makes the perturbation pyramid a Walsh-Hadamard transform on VSA (deterministic, quantum-shaped, classical) + +**Status:** FINDING (operator-pinned in `OGAR/CLAUDE.md`; crystallized both sides). +**Confidence:** High that receipts already exist (VSA bind/bundle is the iron-rule +algebra; `Vsa16kF32` is bipolar; helix `CurveRuler` is the bit-exact integer phase +generator); CONJECTURE on synthesis-as-Walsh-pyramid until WHP-1..4 land. + +When the deterministic phase from the §6 perturbation pin is made **signed (±1)** — +one bit per (addr, level) — the cascade IS the Walsh-Hadamard transform of the +address tree, carried on the workspace's existing VSA-bipolar algebra: signs compose +by XOR (= `vsa_bind`), magnitudes compose by `vsa_bundle` (Chapman-Kolmogorov- +respecting per `I-SUBSTRATE-MARKOV`). Each cell is a Walsh-resonance superposition +recoverable by role-key unbind; `I-VSA-IDENTITIES` Test 1 (N ≤ √d/4 ≈ 32) IS the +substrate's uncertainty principle. **Roundtrip bit-exact** because phase is +generated from the address, not stored — Walsh-Hadamard is self-inverse up to +scale. "Schrödinger's cat in a glass box": superposition is real, identity +recoverable by key, no measurement randomness. + +**TWO-ALGEBRA RULE (load-bearing):** sign = XOR; magnitude = bundle, NEVER +`MergeMode::Xor` (breaks Markov; the named anti-pattern is PP-13 P1-1 "raw-XOR +ordering as 'nearest'"). Sign side preserves the write-back data-flow rule +(single-target gated XOR is allowed); magnitude side preserves Parseval +(L2 conservation → "top gaussian preserved", not Kombinatorik-style selection). + +Honest fences: "quantum-like" is the bundling algebra, not measurement randomness +(no headline drift); bipolar = 1-bit phase (multi-bit stacks above when measured to +be needed); Parseval requires the bundle, not just XOR. Probes WHP-1..4 land before +any L2-conservation claim ships. Full treatment: ndarray +`guid-prefix-shape-routing.md` §4b; policy mirror: +`guid-canon-and-prefix-routing.md` §7; canon: `OGAR/CLAUDE.md`. + ## 2026-06-10 — E-CANON-GUID-1 — the canonical GUID's dash-groups are the cascade; routing/quorum crystallized before dilution **Status:** FINDING (canon operator-pinned in `OGAR/CLAUDE.md`; crystallization docs landed both sides) diff --git a/.claude/knowledge/guid-canon-and-prefix-routing.md b/.claude/knowledge/guid-canon-and-prefix-routing.md index ef0ba581..faaf173b 100644 --- a/.claude/knowledge/guid-canon-and-prefix-routing.md +++ b/.claude/knowledge/guid-canon-and-prefix-routing.md @@ -87,5 +87,36 @@ phase is convention, not data; the analysis remainder escalates to full-residual per the quorum certificate, never silently. Added probes: **PROBE-PHASE-1** (bit-exact cross-backend regeneration; integer walk only per D-QUANTGATE) · **PROBE-PERT-RHO** (magnitude-only -meets ρ anchors; escalation rate reported). Full treatment: ndarray +meets ρ anchors; escalation rate reported). Bipolar sharpening (§7 +below). Full treatment: ndarray `guid-prefix-shape-routing.md` §4; canon: `OGAR/CLAUDE.md`. + +## 7. Bipolar-phase pyramid = Walsh-Hadamard on VSA (operator, 2026-06-10) + +Sharper form of §6: when the deterministic phase is **signed (±1)**, +the cascade IS the Walsh-Hadamard transform of the address tree, +carried on the workspace's existing `Vsa16kF32` bipolar algebra. +**Signs compose by XOR (= `vsa_bind`)**; **magnitudes compose by +`vsa_bundle`** (Markov-respecting per `I-SUBSTRATE-MARKOV`). Each cell +is a Walsh-resonance superposition recoverable by role-key unbind; +the Heisenberg-shaped capacity bound is `I-VSA-IDENTITIES` Test 1 +(N ≤ √d/4 ≈ 32) — the classical uncertainty principle of the substrate +made explicit. Roundtrip bit-exact because phase is generated, not +stored. + +**Two-algebra rule (load-bearing):** sign = XOR; magnitude = bundle, +NEVER `MergeMode::Xor` (breaks Markov; the named anti-pattern is PP-13 +P1-1, "raw-XOR ordering as 'nearest'"). Receipts already exist: +`vsa_bind` / `vsa_bundle` (iron-rule algebra), `Vsa16kF32` (bipolar +carrier in `crystal/fingerprint.rs`), helix `CurveRuler` (bit-exact +integer phase walk, D-QUANTGATE-compliant). Honest fences: +"quantum-like" is the bundling algebra, NOT measurement randomness; +bipolar = 1-bit phase; Parseval preservation requires the bundle (sum), +not just XOR. + +**Probes added:** **WHP-1** (Parseval: `Σ|cell|² = Σ|M_L|²` within +Jirak noise floor) · **WHP-2** (encode→decode→encode byte-identical +cross-backend) · **WHP-3** (bind/unbind margin holds for N ≤ √d/4; +fails cleanly past it) · **WHP-4** (explicit two-algebra guard: +raw-XOR on magnitudes fails Chapman-Kolmogorov consistency). Full +treatment: ndarray `guid-prefix-shape-routing.md` §4b. From 4252f89a34cf171fe2fc845e172bdd5c2e044382 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 11 Jun 2026 01:43:02 +0000 Subject: [PATCH 4/4] docs(knowledge): address Codex + CodeRabbit on #482 Codex P2 (verified correct): contract::quorum is NOT an exported module - lib.rs declares no 'pub mod quorum'; src/quorum.rs is an unexported scaffold. Doc now states step 1 of the quorum work IS the export, and warns against importing lance_graph_contract::quorum until then. HILBERT-L4 probe row updated to VERIFIED GREEN (run first-hand on the ndarray branch: 13/13 incl. level4_all_indices_unique = bijective onto [0,4096) and level4_curve_is_connected; PP-13 P0-4's 'expected 4095' was an orientation assumption, not the contract). CodeRabbit nits: MD040 language tag on the GUID fence (text); explicit FINDING label on the section-1 canon block; FINDING/CONJECTURE labels on the two unlabeled ownership-table rows; P0 pre-read acknowledgment for encoding-ecosystem.md added to the header. https://claude.ai/code/session_01PBTGaPCSnnt6u3pjXpbLwY --- .../guid-canon-and-prefix-routing.md | 20 ++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/.claude/knowledge/guid-canon-and-prefix-routing.md b/.claude/knowledge/guid-canon-and-prefix-routing.md index faaf173b..ff65f0ca 100644 --- a/.claude/knowledge/guid-canon-and-prefix-routing.md +++ b/.claude/knowledge/guid-canon-and-prefix-routing.md @@ -8,10 +8,16 @@ > cited, never forked). **Counterpart:** ndarray > `.claude/knowledge/guid-prefix-shape-routing.md` (the mechanism side). > Conjectures are labeled; probes named (no unmarked conjectures). +> **P0 pre-read honored:** `.claude/knowledge/encoding-ecosystem.md` +> (codec/distance/representation context for the CAM-PQ and LUT claims +> below). ## 1. The canon (cited) -``` +**FINDING** (operator-pinned canon, `OGAR/CLAUDE.md` 2026-06-10 — the +layout below is recorded design authority, not a derivation): + +```text xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx 32 hex = 128 bit = the GUID classid HEEL HIP TWIG basin·leaf(6)+identity(6) ``` @@ -32,11 +38,11 @@ classid HEEL HIP TWIG basin·leaf(6)+identity(6) | Concern | Where it lands | Status | |---|---|---| -| `(entity_type ↔ NiblePath)` bijection mint | ontology registry — Phase B | [H], planned (identity plan) | +| `(entity_type ↔ NiblePath)` bijection mint | ontology registry — Phase B | CONJECTURE until Phase B lands ([H], identity plan) | | Per-class centroid codebooks (4⁴-hierarchical, prefix-scoped) | registry shelf, next to `ClassView`/`StructuralSignature` — minted with the class, trained once (amortized) | CONJECTURE → PROBE-CODEBOOK-44 (ndarray doc §6) | | `PrefixShapeTable` registration (classid/prefix → `ShapeId`) | lance-graph builds the table from the registry; ndarray routes by it, never knowing semantics | CONJECTURE → PROBE-ROUTE-1 | -| Quorum certificate type | `contract::quorum` — the #411 scaffold (`todo!()`) is the named landing spot; `HighHeelBGZ`'s basin-merge L1-threshold consensus is the existing mechanism to generalize | CONJECTURE → PROBE-QUORUM-1 | -| Escalation on quorum fail | HHTL tier escalation (`bgz-tensor::hhtl_cache::RouteAction::Escalate` is the shipped precedent) | [G] mechanism / [H] wiring | +| Quorum certificate type | the **currently-UNEXPORTED `src/quorum.rs` scaffold** (#411, `todo!()`) — `lance-graph-contract/src/lib.rs` declares **no `pub mod quorum`** (Codex-verified on #482), so **step 1 of the implementation is the export itself**; do NOT import `lance_graph_contract::quorum` until then. `HighHeelBGZ`'s basin-merge L1-threshold consensus is the existing mechanism to generalize | CONJECTURE → export + PROBE-QUORUM-1 | +| Escalation on quorum fail | HHTL tier escalation (`bgz-tensor::hhtl_cache::RouteAction::Escalate` is the shipped precedent) | FINDING: [G] mechanism / CONJECTURE: [H] wiring | ## 3. The anti-theater rules, contract side @@ -65,7 +71,11 @@ PROBE-ROUTE-1 (batch parity + ≥4× bench) · PROBE-QUORUM-1 (accept ⇒ ρ ≥ anchor; reject ⇒ escalate) · PROBE-PHI-1 (φ-stride discrepancy beats uniform) · PROBE-PYR-1 (perturbation pyramid byte-exact) · PROBE-CODEBOOK-44 (4⁴ vs flat-256 within Pflug band) · PROBE-HILBERT-L4 -(ndarray P0-4 — blocks any L4 cascade-addressing claim until green). +(**VERIFIED GREEN 2026-06-10, run first-hand**: 13/13 hilbert tests pass +incl. `level4_all_indices_unique` — bijective onto [0,4096), exactly what +cascade addressing needs — and `level4_curve_is_connected`; PP-13 P0-4's +"expected 4095" was an orientation assumption, not the contract; the +suite stays as the standing gate). ## 5. Cross-references