|
| 1 | +# GUID Canon + Prefix Routing — the policy side (crystallization) |
| 2 | + |
| 3 | +> **READ BY:** integration-lead, truth-architect, family-codec-smith, |
| 4 | +> palette-engineer, any agent touching `identity.rs`, `hhtl.rs`, |
| 5 | +> `high_heel.rs`, `quorum.rs`, the ontology registry, or codebook builds. |
| 6 | +> |
| 7 | +> **Date:** 2026-06-10. **Canon source:** `OGAR/CLAUDE.md` (operator-pinned; |
| 8 | +> cited, never forked). **Counterpart:** ndarray |
| 9 | +> `.claude/knowledge/guid-prefix-shape-routing.md` (the mechanism side). |
| 10 | +> Conjectures are labeled; probes named (no unmarked conjectures). |
| 11 | +
|
| 12 | +## 1. The canon (cited) |
| 13 | + |
| 14 | +``` |
| 15 | +xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx 32 hex = 128 bit = the GUID |
| 16 | +classid HEEL HIP TWIG basin·leaf(6)+identity(6) |
| 17 | +``` |
| 18 | + |
| 19 | +- **Key-of-key-value:** node = key(128) + value(3968) = 4096 bits. The key |
| 20 | + routes/resolves/compares/scopes/names with zero value decode. |
| 21 | +- **3×4 uniform** (`tier = nibble >> 2`); RFC 9562 = wrapper concern; |
| 22 | + standing 3×4-vs-4×3 watch lives in `OGAR/CLAUDE.md`. |
| 23 | +- **Centroid tile [H]:** path = 6 bytes = CAM-PQ 6×256; per-tier 256×256 |
| 24 | + LUT distance; codebooks 4⁴-hierarchical; **scoped by class prefix** |
| 25 | + (longest-prefix wins). |
| 26 | +- Wrapper audit direction: `contract::identity::NodeGuid` (#480) is the |
| 27 | + carving of this GUID — audited against the canon **group-by-group**, |
| 28 | + never the reverse. Groups 1–2 + the 24-bit `local` already match; the |
| 29 | + Phase B question is groups 3–4 yielding all eight nibbles to HIP/TWIG. |
| 30 | + |
| 31 | +## 2. lance-graph owns POLICY (ndarray owns mechanism) |
| 32 | + |
| 33 | +| Concern | Where it lands | Status | |
| 34 | +|---|---|---| |
| 35 | +| `(entity_type ↔ NiblePath)` bijection mint | ontology registry — Phase B | [H], planned (identity plan) | |
| 36 | +| 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) | |
| 37 | +| `PrefixShapeTable` registration (classid/prefix → `ShapeId`) | lance-graph builds the table from the registry; ndarray routes by it, never knowing semantics | CONJECTURE → PROBE-ROUTE-1 | |
| 38 | +| 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 | |
| 39 | +| Escalation on quorum fail | HHTL tier escalation (`bgz-tensor::hhtl_cache::RouteAction::Escalate` is the shipped precedent) | [G] mechanism / [H] wiring | |
| 40 | + |
| 41 | +## 3. The anti-theater rules, contract side |
| 42 | + |
| 43 | +The ndarray casebook (`pp13-brutally-honest-tester-verdict.md`) defines |
| 44 | +eigenvalue theater: cheap arithmetic wearing metric/spectral language it |
| 45 | +does not earn (unsatisfiable PSD gates; optimism thresholds; enforced |
| 46 | +placeholders; unrun "verified" claims; raw-XOR-u64 as "nearest"). |
| 47 | + |
| 48 | +Contract-side consequences: |
| 49 | +1. **Cheap-path answers carry a quorum certificate** — k-of-n φ-stride |
| 50 | + probes agree within τ; τ from measured anchors (ρ = 0.9973 HIP / 0.965 |
| 51 | + TWIG; Pflug-10 palette certification) under **I-NOISE-FLOOR-JIRAK** |
| 52 | + (Jirak 2016 rates, never classical Berry-Esseen, never optimism). |
| 53 | +2. **Metrics are named typed fns** (`cognitive-distance-typing.md` |
| 54 | + no-umbrella rule): popcount Hamming, palette L1 ADC — raw-XOR-u64 |
| 55 | + ordering is the named anti-pattern. |
| 56 | +3. **Quorum fail escalates a tier; never silently accepts.** |
| 57 | +4. **`ShapeId` is a register key** (I-VSA-IDENTITIES Test 0): points to a |
| 58 | + shape; never bundled, never content-hashed. |
| 59 | +5. **No spectral language on the cheap path.** PSD/eigen/Σ claims route to |
| 60 | + ndarray's pillar suite with relative tolerances and measured thresholds. |
| 61 | + |
| 62 | +## 4. Probes (shared numbering with the ndarray doc) |
| 63 | + |
| 64 | +PROBE-ROUTE-1 (batch parity + ≥4× bench) · PROBE-QUORUM-1 (accept ⇒ ρ ≥ |
| 65 | +anchor; reject ⇒ escalate) · PROBE-PHI-1 (φ-stride discrepancy beats |
| 66 | +uniform) · PROBE-PYR-1 (perturbation pyramid byte-exact) · |
| 67 | +PROBE-CODEBOOK-44 (4⁴ vs flat-256 within Pflug band) · PROBE-HILBERT-L4 |
| 68 | +(ndarray P0-4 — blocks any L4 cascade-addressing claim until green). |
| 69 | + |
| 70 | +## 5. Cross-references |
| 71 | + |
| 72 | +`OGAR/CLAUDE.md` (canon) · `OGAR/docs/INTEGRATION-MAP.md` (seams S1/S7/S9; |
| 73 | +gates F10–F14) · ndarray `guid-prefix-shape-routing.md` (mechanism) · |
| 74 | +`EPIPHANIES.md` E-IDENTITY-WHITEBOX-1 (the bijection + roundtrip_eq |
| 75 | +whitening) · iron rules I-NOISE-FLOOR-JIRAK, I-VSA-IDENTITIES, |
| 76 | +I-LEGACY-API-FEATURE-GATED. |
0 commit comments