57bb630c69
TWO THINGS, and the first is that nothing needed changing. The Decoder withdrew one of the two legs under its settle-time run: the plate pulse period it had offered as proof the run was not slowed rests on one interval at a 125 ms sample rate, and re-picking the troughs gives 2.628 s rather than 2.369 -- an adjacent local minimum counted as a separate trough. It cannot resolve a real-time factor below ~7%. Nothing in the port moves, because the numbers that correction touches were already unauthored. Checked rather than remembered: grep over authored/ and port/scripts/ finds no 0.531 and no 0.482. The only build-in reference in the tree is the plate arithmetic t=118 -> t=238, 120 units, which is the anchored leg -- it agrees with three prior readings and with the disc's own declaration. I had declined those two as one-run figures the Decoder itself flagged, with the port already within ~0.1 s from the disc's keyframes. That reasoning now has a second, independent justification I did not have at the time: a few per cent of slowdown sits inside them undetected. SECOND: `tools/port/verify-dwell`. Last iteration's hand comparison refuted a red flag I had filed myself -- `rest.t` is the wrong settle landmark, but "everything the sequencer paces off it is therefore late" was false and I nearly re-paced screens that already matched the game to 0.05 s. That check existed once, in a transcript. Now it runs. Its header carries the trap it exists to prevent, because that is the whole point: a port's TRANSITION TIMESTAMPS and the oracle's VISIBLE SPANS are not the same quantity, and differ by the exit ramp plus the black hold -- about 0.6 s, the entire discrepancy. The same confusion cost this corpus 0.48 s on the plate delay. The bar is the oracle's own run-to-run spread plus one film interval. Three cold boots of the real game differ by 0.3 s, so agreeing more tightly than the oracle agrees with itself would mean nothing. The developer-logo span reads 3.50 s on the hand-run and 3.75 s here, one interval apart and both inside the bar -- the tool reporting its resolution rather than hiding it. The oracle's numbers are in the script as a labelled test fixture citing their RE document; nothing in the port derives them. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01N7FiFFFwbvG2uxdcEh8HyF
92 lines
3.9 KiB
Bash
Executable File
92 lines
3.9 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# Measure the port's own VISIBLE SPANS and put them beside the oracle's dwells.
|
|
#
|
|
# tools/port/verify-dwell
|
|
#
|
|
# WHY THIS IS A TOOL AND NOT A ONE-OFF. Doing this by hand once already refuted a
|
|
# 🔴 I had filed myself. `docs/port/BLOCKED.md` said `rest.t` was the wrong
|
|
# settle landmark AND that "everything the sequencer paces off it is therefore
|
|
# late". The first half is true; the second was wrong, and I nearly went and
|
|
# "fixed" screens that already matched the game to 0.05 s.
|
|
#
|
|
# ⚠️ THE TRAP THAT CAUSED IT, AND THE REASON THIS SCRIPT EXISTS AT ALL:
|
|
# a port's TRANSITION TIMESTAMPS and the oracle's VISIBLE SPANS are not the same
|
|
# quantity. They differ by the exit ramp plus the black hold -- about 0.6 s here,
|
|
# which was the entire discrepancy. This corpus has been bitten by the identical
|
|
# confusion before, on the plate delay: "timed from where build 4 stops
|
|
# animating, not from where it first appears -- measured the other way the two
|
|
# runs differ by 0.48 s against 6 ms." So this measures the port the way the
|
|
# oracle was measured: first ink to last ink.
|
|
#
|
|
# THE EXPECTED NUMBERS BELOW ARE THE ORACLE'S, NOT THE PORT'S. They are three
|
|
# cold boots from `docs/re/boot-order-and-splash-dwell.md`, first-visible to
|
|
# last-visible, and they are quoted here as a test fixture. Nothing in the port
|
|
# derives them and nothing may.
|
|
set -euo pipefail
|
|
cd "${PROJECT_DIR:-/work}"
|
|
export DISPLAY="${DISPLAY:-:97}"
|
|
OUT="${OUT:-$(mktemp -d)}"
|
|
mkdir -p "$OUT"
|
|
|
|
echo "running the boot (the intro is skipped -- the splashes are what this measures)"
|
|
timeout "${TIMEOUT:-200}" godot --path port --resolution 1280x720 -- \
|
|
--boot --skip-at=1 "--film=$OUT/f" >"$OUT/boot.log" 2>&1 || true
|
|
|
|
python3 - "$OUT" <<'PYEOF'
|
|
import glob, os, subprocess, sys
|
|
out = sys.argv[1]
|
|
frames = sorted(glob.glob(os.path.join(out, "f_*.png")))
|
|
if not frames:
|
|
print("no frames -- is there a display? see", os.path.join(out, "boot.log")); raise SystemExit(2)
|
|
INTERVAL = 0.25 # boot.gd's --film cadence
|
|
means = []
|
|
for f in frames:
|
|
m = subprocess.run(["convert", f, "-colorspace", "Gray", "-format",
|
|
"%[fx:mean*255]", "info:"], capture_output=True, text=True)
|
|
means.append(float(m.stdout.strip() or 0))
|
|
|
|
# A frame is "ink" if anything at all is drawn. The splashes are dim -- surface
|
|
# means of 5/255 -- so the bar is ">0", not a percentage of full scale.
|
|
ink = [m > 0.0 for m in means]
|
|
spans, i = [], 0
|
|
while i < len(ink):
|
|
if ink[i]:
|
|
j = i
|
|
while j < len(ink) and ink[j]: j += 1
|
|
spans.append((i * INTERVAL, j * INTERVAL))
|
|
i = j
|
|
else:
|
|
i += 1
|
|
|
|
# The oracle: three cold boots, first-visible to last-visible.
|
|
# docs/re/boot-order-and-splash-dwell.md. NOT the port's numbers.
|
|
ORACLE = [
|
|
("publisher wordmark", [4.297, 4.604, 4.370]),
|
|
("developer logos", [3.508, 3.503, 3.366]),
|
|
]
|
|
print()
|
|
print("%-20s %-12s %-26s %s" % ("screen", "port", "oracle (3 cold boots)", "verdict"))
|
|
for k, (name, runs) in enumerate(ORACLE):
|
|
if k >= len(spans):
|
|
print("%-20s %-12s %-26s no such span in this run" % (name, "-", ""))
|
|
continue
|
|
a, b = spans[k]
|
|
d = b - a
|
|
lo, hi = min(runs), max(runs)
|
|
# Inside the oracle's own run-to-run spread, or within one film interval of
|
|
# it. The spread is the honest bar: three boots of the real game differ by
|
|
# 0.3 s, so agreeing more tightly than that would not mean anything.
|
|
ok = (lo - INTERVAL) <= d <= (hi + INTERVAL)
|
|
print("%-20s %-12s %-26s %s"
|
|
% (name, "%.2f s" % d, "%.3f / %.3f / %.3f" % tuple(runs),
|
|
"agrees" if ok else "DIFFERS"))
|
|
print()
|
|
print("port spans (first ink -> last ink), +/- %.2f s from the film cadence:" % INTERVAL)
|
|
for a, b in spans[:6]:
|
|
print(" %6.2f - %6.2f s (%.2f s)" % (a, b, b - a))
|
|
print()
|
|
print("⚠️ Read this beside the transition timestamps in the boot log, never")
|
|
print(" instead of them -- they differ by the exit ramp plus the black hold.")
|
|
PYEOF
|
|
echo "artifacts in $OUT"
|