docs(pr-x12): apply audit corrections + ground x265/x266 lens in the public H.266/ECM/NNVC/H.267 landscape

.claude/PR-X12-docs-audit.md

@@ -314,3 +314,58 @@ If you read nothing else of this audit:
 > verified by whole-file read.
 
 _Last edit: 2026-05-22._
+
+---
+
+## 8. Addendum — corrections applied (2026-07-16)
+
+This audit sat unapplied from 2026-05-22 to 2026-07-16 ("no edits made to
+the audited docs"). The following recommendations were executed on branch
+`claude/x265-x266-plans-review-h9osnl`:
+
+**Tier 2 targeted fixes (applied):**
+
+- Findings #1/#2/#3/#4 — R-7 inversion + fabricated symbols: corrected in
+  `pr-x12-canon-resolutions-delta.md` (§0 item 3, §3.2),
+  `pr-x12-substrate-canon-resolutions.md` (R-7, §12 item R-7),
+  `pr-x12-codec-cognitive-substrate-mapping.md` (§13.3),
+  `pr-x12-x265-blasgraph-gemm.md` (§1 table row 4, §2.4). blasgraph is
+  restored as canon; `ScalarCsr::spmv_min_plus` correctly named as the only
+  shipped min-plus (lossy sibling, prototype only); `tropical_spmv` /
+  `tropical_gemm` free-function citations removed.
+- Finding #5 — `batched_ssd_search`: marked **[PLANNED symbol]** at every
+  citation site (delta §3.1, substrate-canon R-6, mapping §13.1, GEMM lens
+  §1/§5).
+- Findings #6/#7 — per-arch DCT crossover constants: marked
+  **[UNCALIBRATED ESTIMATES]** in delta §6, substrate-canon R-5, GEMM lens
+  §2.2; the self-fabricating "Graviton=128" withdrawn from mapping §5.3.
+- Finding #8 — "132,710 CTUs/frame" mislabel: fixed to leaves-at-8×8 in
+  delta §2.3 (budget recomputed per-leaf). Review follow-up (same day):
+  the count itself was also wrong — exact 8×8 accounting at 3840×2160 is
+  **129,600** leaves (padded 64×64: 2,040 CTUs → 130,560); the audit's own
+  finding #8 had accepted 132,710 as "correct-as-leaves," which it wasn't.
+  Budget recomputed to ~129 ns/leaf; the "~132K CTUs" figures in the three
+  RDO paragraphs corrected to ~2,040 CTUs; R-11 matrix row re-unitized to
+  ≤210 ns/leaf.
+- Finding #9 — false `signature_kernel_pde` Goursat-PDE bug claim:
+  withdrawn at all four sites (delta §11/§12, substrate-canon R-14/R-15).
+- Finding #19 — §9 falsifiability matrix: tagged FORWARD-CONDITIONAL
+  (Plan G binary does not exist; rows are planned tests, not passed ones).
+
+**Tier 1 (quarantined, rewrite still owed):**
+
+- `pr-x12-woa-multiarch-orchestration.md` and
+  `pr-x12-bgz-jc-substrate-synergies.md` carry ⛔ QUARANTINED headers
+  naming the findings and forbidding citation as evidence. Full rewrites
+  per §5 Tier 1 remain open work.
+
+**Status change since audit:** `src/hpc/codec/` now also contains `ans.rs`
+(A7 rANS) and `rdo.rs` (A6 λ-RDO) — the audit-era debts D-CODEC-2 (P0) and
+D-CODEC-3 (P1) have shipped code. Still no `ndarray-codec` crate (Plan H
+unextracted).
+
+**New in the same pass:** the x265/x266 lens line is grounded against the
+public JVET trajectory in `pr-x12-h266-h267-standards-landscape.md`
+(H.266/VVC facts, ECM, NNVC, H.267 CfP-Jul-2026 → finalize-2028 timeline,
+≥40%-over-VVC requirement), with a dated §12 reality-check addendum in
+`pr-x12-x266-3dgs-spacetime-upscaling.md`.

.claude/blackboard.md

@@ -679,3 +679,54 @@ parity CI + the matryoshka chacha20 fork. Plan in `.claude/CHACHA20_MATRYOSHKA_P
 Follow-ups (documented in `.claude/CHACHA20_MATRYOSHKA_PLAN.md`): wasm matryoshka
 backend (simd128 branch); cross-repo `[patch]` for MedCare-rs; the workspace
 default is x86-64-v3 (avx2) so ndarray_simd activates on avx512 builds only.
+
+---
+
+## 2026-07-16 — PR-X12 x265/x266 plan review: audit applied + H.267 standards grounding
+
+- **PR-X12-docs-audit corrections finally APPLIED** (they had sat unapplied
+  since 2026-05-22): fabricated symbols marked ([PLANNED] `batched_ssd_search`;
+  `blasgraph::tropical_gemm` / `bgz17::tropical_spmv` removed — real min-plus is
+  method `ScalarCsr::spmv_min_plus`, lossy sibling); blasgraph restored as
+  bit-exact canon over bgz17; per-arch DCT crossovers tagged [UNCALIBRATED];
+  false `signature_kernel_pde` Goursat-bug claim withdrawn (its convergence
+  tests pass); the R-11 unit is leaves-at-8×8 not CTUs, and the count itself
+  was corrected to 129,600 exact (padded 130,560; the old 132,710 was
+  ungrounded) → ~129 ns/leaf budget; §9 falsifiability matrix tagged
+  FORWARD-CONDITIONAL. Tier-1 docs (`woa-multiarch-orchestration`,
+  `bgz-jc-substrate-synergies`) ⛔ QUARANTINED pending rewrite.
+- **NEW: `.claude/knowledge/pr-x12-h266-h267-standards-landscape.md`** —
+  sourced public-standards anchor: H.266/VVC (2020, ~40-50% over HEVC, dec
+  1.5-2×/enc ~10×), ECM-16.1 (~27% over VTM, complexity flagged impractical),
+  NNVC v7 (NN in-loop ≈9% RA each — the antithesis of our anti-neural rule),
+  H.267 (CfP Jul 2026 → submissions Nov 2026 → evaluation Jan 2027 → finalize
+  ~2028; requirement ≥40% over VVC Main 10 at 4K+). "x266" in our docs =
+  PR-X12 3DGS scene codec, never H.266.
+- x266 lens doc got §12 reality-check addendum + F-3b falsifier
+  (conventional-plus-neural acceptance risk); capstone + 3DGS plan index got
+  standards-watch sections. Watch dates: Nov 2026, Jan 2027.
+- Status note: `src/hpc/codec/` now has `ans.rs` + `rdo.rs` (A7/A6 debts
+  D-CODEC-2/-3 have code); still no `ndarray-codec` crate (Plan H open).
+
+---
+
+## 2026-07-16 (2) — H.268 codename + graded Morton/wgpu synergy matrix
+
+- **Codename ruling:** the "x266" placeholder (PR-X12 3DGS scene codec) is
+  internally codenamed **H.268** — INTERNAL ONLY, never an ITU designation
+  (H.267 itself is still prospective). Registered in the x266 lens header,
+  landscape doc, capstone, 3DGS plan index.
+- **NEW: `.claude/knowledge/pr-x12-h268-morton-wgpu-synergies.md`** — the
+  "industry-impractical vs realistically-achievable" matrix, every claim
+  adversarially verified (workflow wf_6c6fb99a-cb4, 15 agents, file:line
+  receipts): 1× FEASIBLE-NOW (the scoping row), 2× NEEDS-PROBE, 7×
+  OVERCLAIM-CORRECTED. Load-bearing findings: wasm SIMD128 lane IS real +
+  CI-parity-verified (simd_wasm.rs; wasm-simd/parity-node); bgz17 256×256
+  tables are texture-isomorphic (dense u16, R16Uint-ready) but zero GPU-LUT
+  code exists; ctu.rs is an ARENA tree (no Morton in codec dir) — flat
+  Morton SoA is an unimplemented refactor; D-PHASE/D-WHP are [H] with unrun
+  probes (J2 kill: dither-only); a2ui-paint wgpu = untested quad demo,
+  `webgl` feature unwired; ndarray deliberately "no GPU, no wgpu".
+- **Probe queue established:** PROBE-GPU-LUT, PROBE-MORTON-CTU,
+  PROBE-RANS-INTERLEAVE (new names), + OGAR PHASE-1/PERT-RHO/PYR-1,
+  WHP-1..4, Plan E bits/Gaussian, a2ui N2 — each with pass/kill conditions.

.claude/knowledge/pr-x12-bgz-jc-substrate-synergies.md

@@ -1,5 +1,18 @@
 # PR-X12 ↔ bgz family + jc proof crate — Substrate Synergies & Identified Gaps
 
+> ⛔ **QUARANTINED — Tier-1 audit finding (2026-05-22, tagged 2026-07-16).**
+> `.claude/PR-X12-docs-audit.md` findings #4, #17, #18: the §0 thesis
+> force-couples the **lossy** bgz17 stack to the **bit-exact** codec mode
+> taxonomy ("bgz17's 4-layer cascade IS the Skip/Merge/Delta/Escape grammar")
+> — a soundness violation, not a unification; "HHTL 16×16×16 = 4096-leaf"
+> matches no real codec (CAM-PQ is 6×256, `Codebook4096` is flat 4096,
+> `HhtlDEntry` is 4×16×256); and §2.7 misattributes jc Pillar 11's theorem
+> (path-signature uniqueness, not bgz bitstream uniqueness). §2.2 carries the
+> correct nuance — read bgz17 / highheelbgz / bgz-hhtl-d / cam_pq as
+> **siblings**, never substitutes for blasgraph. **Do not cite §0 / §2.5 /
+> §2.7 / §4 / §7-§8 as evidence.** Pending rewrite per audit Tier-1
+> recommendation.
+>
 > Date: 2026-05-22
 > Status: **substrate grounding doc** — connects PR-X12's abstract substrate claims to the **already-implemented** crates in `lance-graph/crates/`. Companion to the five perspective lenses written 2026-05-22.
 >

.claude/knowledge/pr-x12-cam-pq-sigker-dn-tree-substrate-bindings.md

@@ -284,7 +284,7 @@ Updating the inventory from `pr-x12-bgz-jc-substrate-synergies.md` §7 with the
 | 4096-entry basin codebook | `bgz-tensor::Codebook4096` (literal 4096-entry type), trained by **`cam_pq`**. `bgz-hhtl-d` is a *different* basin-codebook strategy (4-basin × 16-HIP × 256-TWIG = 16,384-cell address space over a shared 256-entry palette) — not the canonical 4096 |
 | `CurveOrder<const N>` | `highheelbgz` spiral addressing |
 | `LinearReduce<T> + Basis<T>` | `bgz-tensor` AttentionSemiring + ComposeTable + DistanceTable; **`sigker::SignatureBasis`** (proposed) |
-| Tropical-GEMM (R-7) | `bgz17::scalar_sparse::tropical_spmv` |
+| Tropical-GEMM (R-7) | canonical home `lance-graph::blasgraph` (kernel unwritten); shipped min-plus is the method `bgz17::ScalarCsr::spmv_min_plus` [lossy sibling, prototype only — corrected 2026-07-16 per audit] |
 | Federated codebook (R-13) | `bgz-hhtl-d` shared-palette + **`cam_pq::CamCodebook`** + **`dn_tree`** (online update) + **`merkle_tree`** (integrity) |
 | Formal correctness — codec quantization | `jc` **Pillar 10 (Pflug-Pichler)** — nested-distance Lipschitz on Sigma DN-trees, certifies CAM-PQ tree quantization preserves FreeEnergy within Lε |
 | Formal correctness — path-signature lane | `jc` **Pillar 11 (Hambly-Lyons)** via **`sigker`** — certifies Index-regime classification (sigker only, not bgz) |
@@ -335,15 +335,22 @@ Recommended edits to `pr-x12-canon-resolutions-delta.md`:
 > - **Quantization correctness (Pillar 10, Pflug-Pichler):** nested-distance Lipschitz on Sigma DN-trees — proves CAM-PQ tree quantization preserves FreeEnergy within Lε. This is the proof PR-X12 cites for "wire-format quantization is faithful."
 > - **Path-signature correctness (Pillar 11, Hambly-Lyons):** signature uniqueness on tree-quotient — proves any path is uniquely determined by its truncated signature up to tree-like equivalence. Active under `--features hambly-lyons` (since 2026-05-07, PR #348). This is the proof PR-X12 cites for the `SignatureBasis<DEPTH>` lane (R-15).
 >
-> Both pillars exist; the codec cites them and does not reprove. **Status: Pillar 10 active; Pillar 11 active under feature gate. Production-scale benchmarking + PR #350 (signature_kernel_pde math correction) — see Gap G-4.**
+> Both pillars exist; the codec cites them and does not reprove. **Status: Pillar 10 active; Pillar 11 active under feature gate. Production-scale benchmarking — see Gap G-4.** *(Corrected 2026-07-16, audit #9: the "PR #350 signature_kernel_pde math correction" claim is withdrawn — the PDE form's convergence tests to `I₀(2·√⟨u,v⟩)` pass; there is no known bug.)*
 
-**R-7 path correction** — the kernel home:
+**R-7 kernel home** *(corrected 2026-07-16, audit #1-#4 — the earlier "path
+correction" here had the canon/adapter relationship inverted)*:
 
-> R-7 (corrected): tropical-GEMM lives at `lance-graph::bgz17::scalar_sparse::tropical_spmv` (not the abstract `blasgraph` namespace). The codec's tropical-GEMM RDO call is `bgz17::scalar_sparse::tropical_spmv(edge_weights, dag)`.
+> R-7 (corrected): the canonical, bit-exact home for the tropical-GEMM
+> partition kernel is `lance-graph::blasgraph`; that f32 min-plus kernel is
+> UNWRITTEN today. The only shipped min-plus is the method
+> `bgz17::ScalarCsr::spmv_min_plus` (`fn(&self, x: &[f32]) -> Vec<f32>`) —
+> a lossy-sibling prototype, never a substitute for the blasgraph canon.
+> The free function `tropical_spmv(edge_weights, dag)` cited previously
+> does not exist.
 
 **R-15 (new candidate)** — signature-basis as Basis<T> impl:
 
-> R-15 (candidate): the substrate supports path-structured signals via `sigker::SignatureBasis<DEPTH>: Basis<f32>`, alongside `DctIIBasis<N>: Basis<i16>` (video) and `EwaSplatBasis: Basis<f16>` (3DGS). Implementation: ~1 week wrapper around `sigker::signature_kernel_pde`. **Plan G** gets a fifth lane (path-structured: audio waveform, time-series, gesture/handwriting).
+> R-15 (candidate): the substrate supports path-structured signals via `sigker::SignatureBasis<DEPTH>: Basis<f32>`, alongside `DctIIBasis<N>: Basis<i16>` (video) and `EwaSplatBasis: Basis<f16>` (3DGS). Implementation: ~1 week wrapper around `sigker::signature_truncated` (the form Pillar 11 cites; the PDE form is equally sound — audit #9 — but the truncated path is what R-15 commits). **Plan G** gets a fifth lane (path-structured: audio waveform, time-series, gesture/handwriting).
 
 ---