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
6 changes: 6 additions & 0 deletions .claude/blackboard.md
Original file line number Diff line number Diff line change
Expand Up @@ -769,3 +769,9 @@ default is x86-64-v3 (avx2) so ndarray_simd activates on avx512 builds only.
probe], cache-native 192B working set) — all nine consequences stay
**probe-gated** (D-MTS-1..3, PHASE-1/PERT-RHO/PYR-1, WHP-1..4, L4
doc-lock); no kill condition weakened.
- **§8 fourth-mode follow-up (post-#243):** the Hambly–Lyons anchor is
in-workspace, not external — THIS repo `src/hpc/pillar/signature.rs`
(Pillar-11 B7: sig transform + sig-kernel, Gram PSD, 1000-Lévy-path
certification) + lance-graph jc Pillar 11 (`hambly_lyons.rs`, feature
`hambly-lyons` → sigker). Only the ladder→signature MAPPING stays
[S]; probe builds on the Pillar-11 harnesses. §8 sentence amended.
27 changes: 21 additions & 6 deletions .claude/knowledge/pr-x12-h268-morton-wgpu-synergies.md
Original file line number Diff line number Diff line change
Expand Up @@ -243,16 +243,31 @@ the arithmetic, a 256² u16 table is 128 KB, and the attribution.)

**Honourable fourth mode (operational, not a footprint): index +
residual.** bgz-tensor's `AdaptiveRow` (`adaptive_codec.rs`) keeps the
palette centroid index as the coarse deterministic PLACE and stores only a
Hadamard-rotated residual (i8 for outlier rows; i4+i2 cascade for regular
rows) — index PLACES, residual CORRECTS. It is the continuous-field exit
palette centroid index as the coarse deterministic PLACE and stores a
Hadamard-rotated residual in a three-tier LFD split
(`classify_rows_by_lfd`): the hardest ~top-10% LFD rows escape to
`Passthrough` (exact original stored — no index+residual at all), the
next ~20% get an i8 residual, the bottom ~70% the i4+i2 cascade — index
PLACES, residual CORRECTS, and the mold is never forced on rows it
doesn't fit. Provenance caveat: bgz-tensor predates turbovec/PolarQuant
and helix — this records what ships, not current best practice; an
engineering follow-up review is queued (lance-graph
`TD-BGZ-TENSOR-PRE-LANE-REVIEW`: reconcile the i4+i2 cascade vs turbovec
Lloyd-Max/NativeLut, Hadamard vs the PolarQuant rotation findings,
residual coding vs helix — consume-the-lane / demarcate / retire). It is the continuous-field exit
where a bare 256-level index terraces (e.g. elevation); categorical
surfaces (`Signed360` normals, narrow colour) stay flat. Out-of-row like
`Signed360`; the in-row refinement budget remains the turbovec nibble
lane. Formal anchor [S]: Hambly–Lyons 2010 signature uniqueness (a
lane. Formal anchor: Hambly–Lyons 2010 signature uniqueness (a
bounded-variation path is determined by its graded iterated-integral
cascade up to tree-like equivalence) — analogy-grade until a
ladder→signature probe exists. Canonical text: lance-graph
cascade up to tree-like equivalence) — **already in-workspace on both
sides** (corrected 2026-07-16): THIS repo's `src/hpc/pillar/signature.rs`
(Pillar-11 B7 — signature transform + sig-kernel, Gram PSD check,

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Correct the claimed Gram PSD check

When this §8 anchor is used to plan the ladder→signature probe, it overstates what the ndarray Pillar-11 harness certifies. The local code does not perform a Gram PSD check: prove_pillar_11 only checks positive self-kernels plus pairwise Cauchy–Schwarz violations on the 50-path subset before marking the report passed (src/hpc/pillar/signature.rs:299-319). Pairwise conditions are not equivalent to checking the Gram matrix is PSD, so downstream docs/probes can rely on proof coverage that is not actually present.

Useful? React with 👍 / 👎.

1 000-Lévy-path certification probe) and lance-graph jc Pillar 11
(`crates/jc/src/hambly_lyons.rs`, feature `hambly-lyons` → `sigker`,
forward/converse probes on `signature_truncated`). Only the
ladder→signature MAPPING for the residual cascade stays [S]; its probe
builds on the existing Pillar-11 harnesses. Canonical text: lance-graph
`le-contract.md §3` honourable-mention subsection +
`E-PALETTE-RESIDUAL-LADDER-1`.

Expand Down
Loading