@@ -120,9 +120,11 @@ any float-path GPU bit-exactness claim.
120120The Pythagorean comma is the residue of a stack of pure fifths that never
121121closes back onto the octave; a piano tuner's real-world dodge (equal
122122temperament) trades exactness for closure. Fujifilm's X-Trans sensor
123- generalizes the same move spatially: its non-repeating 6×6 pixel arrangement
124- is deliberately incommensurate with common demosaic/moiré periods, so the
125- anti-aliasing filter can be thinned or dropped. Both are the same design
123+ generalizes the same move spatially: its 6×6 colour-filter tile — repeating,
124+ but far less regular than Bayer's 2×2 (a larger period with a quasi-random
125+ arrangement inside the tile) — is deliberately less commensurate with common
126+ demosaic/moiré periods, so the anti-aliasing filter can be thinned or
127+ dropped. Both are the same design
126128pattern: ** a generator that does not resonate with the sampling lattice
127129avoids the periodic beat pattern (the comma) that a resonant generator
128130produces.**
@@ -211,26 +213,33 @@ row — it is the **out-of-row / alternate-carving variant**, selected
211213instead of (not in addition to) the ` ResidueEdge ` + turbovec pairing when
212214full-sphere signed precision is needed.
213215
214- ** Table-family clarification (corrected 2026-07-16 post-review — do not
215- conflate three distinct structures):**
216- - The measured ** 388 KB ` SpoDistanceMatrices ` benchmark** (§1 above) is the
217- ** palette** structure: ** 3 S/P/O planes × one 256×256 u16 distance table
218- (128 KB each) = 384 KB** (` palette_distance.rs:145-158 ` — `DistanceMatrix
219- { data: Vec<u16 >, k }`, one per subject/predicate/object plane).
220- - ** CAM-PQ has no fixed 256×256 distance-table footprint.** Its 6-subspace
221- structure is the per-vector 48-bit ** code** (the §8 lane table above);
222- its ADC distance tables are ** per-query** ` 6 × 256 ` f32 = ** 6 KB** ,
223- recomputed per query and L1-resident (` cam_pq.rs:76-84 ` ).
224- - ** bgz17's palette layer** is one 256×256 u16 distance table ** plus** a
225- k×k u8 compose table, per palette.
226- The first and third share the "256×256 dense u16 LUT, texture-isomorphic"
227- shape (§3 row 2 above); none of the three footprints should be added to or
228- substituted for another. (An earlier draft of this paragraph attributed
229- the 384 KB to "6 × 64 KB CAM-PQ tables" — wrong on both the arithmetic, a
230- 256×256 u16 table is 128 KB, and the attribution.)
231- This carving is a ` ClassView ` projection over content-blind bytes — see
232- lance-graph ` le-contract.md §3 ` for the canonical 6×(u8: u8 ) / 4×(u8:u8: u8 )
233- / 3×(u8:u8:u8: u8 ) readings the same 12-byte register supports.
216+ ** Three flavours of 256 (table-family clarification, corrected + refined
217+ 2026-07-16 post-review — operator framing):**
218+ - ** CAM-PQ — 6×256² compressed to 6×256.** The latent structure is six
219+ per-subspace 256×256 centroid-distance families, but the shipped path
220+ never materializes them: ADC precomputes a ** per-query 6×256 f32
221+ row-set** = ** 6 KB** , L1-resident, recomputed per query
222+ (` cam_pq.rs:76-84 ` ) — the compressed, asymmetric projection of the
223+ latent 6×256². (A symmetric code↔code variant would materialize the
224+ full six tables; the shipped codec does not.)
225+ - ** bgz17 — the explicit 256².** One materialized dense 256×256 u16
226+ distance table per palette, ** plus** a k×k u8 compose table. The
227+ measured ** 388 KB ` SpoDistanceMatrices ` benchmark** (§1 above) is this
228+ flavour on the three S/P/O planes: ** 3 × (256² u16 = 128 KB) = 384 KB**
229+ (` palette_distance.rs:145-158 ` ).
230+ - ** V3 facet — explicit 6×256² as ADDRESS, codec-agnostic.** The 12-byte
231+ content-blind payload read as ` 6×(u8:u8) ` rails = six coordinate pairs
232+ into 256×256 spaces = ** 96 bits of pure address** . The payload does not
233+ know whose tables its rails index — ** ` classid → ClassView ` selects
234+ which codec's 256² family** (CAM-PQ subspace, bgz17 palette, helix
235+ residue) interprets each rail. See lance-graph ` le-contract.md §3 ` for
236+ the canonical 6×(u8: u8 ) / 4×(u8:u8: u8 ) / 3×(u8:u8:u8: u8 ) readings of
237+ the same register.
238+ The first two are table * footprints* (compressed vs materialized); the
239+ third is the * addressing shape* they are consumed through. None of the
240+ footprints should be added to or substituted for another. (An earlier
241+ draft attributed the 384 KB to "6 × 64 KB CAM-PQ tables" — wrong on both
242+ the arithmetic, a 256² u16 table is 128 KB, and the attribution.)
234243
235244## 9. The kernel-shape rule (engine follows operation shape)
236245
@@ -277,10 +286,15 @@ function of its address via the bijective coprime walk (§7), and the only
277286bytes actually stored are magnitudes. Same object, two consumers.
278287
279288** H.268 consequences:**
280- - ** (a) Anti-CABAC random access** — no serial phase state to carry, so a
281- decoder can seek directly into a tile without replaying a bitstream
282- prefix; strengthens the C4 path once A8 (region-addressable stream
283- framing) lands.
289+ - ** (a) Phase-side seekability (the anti-CABAC direction)** — the phase
290+ generator carries no serial state, so the * phase side* of any tile is
291+ reconstructible at any address with no prefix replay. This is NOT by
292+ itself CABAC random access: the entropy-coded magnitudes still carry
293+ CABAC's serial context chain, so bitstream-level seeking additionally
294+ requires independently framed / context-reset regions — which is
295+ precisely what A8 (region-addressable stream framing) provides. The
296+ consequence strengthens the C4 path ** only once A8 lands** ; until then
297+ it is phase-side seekability only.
284298- ** (b) Seekable grain** — unlike AV1's seeded film-grain synthesis
285299 (decoder must carry PRNG/seed bookkeeping), the integer walk regenerates
286300 identically from the address alone and survives a WGSL port per the C9
@@ -301,13 +315,21 @@ bytes actually stored are magnitudes. Same object, two consumers.
301315 loop (composes with ` E-NOBODY-WAITS-1 ` ).
302316- ** (f) Replayable thinking = auditable cognition** — combined with
303317 temporal-stream replayability (` E-MARKOV-TEMPORAL-STREAM-1 ` ), a full
304- trajectory including exploration noise re-runs bit-exactly;
305- counterfactual replay therefore stores ** zero** exploration state.
306- - ** (g) Anti-confabulation = anti-moiré in concept space** — a coprime
307- probe schedule is decorrelated from the palette lattice by construction;
308- a * known* period-17 dependence structure is friendlier to
309- ` I-NOISE-FLOOR-JIRAK ` 's weak-dependence analysis than an * unknown* PRNG
310- correlation structure would be.
318+ trajectory including exploration noise re-runs bit-exactly ** on the
319+ proven CPU/wasm integer path** (the pinned-order five-backend contract);
320+ float and GPU stages stay outside the bit-exactness claim per §3 row 9
321+ (the integer-only GPU caveat) unless a deterministic-backend probe is
322+ added. Within that scope, counterfactual replay stores ** zero**
323+ exploration state.
324+ - ** (g) Anti-confabulation = anti-moiré in concept space [ H, probe-gated] **
325+ — a coprime probe schedule is decorrelated from the palette lattice by
326+ construction, and a * known* period-17 dependence structure is plausibly
327+ friendlier to ` I-NOISE-FLOOR-JIRAK ` 's weak-dependence analysis than an
328+ * unknown* PRNG correlation structure. The "friendlier" half is an
329+ ** unverified inference** : the period-17 permutation self-test proves
330+ bijectivity, NOT decorrelation. Promotion to FINDING requires a measured
331+ dependence probe — the walk's correlation spectrum against the palette
332+ lattice vs a PRNG baseline, judged under Jirak weak-dependence rates.
311333- ** (h) Exact phase-side unbinding** — sign is recomputable per address
312334 with no cleanup codebook needed; a cleanup codebook is only needed for
313335 magnitudes. The two-algebra rule (sign = XOR, magnitude = ` vsa_bundle ` ,
0 commit comments