015 穴あき風船 — 検証記録 2026-10-02 UTC

自動モデル・入力検査
PASS: python -m unittest -v: 27 tests。
資源0〜100、最終刻みの燃料不足に比例した推力、空気65の釣り合い、斜め正規化。
速度上限・有限値、給気距離12と速さ15の境界、接続／離脱エッジ1回だけ。
半径付き掃引で薄い梁の貫通を防ぐ。法線停止・接線保持、離れる方向の非衝突。
屋根と回収網、0長線分、局所再開、刻み半減、決定論的入力再生とhash一致。
実App入力分岐の疑似キー検査: Space保持、方向保持／離し、P停止／復帰同時Space、R、Z、N、全描画状態。
これらは疑似キーの自動試験で、人による試遊ではありません。

面・方策監査
3航路×制御速度22〜42、Cの目標補充70〜100を含む54設定が成功。
success_replays.jsonに3つの代表成功の全入力・状態・終端SHAを保存。
A/B/Cの給気口で60秒待機: 位置固定・消費0・未達。安全な未達として採用。
出発後の無入力は60秒で未達。通常漏れ以外の放置対策やタイマーは追加していない。
上／右／右上の常時噴射、一定周期右、左壁押しは各面で未達か回収。
給気無視の直接操舵はA/C成功、Bは破裂。Cの給気を義務にはしない。
Aの別の開ループ入力群: 満タン出発→右2.4〜2.6秒→惰性0.5〜0.8秒→下0.25〜0.35秒→惰性1秒。36組すべて成功。1フレーム一致だけの成功ではない。
制御速度・補充量・開ループ時機に幅があることは可解性の根拠で、人の操作しやすさの証明ではない。

一変更比較
同じC、同じ開始座標(92,100)、同じ空気・入力・風・漏れ・壁。
基準: 浮力65固定。変更: 浮力だけ残量連動。--baselineで基準へ戻せる。
空気100の2秒実験: 基準の最大上昇0px、変更18.513px。消費は両方10。
空気70では基準0px、変更1.251px。変更で補充量が高度へ影響することを確認。
満タンと途中補充は両方クリア可能。推進力90への設計調整はこの比較へ混ぜていない。
paired PNGと数値JSONを保存。人が判断を変えた証拠ではない。

実行・配布
PASS: 実Pyxel 2.9.9 headlessレンダラーのPNG/GIF。手作り画像を実行画面と偽っていない。
PASS: UTF-8を明記。疑似cp932既定、日本語＋空白パス、任意cwdでタイトル描画と資源読込。
PASS: setup/play BATはASCII、引用符付きパス、失敗時pause。ゲームフォルダ単独構成。
PASS: MP4は24.000秒、720フレーム、768×704、30fps、音声ストリームなし。media/video_probe.jsonに記録。
PASS: media/replay.jsonのアプリ／モデルSHAが現行ソースと一致。実描画の720入力・状態をモデル再生で照合、3航路の成功を確認。
PASS: B/C成功と比較前後PNGを目視し、文字・危険形状・給気口・目標の区別を確認。

未確認
Windows実機のSDL/GUI、macOS実機、音の実聴、人による面白さ・初見の理解。
音は実装していない無音作品。Linuxの音声デバイス初期化警告は映像生成を妨げなかった。
PASS: ネイティブLinux GUI、2026-10-02 18:13〜18:16 UTC、CUAによる実キー操作。
タイトルのSpace 500ms保持で開始し、接続状態のまま空気100。開始キーは離脱へ持ち越されない。
A: 満タン離脱→右2400ms→無噴射500ms→下300ms→無噴射1000msで着陸成功（消費18.3、紙1/2）。
N 500ms保持でBに1回だけ進み、開始給気口に接続したまま。F12の実行PNG: media/native_A_success.png。
B: 出発後に右保持で屋根破裂、明確な原因表示で停止。media/native_B_spike.png。
Zで給気口へ復帰。Spaceの押し直しで離脱／再接続でき、給気回数1を表示。
P停止からR 500ms保持で同じBの初期給気へ戻り、停止も解除、回数0に戻る。
別のB飛行で下500ms後にP停止。右500ms＋Space500ms保持でも位置と空気96.4が同じ。media/native_B_pause.png。
P+Spaceで再開してからPで再停止: 移動再開・微量漏れを確認、勝手な再接続は発生せず給気0。
Escapeでウィンドウ終了、直後のウィンドウ一覧で015が消えたことを確認。
これはエージェント操作の技術QA。B/Cを人が手動クリアした証明でも、楽しさの評価でもない。

独立レビュー（2026-10-02 18:17 UTC）
別エージェントによる解析式の燃料・推力・自由移動1,000ケース一致、膨張矩形の進入3,000ケース一致、30秒給気待機の消費0。27試験、保持エッジ、表示領域・字形の検査も通過。
