docs: Hambly-Lyons anchor is in-workspace — Pillar-11 B7 here + jc Pillar 11; only the ladder->signature mapping stays [S]

Follow-up to merged #243 (branch restarted from master). The §8
fourth-mode sentence said the Hambly-Lyons anchor was analogy-grade
"until a ladder->signature probe exists" without noting the theorem side
already ships in both repos:
- THIS repo: src/hpc/pillar/signature.rs (Pillar-11 B7 — signature
  transform + Hambly-Lyons sig-kernel, Gram-matrix PSD check,
  certification probe over 1,000 Levy paths).
- lance-graph: crates/jc/src/hambly_lyons.rs (Pillar 11, feature
  hambly-lyons -> sigker; forward/converse probes on
  signature_truncated).

Amended so only the ladder-levels -> signature-levels MAPPING for the
residual cascade stays [S], with its probe building on the existing
Pillar-11 harnesses. Blackboard note appended. Mirrors lance-graph
ec58954 (PR #700).

Knowledge-doc suite green (117/117).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01K3RyLEbuNSHxxB3NTTrGki

Author: claude

.claude/blackboard.md

@@ -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.

.claude/knowledge/pr-x12-h268-morton-wgpu-synergies.md

@@ -249,10 +249,16 @@ rows) — index PLACES, residual CORRECTS. 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,
+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`.