agents: the splash does not animate, and three instruments could not see it

A human on a GPU at ~140 fps: "the logos just switch, there is no animation at all." Measured from a real boot with --film at 0.05 s, then per-frame change: splash moves 1.30 s of 7.95 s = 16.4 % publisher splash 0.30 s of motion, then 3.20 s FROZEN developer splash 0.35 s + 0.25 s, then 2.40 s FROZEN distinct luma states in 7.95 s 26 A 45-unit build-in cannot be drawn in 26 states, and a fade does not hold one picture for 3.20 s. The frame counter says 24.8 fps achieved; both are true -- the port is DRAWING 25 times a second and CHANGING almost never. 🔴 Why every check passed, which matters more than the bug: frozen sweep drives the clock BY HAND -- proves the renderer can draw pose N, never that the poses are drawn in sequence settled compare 0.01 % against the capture -- a screen frozen 84 % of the time matches a settled reference PERFECTLY, that is what frozen means achieved fps counts frames DRAWN -- the same pixels 25x/s scores identically to animating Every one measured throughput or a pose. None measured CHANGE. Same shape as InputEventAction bypassing the input map: the instrument sat below the thing that was broken, so the break could not appear in it. tools/motion-census closes the class. It measures change and nothing else, and its --selftest asserts it separates a fade (97.4 % moving) from a switch (2.6 %) from a frozen film (0.0 %) -- a detector that cannot tell those apart would report the same green line on all three. Both briefs: this is the SOLE focus. The port reproduces before changing anything and gates every fix on a film rather than a still. The decoder maps the whole pipeline end to end -- disc bytes, the game's per-frame update (does it interpolate between keyframes or hold?), what is submitted per frame, and what Canary does to it before a capture records it -- delivered as a SERIES, not a settled value. The port should also record the refutation against itself: H2 reads ANSWERED on the strength of the frozen sweep. The mechanism half stands, the blur is a baked companion texture. The behaviour half does not.
2026-09-02 17:24:42 +02:00
parent 18b5b3d5f1
commit d394c55cbb
4 changed files with 413 additions and 2 deletions
--- a/tools/motion-census
+++ b/tools/motion-census
@@ -0,0 +1,199 @@
+#!/usr/bin/env python3
+"""Does it ANIMATE, or does it switch? — compare a film, never two stills.
+
+    tools/motion-census <dir-of-frames> [--interval 0.05] [--rows] [--roi x,y,w,h]
+    tools/motion-census --selftest
+
+Point it at a directory of PNGs captured in order during a REAL run — the port's
+`--film`, or a capture harness's frame dump. It reports where the picture moves
+and where it is frozen, plus how many distinct states it ever took.
+
+Why this exists
+---------------
+🔴 A human played the port and said *"the logos just switch, there is no
+animation at all."* Every check either agent had said the splash was correct.
+Three instruments agreed, and all three were blind in the same way:
+
+  * a **frozen sweep** — step the clock by hand, render a still per unit. That
+    proves the renderer CAN draw pose N. It never runs the animation.
+  * a **settled comparison** — correlate the resting pose against a capture. A
+    screen that is frozen 84 % of the time matches a settled reference
+    perfectly; that is what being frozen MEANS.
+  * an **achieved-fps counter** — frames DRAWN per second. Drawing the same
+    pixels 25 times a second scores identically to animating at 25 fps.
+
+The common defect: **every one measured throughput or a pose, and none measured
+CHANGE.** So this measures change and nothing else.
+
+  measured 2026-09-02 on the boot splash: moving 1.30 s of 7.95 s (16.4 %),
+  publisher frozen for 3.20 s, developer for 2.40 s, 26 distinct luma values.
+
+What the numbers mean
+---------------------
+A fade is ONE LONG RUN of small non-zero deltas. A switch is isolated one-frame
+spikes with flat nothing between them. The `distinct states` count is the blunt
+version of the same question: a 45-unit ramp cannot be drawn in 26 states.
+
+⚠️ It cannot tell you the animation is CORRECT — only that something moved. A
+wrong ramp that moves every frame passes here. Pair it with a comparison against
+the oracle; this is the liveness half, which is the half that was missing.
+"""
+
+from __future__ import annotations
+
+import sys
+from pathlib import Path
+
+try:
+    from PIL import Image
+except ImportError:
+    sys.exit("motion-census: needs Pillow (pip install pillow)")
+
+# Below this, two frames are the same picture. Chosen as a floor, not tuned: PNG
+# frames of an unchanged scene differ by exactly 0.000, so anything above noise
+# works and a bigger number would only hide small fades.
+MOVED = 0.05
+
+# Downsample before comparing. A fade moves every pixel a little, so it survives
+# scaling; scaling also stops one stray cursor pixel reading as motion.
+GRID = (160, 90)
+
+
+def load(path: Path, roi=None) -> list[int]:
+    im = Image.open(path).convert("L")
+    if roi:
+        x, y, w, h = roi
+        im = im.crop((x, y, x + w, y + h))
+    return list(im.resize(GRID).getdata())
+
+
+def census(frames: list[Path], interval: float, roi=None):
+    prev, rows = None, []
+    for i, f in enumerate(frames):
+        px = load(f, roi)
+        lum = sum(px) / len(px)
+        delta = 0.0 if prev is None else sum(abs(a - b) for a, b in zip(px, prev)) / len(px)
+        rows.append((i * interval, delta, lum))
+        prev = px
+    return rows
+
+
+def segments(rows):
+    segs, cur, start = [], None, 0.0
+    for t, delta, _ in rows[1:]:
+        state = "MOVING" if delta > MOVED else "static"
+        if state != cur:
+            if cur is not None:
+                segs.append((cur, start, t))
+            cur, start = state, t
+    if cur is not None:
+        segs.append((cur, start, rows[-1][0]))
+    return segs
+
+
+def report(rows, interval: float, show_rows: bool) -> int:
+    total = rows[-1][0]
+    segs = segments(rows)
+
+    if show_rows:
+        print(f"{'t(s)':>7} {'Δ prev':>8} {'luma':>7}  bar")
+        for t, delta, lum in rows:
+            print(f"{t:>7.2f} {delta:>8.3f} {lum:>7.2f}  {'#' * min(60, int(delta * 6))}")
+        print()
+
+    print(f"{len(rows)} frames @{interval}s = {total:.2f}s\n")
+    print(f"{'state':<8} {'from':>7} {'to':>7} {'dur':>7}   luma")
+    for state, a, b in segs:
+        lums = [l for t, _, l in rows if a <= t <= b]
+        flag = "   <-- FROZEN" if state == "static" and (b - a) > 0.5 else ""
+        print(f"{state:<8} {a:>7.2f} {b:>7.2f} {b-a:>7.2f}   "
+              f"{min(lums):.2f}..{max(lums):.2f}{flag}")
+
+    moving = sum(b - a for s, a, b in segs if s == "MOVING")
+    pct = 100 * moving / total if total else 0.0
+    states = len({round(l, 2) for _, _, l in rows})
+    print(f"\nmoving  {moving:.2f}s of {total:.2f}s = {pct:.1f}%")
+    print(f"distinct luma states: {states}")
+    longest = max((b - a for s, a, b in segs if s == "static"), default=0.0)
+    print(f"longest frozen stretch: {longest:.2f}s")
+    print()
+    if pct < 50:
+        print("🔴 This is a SWITCH, not an animation. Most of the run is one still")
+        print("   picture. A frozen sweep and a settled comparison both pass on this.")
+        return 1
+    print("moves for most of its length — liveness only; correctness is a separate")
+    print("question this tool cannot answer.")
+    return 0
+
+
+def selftest() -> int:
+    """Synthetic controls, executed. A detector that cannot tell a fade from a
+    switch would report the same green line on both, and its verdict on the real
+    film would mean nothing."""
+    import tempfile
+
+    ok = 0
+    with tempfile.TemporaryDirectory() as d:
+        root = Path(d)
+
+        def write(name, values):
+            sub = root / name
+            sub.mkdir()
+            for i, v in enumerate(values):
+                Image.new("L", (320, 180), int(v)).save(sub / f"f{i:04d}.png")
+            return sorted(sub.glob("*.png"))
+
+        # A fade: every frame differs from the last.
+        fade = write("fade", [10 + i * 4 for i in range(40)])
+        rows = census(fade, 0.05)
+        pct = 100 * sum(b - a for s, a, b in segments(rows) if s == "MOVING") / rows[-1][0]
+        good = pct > 90
+        print(f"  {'a real fade reads as MOVING':<40} {pct:5.1f}%  {'✅' if good else '🔴'}")
+        ok |= 0 if good else 1
+
+        # A switch: one value, then another, held. This is the shape the port
+        # actually produced, and the case the old instruments could not see.
+        sw = write("switch", [10] * 20 + [200] * 20)
+        rows = census(sw, 0.05)
+        pct = 100 * sum(b - a for s, a, b in segments(rows) if s == "MOVING") / rows[-1][0]
+        good = pct < 20
+        print(f"  {'a switch reads as STATIC':<40} {pct:5.1f}%  {'✅' if good else '🔴'}")
+        ok |= 0 if good else 1
+
+        # Fully frozen: the degenerate case must not read as motion.
+        fr = write("frozen", [42] * 30)
+        rows = census(fr, 0.05)
+        pct = 100 * sum(b - a for s, a, b in segments(rows) if s == "MOVING") / rows[-1][0]
+        good = pct == 0
+        print(f"  {'a frozen film reads as 0% motion':<40} {pct:5.1f}%  {'✅' if good else '🔴'}")
+        ok |= 0 if good else 1
+
+    print()
+    print("the census separates a fade from a switch" if not ok
+          else "🔴 the census cannot tell a fade from a switch — it asserts nothing")
+    return ok
+
+
+def main(argv: list[str]) -> int:
+    if "--selftest" in argv:
+        return selftest()
+    args = [a for a in argv if not a.startswith("--")]
+    if not args:
+        sys.exit(__doc__.split("\n\n")[1])
+    interval = 0.05
+    roi = None
+    for i, a in enumerate(argv):
+        if a == "--interval" and i + 1 < len(argv):
+            interval = float(argv[i + 1])
+        if a == "--roi" and i + 1 < len(argv):
+            roi = tuple(int(v) for v in argv[i + 1].split(","))
+    d = Path(args[0])
+    frames = sorted(d.glob("*.png"))
+    if len(frames) < 3:
+        sys.exit(f"motion-census: {d} holds {len(frames)} PNG(s) — nothing to compare.\n"
+                 "   Exit 2: the harness is broken, not the animation.")
+    return report(census(frames, interval, roi), interval, "--rows" in argv)
+
+
+if __name__ == "__main__":
+    sys.exit(main(sys.argv[1:]))