diff --git a/docs/re/METHOD.md b/docs/re/METHOD.md index a193fba6..f05aa972 100644 --- a/docs/re/METHOD.md +++ b/docs/re/METHOD.md @@ -424,6 +424,17 @@ agent's loop prompt, i.e. nowhere durable. See [`README.md`](README.md) for the window shorter than the effect — a mismatch between what you are looking at and what you believe you are looking at. + 📌 **And the amendment that explains why this class survives everything else in + this file** (`sylpheed-port`'s, and it is the sharpest formulation either agent + reached): **all of them are a failure of a NOUN, not of a number.** Extent, + bounding box, duration, span, *visible*. In every case the number was correct + **for something** — what went missing was *which thing*. Every other check here + tests whether a number is **right**; not one tests whether it is a number **of + the thing you think**. A fifth instance landed the same day: counting "any + element with alpha > 0" as *visible*, when the splash builds declare + `palogo_eff0.prm` at `0xff000000` — full-screen **opaque black**, drawn from t=0 + and showing nothing. Drawn is not visible. + ## Runtime / emulator * **Look at the PNG** — and check its dimensions. diff --git a/docs/re/boot-order-and-splash-dwell.md b/docs/re/boot-order-and-splash-dwell.md index 9c508de0..f3200e06 100644 --- a/docs/re/boot-order-and-splash-dwell.md +++ b/docs/re/boot-order-and-splash-dwell.md @@ -125,6 +125,27 @@ to correct in, and nothing here supports moving `keyframe_units_per_second`. in all three boots (1.011, 1.083, 1.028) while the developer sits at unity. Three boots per screen is thin and it is not a systematic. +### ✅ And the splash builds carry their own OPAQUE BLACK backdrop — verified + +`sylpheed-port` found the fifth family member on their own side while confirming +the above: their "visible" test counted **any element with alpha > 0**, which +includes `palogo_eff0.prm`. Checked against the disc +(`tools/re-capture/fade_quads.py e10 e11`): + +``` +entry 10 [0] palogo_eff0.prm 1 kf t=0 fade=0xff000000 (alpha 255) scale=100x100 pos=(0,0) +entry 11 [0] palogo_eff0.prm 1 kf t=0 fade=0xff000000 (alpha 255) scale=100x100 pos=(0,0) +``` + +Alpha 255 over RGB `000000`: **full-screen opaque black, drawn from t=0 and +showing nothing.** So "any element drawn" reports these screens visible from t=0 +while the frame is black — **"visible" read as "drawn"**, the fifth member. + +📌 **Worth having on its own:** this verifies, from the disc, the premise behind +`screen render --black` — *"what the game composites over on a screen carrying its +own background, and so what a framebuffer capture must be compared against"*. On +the splash builds that background is **declared**, not assumed. + 📌 **This is the fourth instance of one family** — pivot anchor read as drawn extent, centre track as bounding box, cycle length as motion duration, and now **one element's visible span read as the screen's**. Every one is a number used as diff --git a/tools/re-capture/fade_quads.py b/tools/re-capture/fade_quads.py index b6163c8c..8962442b 100755 --- a/tools/re-capture/fade_quads.py +++ b/tools/re-capture/fade_quads.py @@ -52,10 +52,18 @@ E = pak_entries(pak) E = [b for h,b in E] # build index -> pak entry index, from `screen list`: 0..9 then 12, 15 BUILDS = {0:0,1:1,2:2,3:3,4:4,5:5,6:6,7:7,8:8,9:9,10:12,11:15} -want = [int(a) for a in sys.argv[1:]] or [2,4,5,6] -for b in want: - names, groups = parse(E[BUILDS[b]]) - print(f"=== build {b} ===") +# An argument may be a BUILD ordinal (mapped through BUILDS) or, prefixed with +# `e`, a raw PAK ENTRY -- the splashes are entries 10/11 and are NOT screen +# builds, so no build ordinal addresses them. Writing `e10` says which index +# space is meant, which is the whole lesson of build-ordinal-vs-entry.md. +want = sys.argv[1:] or ["2","4","5","6"] +for arg in want: + if str(arg).startswith("e"): + idx = int(str(arg)[1:]); label = f"entry {idx}" + else: + idx = BUILDS[int(arg)]; label = f"build {arg} (entry {idx})" + names, groups = parse(E[idx]) + print(f"=== {label} ===") for i,nm in enumerate(names): if not nm.endswith(".prm"): continue g = groups.get(i, [])