Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
47 changes: 47 additions & 0 deletions .claude/board/EPIPHANIES.md
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,53 @@ stay as historical references.

## Entries (reverse chronological)

## 2026-04-20 — D0.2 stub flag is anti-#219 defense at the type level

**Status:** FINDING

`WireTokenAgreementResult` carries `stub: bool` + `backend: "stub"`
default. Phase 0 ships the Wire surface without the decode-and-compare
harness; the stub returns zero rates. **Any downstream client that
confuses stub output for real measurements fails loudly** — because
`stub == true` and `backend == "stub"` are machine-checkable, not
comments. This is the #219 pattern (synthetic-rows-mistaken-for-real)
prevented at the type layer, not just in docs.

Pattern generalises: every Phase-N surface DTO that lands before its
Phase-N+k harness should carry an explicit stub flag. Rules A–F say
*how* to structure the Wire; the stub flag says *whether* the numbers
are real. Orthogonal, both load-bearing.

Cross-ref: D0.2 `WireTokenAgreementResult`; E-ORIG-7 Jirak (the correct
measurement regime once the stub comes off); #219/#220 arc.

---

## 2026-04-20 — D0.5 auto_detect is the concrete Python↔Rust heuristic handshake

**Status:** FINDING (confirms E-MEMB-11 handshake mechanism)

Rosetta v2 (Python) routes architectures to lane widths via
family-name heuristic. D0.5 `auto_detect::suggest_lane_width` lands
the same heuristic on the Rust side: llama / qwen / qwen2 / qwen3 /
mistral / mixtral → BF16x32 (AMX-ready); bert / modernbert /
xlm-roberta / generic → F32x16 (AVX-512 baseline); `torch_dtype`
override wins.

Same table, two languages. **The Python↔Rust handshake (E-MEMB-11)
is no longer conceptual** — it has a concrete implementation: the
architecture string is the shared vocabulary; lane width is the
shared dispatch decision; `torch_dtype` is the shared override. A
future `slice-layout-reconciliation.md` (E-MEMB-1 blocker fix) can
use the same handshake pattern: architecture → layout version →
canonical slice table.

Cross-ref: `crates/cognitive-shader-driver/src/auto_detect.rs`;
E-MEMB-11 (LivingFrame ↔ ContextChain handshake); Rosetta v2
`DIMENSION_MAP` architecture routing.

---

## 2026-04-20 — E-SUBSTRATE-1 — VSA-bundling guarantees Chapman-Kolmogorov by construction

**Status:** FINDING (load-bearing — FUNDAMENT underneath the [FORMAL-SCAFFOLD] four pillars)
Expand Down
6 changes: 3 additions & 3 deletions .claude/board/STATUS_BOARD.md
Original file line number Diff line number Diff line change
Expand Up @@ -49,11 +49,11 @@ afterwards is a JIT kernel, not a rebuild. Plan path:

| D-id | Title | Status | PR / Evidence |
|---|---|---|---|
| D0.1 | Extend `WireCalibrate` + `WireTensorView` (64-byte-aligned decode, object-oriented methods) | **In PR** | branch `claude/teleport-session-setup-wMZfb` — +360 LOC (serde mirrors for CodecParams/LaneWidth/Distance/Rotation/ResidualSpec + TryFrom conversions + `WireTensorView` with `AlignedBytes` 64-byte-aligned decode + `row()` / `subspace()` / `lanes_f32x16()` methods + 8 tests; response extended with `kernel_hash` / `compile_time_us` / `backend` fields). 55/55 cognitive-shader-driver tests pass under `--features serve`. |
| D0.2 | `WireTokenAgreement` endpoint stub — I11 cert gate | **Queued** | target ~160 LOC |
| D0.1 | Extend `WireCalibrate` + `WireTensorView` (64-byte-aligned decode, object-oriented methods) | **Shipped** | #227 — 55/55 tests passing |
| D0.2 | `WireTokenAgreement` endpoint stub — I11 cert gate (Phase 0 surface, Phase 2 harness) | **In PR** | branch — `WireTokenAgreement` + `WireTokenAgreementResult` + `WireBaseline` DTOs + 3 round-trip tests. Stub handler returns `stub:true` / `backend:"stub"` until D2.1–D2.3 wire real decode-and-compare. |
| D0.3 | `WireSweep` streaming endpoint + Lance append stub | **Queued** | target ~200 LOC |
| D0.4 | Surface freeze (commit + rebuild) | **Queued** | gates D0.1–D0.3 + D0.5–D0.7 |
| D0.5 | `auto_detect.rs` — `ModelFingerprint` from `config.json` | **Queued** | target ~140 LOC (CODING_PRACTICES gap 1) |
| D0.5 | `auto_detect.rs` — `ModelFingerprint` from `config.json` | **In PR** | branch — `auto_detect::{detect, ModelFingerprint, DetectError}` + HF config.json parser + per-architecture lane/distance heuristics (llama/qwen3/bert/modernbert/xlm-roberta/generic) + 8 tests. CODING_PRACTICES gap 1 remediated. |
| D0.6 | `CodecParamsBuilder` fluent API | **Shipped** | #225 — `contract::cam` +290 LOC of codec-params types, 14 tests (CODING_PRACTICES gap 3) |
| D0.7 | Precision-ladder validation (OPQ↔BF16x32, Hadamard pow2, overfit guard) | **Shipped** | #225 — `CodecParamsError` at `.build()` BEFORE JIT compile |

Expand Down
Loading
Loading