Files
Sylpheed/docs/re/data/palogo-eff-plateau-vs-fallback.txt
sylph-decoder ad9cd948c6 re: the port's two extra elements are PLATEAU cases -- refutation succeeds, and its point gets bigger
The port listed palogo_gamearts_eff and palogo_seta_eff among GP_TITLE's four
visible dwell-fallback fires; this census listed only palogo_sqex_eff and
palogo_anima_eff. Checked, and the census is right: gamearts_eff and seta_eff
hold a=255 at identical x, y and scale from t=15 to t=30, which is a plateau at
pair index 1, so rest_plateau() handles them and t=15 is the CORRECT answer. They
are not fallback cases.

The distinction is not cosmetic -- a plateau is a pose the element genuinely
holds, and only the dwell fallback is the unsound path.

But the refutation makes the port's underlying point STRONGER. Its rest pose for
those two really is the flash's peak, reached by the SOUND path. So 'a rest
render is not a frame to score against a capture' does not follow from the
fallback being unsound: a plateau can itself be the held peak of a transient. The
rule covers both paths, and the fallback census understates the exposure rather
than bounding it.

Also records the port's oracle number for the rule -- publisher splash against
the committed capture, timeline RMSE 2.17 / 0.01 % differing against --pose=rest
9.05 / 0.75 %, 75x the differing area.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Wuu56cE8vJGTBtn1ppsk8v
2026-08-30 11:54:43 +00:00

41 lines
2.9 KiB
Plaintext

# Are palogo_gamearts_eff / palogo_seta_eff dwell-FALLBACK cases? No -- PLATEAU.
#
# 2026-08-30. The port agent listed them among GP_TITLE's four visible
# fallback fires. This census listed only palogo_sqex_eff and
# palogo_anima_eff, so one of us was wrong.
#
# The distinction is not cosmetic: a plateau is a pose the element genuinely
# HOLDS, and rest_plateau() returning it is CORRECT. Only the dwell fallback
# is the unsound path.
#
e10 palogo_sqex_eff.t32 kf=[0:a0 299,319 100% 15:a255 299,319 100% 30:a212 299,319 100% 45:a0 299,319 100%]
plateau at pair None -> path: DWELL FALLBACK (unsound) rest a=212 t=Some(30)
e11 palogo_gamearts_eff.t32 kf=[0:a0 379,154 100% 15:a255 379,154 100% 30:a255 379,154 100% 45:a0 379,154 100%]
plateau at pair Some(1) -> path: PLATEAU (sound: the pose is held) rest a=255 t=Some(15)
e11 palogo_seta_eff.t32 kf=[0:a0 511,305 100% 15:a255 511,305 100% 30:a255 511,305 100% 45:a0 511,305 100%]
plateau at pair Some(1) -> path: PLATEAU (sound: the pose is held) rest a=255 t=Some(15)
e11 palogo_anima_eff.t32 kf=[0:a0 435,440 100% 15:a255 435,440 100% 30:a212 435,440 100% 45:a0 435,440 100%]
plateau at pair None -> path: DWELL FALLBACK (unsound) rest a=212 t=Some(30)
e13 palogo_sqex_eff.t32 kf=[0:a0 299,319 100% 15:a255 299,319 100% 30:a212 299,319 100% 45:a0 299,319 100%]
plateau at pair None -> path: DWELL FALLBACK (unsound) rest a=212 t=Some(30)
e14 palogo_gamearts_eff.t32 kf=[0:a0 379,154 100% 15:a255 379,154 100% 30:a255 379,154 100% 45:a0 379,154 100%]
plateau at pair Some(1) -> path: PLATEAU (sound: the pose is held) rest a=255 t=Some(15)
e14 palogo_seta_eff.t32 kf=[0:a0 511,305 100% 15:a255 511,305 100% 30:a255 511,305 100% 45:a0 511,305 100%]
plateau at pair Some(1) -> path: PLATEAU (sound: the pose is held) rest a=255 t=Some(15)
e14 palogo_anima_eff.t32 kf=[0:a0 435,440 100% 15:a255 435,440 100% 30:a212 435,440 100% 45:a0 435,440 100%]
plateau at pair None -> path: DWELL FALLBACK (unsound) rest a=212 t=Some(30)
#
# ✅ REFUTATION SUCCEEDS. gamearts_eff and seta_eff hold a=255 at the SAME
# x, y and scale from t=15 to t=30 -- that is a plateau at pair index 1, so
# rest_plateau() handles them and returns t=15, a=255 correctly. They are not
# fallback cases. The census's four (sqex_eff x2, anima_eff x2) stand.
#
# 🔴 BUT THE PORT'S UNDERLYING POINT SURVIVES AND GETS BIGGER. Its rest pose
# for those two really is a=255, the flash's peak -- reached by the SOUND
# path. So 'rest is not a frame to score against a capture' is NOT a
# consequence of the fallback being unsound. A plateau can itself be the held
# peak of a transient, and here four elements hold full-alpha flashes.
#
# The rule therefore covers BOTH paths, and the fallback census understates
# the exposure rather than bounding it.