050 QA / 2026-10-02

確定データ: 設計ブリーフの3面を数値変更せず使用。
有限状態探索: A730状態/成功終端30、B1,116/17、C7,071/51。
移動・拾う・置く・有限補給を全て探索。戻れない状態にもXが使える。

保存された到達例
A 全回収価値9/残0、bだけ価値4/残4、軽いa,c価値5/残4。
B a,b価値7/残0、b,c価値8/残1、早期補給b,c価値8/残3。
C bだけ価値6/残2、軽いc,d価値6/残3、d→b価値9/残0。
C b先行後Dでbを置きcを拾う回復は価値6/残2。bはDに残る。
C b→d順に同じ2品を保持するとB→Hの燃料10に対し残5で拒否。
A空荷帰還は材料不足。失敗/安全小口を隠さず別結果として保存。

保存則・境界: 燃料タンク+現地補給+消費累計=初期総燃料。
部品は固定ID各1つ、場所は地上か荷台の一箇所だけ。
荷重上限、燃料ちょうど0帰着、拾得重量を往路へ遡及しない、
補給余り/使い切り、置く/拾い直す、非法操作不変、完全undoを検査。
最短帰路はグラフ距離×現在荷重。補給案は別の有限探索。
帰還案の探索に荷を置く手を含めるが、目標達成の保証とは言わない。

退化方策: 最近品、最高価値、定周回満載、直帰分を常に確保、
定周回+常時補給の5方策を各面で記録。各方策の定義をJSONへ保存。
Aは多くの単純方策でも全9。導入として維持し、任意罰を足さない。
Bの直帰確保は価値4で不足、補給周回は価値7で成功。
Cの補給周回も重品を早く拾うと戻れない。bだけの安全成功は別途保存。

一変更比較: C移動費だけd×(1+荷重)/d。他の値、道、品、上限、補給は同じ。
重品先行は荷重版で帰路を拒否、距離版で価値9/残9で帰還。
重品最後は荷重版価値9/残0、距離版価値9/残9。
両版で目標6は可解。過去版のようには扱わない。

UI: 現行/比較それぞれ全到達状態、全選択、全拒否理由、表紙/説明、
750フレームデモで字形とテキスト境界を検査。14テスト合格。
早期return前に毎フレーム押下/解放を更新。開始同時押し、停止中解放、
保持再開、長押し、R/X/状況変更を合成入力で検査。
UTF-8、cp932デフォルト模擬、日本語・空白パス、任意cwd起動合格。
ASCII BAT、引用付きパスと失敗pauseを静的確認。Windows実機未検証。

自動実動画: 実Pyxel画面、自動操作、音声なし。
749元フレームを各1回、30fpsでMP4に入力。24.966667秒。
ffprobeでfps/フレーム数/長さ/音声なしを照合。
前半は重品先行の帰路不足、後半はD補給→d→b→残0帰還。
PNGと動画、比較画像、nativeログは別名で保存。テストは証拠を変更しない。

native Linux GUI: 21:19–21:22 UTC エージェントが実操作。
表紙→開始(600ms保持で移動なし)、P説明→Zを停止中に離す→P再開、
Z650ms保持で移動1回。A全回収価値9/残0、X再帰還、R、空荷の不足帰還、
B/C切替、B補給後に現地1残→X→再補給→価値8/残3。
C重品先行のB→H燃料不足拒否→X→bをDへ置く→c回収→価値6/残2。
比較ヘルプが距離のみ消費と表示することも確認。ESC後の窓不在を確認。
元nativeイベントとPNGは自動収録/比較画像と別ファイル。人の試遊ではない。
人による楽しさ/再挑戦したさ: 未確認。最初の3本の感想は転用しない。
音: 未実装。クラウド音声デバイスでの実聴も未確認。
