Skip to content

Commit 4d2a59f

Browse files
committed
plans/x265: record PROBE-MORTON-SHIFT-MOTION (head-to-head-2) results
The non-tautological head-to-head: rigid translation of an arbitrary (non-φ) sprite IS a Morton dilated-lane address-add, bit-exact, O(1) in sprite size (2-byte delta moves the whole object). Interior residual = 0; only the dis-occlusion L-strip is new content. Comma sub-pel dither aperiodic (X-Trans move). PASS->[H] structural — the MortonShift prediction mode for add-a-mode/RDO parity. Full write-up: lance-graph E-X265-MORTON-SHIFT-1. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01K3RyLEbuNSHxxB3NTTrGki
1 parent d75cdd9 commit 4d2a59f

1 file changed

Lines changed: 38 additions & 0 deletions

File tree

.claude/plans/x265-sprite-replay-probe-v1.md

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -291,3 +291,41 @@ not. **μ-hydration ⊂ motion-hydration.** The comma is the decoupler: φ's
291291
incommensurability (three-gap = 3) is exactly what makes the spatial address unable
292292
to invert to `n`. The real-`.ply` `splat3d::ply` leg (v2) would confirm on trained
293293
geometry but the mechanism already forecloses the static win.
294+
295+
## Head-to-head-2 — PROBE-MORTON-SHIFT-MOTION (the non-tautological one)
296+
297+
The operator's follow-up claim: *x265 never had blasgraph + the Morton-cascade
298+
inverse-pyramid 4×4 neighborhood with the Pythagorean comma (akin to the Fujifilm
299+
X-Trans sensor), and **moving a sprite could become bit-shifting to adjacent**.*
300+
This is the sharpest form of the amortization thesis, and unlike head-to-head-1 it
301+
is NOT a tautology: the sprite APPEARANCE is arbitrary deterministic-noise (never
302+
φ-placed), paid for equally on both sides — only the MOTION representation is
303+
compared.
304+
305+
### Results — RAN (2026-07-19, lance-graph `E-X265-MORTON-SHIFT-1`)
306+
307+
`crates/helix/examples/morton_shift_motion_probe.rs` (std-only, SplitMix64, 6 tests
308+
green):
309+
310+
```
311+
legA dx∈{(1,0),(0,1),(7,5),(16,16)} bit_exact=1 motion_bytes=2 sprite_px=576
312+
legA_dilated_add_identity=1 ← morton2(x+dx,y+dy) == two carry-through-holes adds (4096 samples)
313+
legB disocc_dx=2 dy=1 disocc_px=70 disocc_frac=0.1215 ← interior residual = 0; only the L-strip is new
314+
legC comma_three_gap_distinct=3 comma_coprime_full_perm=1 ← sub-pel dither aperiodic
315+
```
316+
317+
**Verdict: PASS→[H] for the structural claim.** Rigid tile-aligned translation of an
318+
arbitrary sprite IS a dilated-lane Morton address-add — bit-exact, and the whole
319+
576-pixel object moves for a **2-byte** delta (O(1) in sprite size). The interior
320+
residual is exactly 0 (x265's DCT+quant round-trip never is); the only new content
321+
is the revealed leading-edge L-strip (dis-occlusion), which is the residual the
322+
entropy coder must still carry — the tail SHRINKS to genuine-new-information, it
323+
does not vanish. Sub-pel rides the comma phase (three-gap=3), the Fujifilm X-Trans
324+
anti-moiré move, replacing quarter-pel interpolation. This is the concrete
325+
**"MortonShift" prediction mode** for the add-a-mode/RDO parity path.
326+
327+
**v2 gates (deferred, honest):** advantage scales inversely with per-frame motion
328+
magnitude (dis-occlusion grows with the delta); non-rigid motion is out of scope;
329+
sub-pel **appearance** (vs position) is the inverse-pyramid-descent leg; cross-level
330+
carry for large objects; and the real-x265 inter-frame byte comparison at matched
331+
PSNR.

0 commit comments

Comments
 (0)