You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit 21b61eb
Browse filesBrowse the repository at this point in the historyBrowse files
docs(pr-x12): address PR #197 CodeRabbit review — 7 open items
Arithmetic errors
- R-11 (canon-resolutions): 132,710 was 8×8 leaves/frame, not 64×64
CTUs (which is 2,040). Relabelled the per-CTU breakdown table and
budget derivation to per-leaf; clarified the 1 CTU = ~64 leaves at
max split depth relationship. Latency narrative unchanged.
- R-12 (canon-resolutions): per-CTU flush rate at 4K was 80,000/sec
but 2,040 CTUs × 60 fps = 122,400/sec; 1080p figure refined to
30,600/sec (510 CTUs × 60).
- x266 §6 bandwidth: HEVC at 4K/60 from 1080p/30 scales as
4 (res) × 2 (fps) × 6.25 MB = 50 MB, not 4 × 4 × 6.25 = 100 MB.
PR-X12 wins by ~6× (not 12×); crossover ~1.3× (not 3×).
Bits 14-15 consistency (3 sites reconciled to R-2 canon)
- merged-canon M:E-J §3 formalisation note: replaced stale
'bits 14-15 = leaf_size' with R-2's bit 15 = UNIVERSAL inter-tier /
bit 14 = CONSUMER-TYPED via ConsumerProfile. Leaf size lives in
Ctu<const N> at the type level (M:E-G), not in header bits.
- x266 §5 header layout: same R-2 alignment for the HEVC-compatible
header block.
- anti-neural §6: enhancement-layer flag moved from per-leaf bit 14
(claimed by R-2 consumer-typed demux) to the frame header reserved
area (alongside ConsumerProfile and FlushUnit per R-2/R-12).
Path / citation corrections (cam-pq-sigker-dn-tree doc)
- Absolute /home/user/ndarray/... paths replaced with repo-relative
src/hpc/... since this repo IS ndarray.
- /home/user/lance-graph/... paths marked as external repo
(adaworldapi/lance-graph), not resolvable in this checkout.
- Hambly-Lyons 2010 citation now includes arXiv:math/0507536 and
Annals of Mathematics 171(1):109-167.
All claims re-verified by reading each affected file in full
(canon-resolutions 1281 lines, x266 321, merged-canon 647,
anti-neural 337, cam-pq 395) before edits — the same protocol
applied to the bgz-jc proofread.
https://claude.ai/code/session_01HbqooFZHAjaUtFEzhA1R2u
Copy file name to clipboardExpand all lines: .claude/knowledge/pr-x12-anti-neural-lookup-inversion.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -234,7 +234,7 @@ For these use cases, the right architecture is a **layered codec**:
234
234
1.**Base layer:** PR-X12 frozen-lookup codec for the bits-actually-transmitted
235
235
2.**Enhancement layer:** NN generative refinement at the decoder (optional, off by default)
236
236
237
-
The base layer guarantees fidelity bounded by Shannon. The enhancement layer provides perceptual hallucination when the user opts in. PR-X12's wire format reserves a single bit (M:E-J bit 14 currently used for leaf_size; one of the reserved bits in future revisions) for the "enhancement layer available" flag.
237
+
The base layer guarantees fidelity bounded by Shannon. The enhancement layer provides perceptual hallucination when the user opts in. PR-X12's wire format reserves a single bit in the **frame header** (alongside `ConsumerProfile` and `FlushUnit` per R-2 / R-12) for the "enhancement layer available" flag — not in the per-leaf 16-bit header, whose bit 14 is already claimed by R-2's consumer-typed demux and whose bit 15 is the universal inter-tier reference.
238
238
239
239
This is also the right architecture for high-stakes content (legal, medical, scientific): always run the base layer, never run the enhancement layer. Determinism preserved.
**Location:**`crates/sigker/` in the external `adaworldapi/lance-graph` repo (not in this `ndarray` repo)
112
112
113
113
**Algorithm:** Path-signature representations for sequential / path-structured data. Implements Chen-Lyons signatures S(X) = (1, ∫dX, ∫∫dX⊗dX, …) up to depth N, with shuffle-product algebra and proven uniqueness.
| Hambly-Lyons, "Uniqueness for the signature of a path of bounded variation" | 2010 |**Theorem 4: signatures uniquely determine paths up to tree-like equivalence**|
137
+
| Hambly-Lyons, "Uniqueness for the signature of a path of bounded variation" (**arXiv:math/0507536**, Annals of Mathematics 171(1):109–167) | 2010 |**Theorem 4: signatures uniquely determine paths up to tree-like equivalence**|
138
138
| Salvi-Cass-Foster-Lyons-Lemercier | 2020 |**arXiv:2006.14794** — Goursat-PDE solver for signature kernel, O(T₁·T₂·d), no signature materialization |
139
139
| Cuchiero-Schmocker-Teichmann | 2021 |**Randomized signature universality**: any continuous path-functional ≈ linear combo of randomized-signature coordinates |
140
140
@@ -206,7 +206,7 @@ This unlocks: **path-structured codec lanes** in Plan G (audio waveforms, time-s
Copy file name to clipboardExpand all lines: .claude/knowledge/pr-x12-substrate-merged-canon.md
+12-1Lines changed: 12 additions & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -278,7 +278,18 @@ pub trait PredictiveSignal {
278
278
279
279
### M:E-J — The reserved header bits 14-15 carry causal-edge metadata for free
280
280
281
-
> [Formalised post-merge as **R-2**: 16-bit header bit layout pinned — bits 0-1 = `header_kind`, bits 2-13 = `basin_index`, bits 14-15 = `leaf_size ∈ {8,16,32,64}` (which subsumes M:E-G's `Ctu<const N>`). The causal-tier reading below remains valid but is now the *interpretation*, not the on-wire layout — see R-2 and R-8.]
281
+
> [Formalised post-merge as **R-2**: 16-bit header bit layout pinned —
or super-res upscaling at decode = 6.25 MB + neural inference)
219
226
PR-X12 + 3DGS: same 8.3 MB
220
227
decoder rasterizes at (4K, 60 fps); the math is in the scene
221
228
222
-
→ PR-X12 wins by 12× for high-resolution playback,
229
+
→ PR-X12 wins by ~6× for high-resolution playback,
223
230
AND playback is deterministic (no neural model versioning).
224
231
```
225
232
226
-
**Where the crossover sits:** PR-X12 + 3DGS becomes a win when the playback target (W × H × fps) exceeds the encode target by ~3×. At 1× (native), HEVC is a hair cheaper. At 12× (4K@60 from 1080p@24), PR-X12 dominates.
233
+
**Where the crossover sits:** PR-X12 + 3DGS becomes a win when the playback target (W × H × fps) exceeds the encode target by ~1.3× (the point at which HEVC's re-encoded size crosses the fixed 8.3 MB PR-X12 budget). At 1× (native), HEVC is a hair cheaper. At 8× pixel-bandwidth (4K@60 from 1080p@30), PR-X12 dominates by ~6×.
227
234
228
235
This matches the intuition that **3DGS is a scene model**, not a frame model — its compression ratio improves with resolution, while HEVC's degrades.
0 commit comments