020 QA / 2026-10-02 UTC

技術・設計・体験を分離
・実装：済。単独フォルダ、Pyxel+標準ライブラリ。
・モデル/再生：済。test_results.txt、22本のreplays、hash一致。
・実描画：済。headlessも実PyxelのPNG/GIF。図形によるモックではない。
・GUI実操作：クラウドLinux上で2026-10-02 18:35～18:39 UTCに実施。
・人の試遊/楽しさ：未確認。既存001～003への感想を転用しない。
・Windows/macOS実機：未確認。文字コード/パスの回帰検査とは別。
・音の実聴：未実施。ゲームは音源/効果音を使わず、動画も音声streamなし。

自動検査
28テスト。10周の円軌道、刻み半減、エネルギー/角運動量、抵抗、
斜めの推力と燃料、空燃料と部分燃料、掃引接触、4秒予測の完全一致、
短い予測と全周帰還の区別、角度ラップ、衝突優先、速度上限、外縁猶予、
停止/再開/巻き戻し/再起動、非有限入力、実App入力ゲート/字形/全状態描画。
噴射中には高コストな全周確認が呼ばれないことも検査。
モデルDT=1/120秒、描画30Hz、1フレーム4刻み。
無抵抗・無噴射10周：最大半径誤差0.000196912px、半刻み0.0000492281px。
最大エネルギー誤差2.39e-9、角運動量誤差3.87e-12（標準刻み）。
零距離で除算しない。燃料0～100。図の惑星22+衛星2で接触半径24。
接触位置は線分掃引で求める。時間表示は接触した固定刻みの末尾時刻。

性能修正
全周帰還確認を観測完了後の「無噴射で候補条件を満たす時」だけに限定。
噴射中の120Hz繰返しを除去した。全周確認前に近点/遠点の安い解析値で除外。
performance.json：この環境で初回全周確認約0.0207秒。
これは他環境の30fps保証ではない。
独立レビューでも円軌道収束/推力/抵抗/性能を確認。人の試遊ではない。

ネイティブGUI操作
Application Finderからlaunch.shで起動。キーは150ms程度保持して実入力。
A：Space出発、無入力の4.0秒成功、F12保存、NでB。
B：Pで0.1秒に停止。Rightを保持しても時刻0.1/燃料100/状態hash不変。
P再開後Left300msで燃料98.8、近点50→32、点線形状変化を確認。
停止中Rで初期軌道/燃料100、Mで選択、RightでC、Space出発。
C：Right+Upの斜め噴射。観測後8.9秒で停止、Zで入口へ巻戻し、
再停止2.2秒で窓の進捗100%→5%を確認（復帰後に約0.1秒進行した分）。
R→Left長押しで接触、原因表示とR復帰を確認。Esc終了、窓消滅を確認。
media/gui_events.jsonは実Appがイベント時刻/燃料/hashを保存した記録。
media/gui_*.pngはF12の実画面をそれぞれ保存したもの。
GUI検査後の表示だけの修正：失敗画面で使えないN案内を削除し、
高度と半径の混在を避けて主数値を「半径」に統一。最終headless画像で再検査。
モデル/操作ロジックはGUI検査時と同一。表示修正後のnative再操作は未実施。

設計検査
A：8点へ短縮した導入は4.008秒の無入力成功。技能証明とは数えない。
B：無入力33.342秒・燃料0。低空/帰還制御22.425秒・燃料9.733。
C：無入力20.800秒で接触。高空制御31.842秒・燃料4.533で成功。
C：低空/帰還制御17.725秒・燃料6.000、二吹き14.375秒・燃料1.467で成功。
常時順行/逆行/外向き、周期噴射は全便の解ではない。
Cの二吹きは他の自動制御より良い結果だが、それを罰で潰していない。
315通りの離散時機検査で251通り成功。全帯が初心者に容易とは主張しない。
A/Bで安全に考えられる。待機対策の危険物・時間制限・漏れはない。

映像
A0～5秒、B7～15秒、C8～21秒の実入力再生を連結。
画面下に黄色で「自動入力・実記録の抜粋」、便と開始秒を表示。
時刻/燃料/進捗の飛びは編集された抜粋。状態や報酬の捏造ではない。
demo_manifest.jsonに選択範囲。元GIFを残し、全フレームをframes/へ保存。
MP4_VERIFICATION.jsonの実測フレーム数/時間を正とする。
GIFの百分秒遅延を流用せず、元フレームを各1回、描画30Hzで符号化。
ffprobeで入力/出力数、長さ、音声streamなしを検査。

可搬性
全JSON/テキストread/writeは明示UTF-8。cp932を既定に模擬し、
日本語+空白の別フォルダへコピー、無関係cwdから起動/全28テスト。
ASCII BAT、引用符付きパス、失敗時pauseを検査。
これでWindowsのSDL/ドライバ/キーボードを確認したとは言わない。

残る確認
初見で接線/実速度を区別できるか。短い噴射から次周回を予想できるか。
Cの二吹きは入力しやすいか。Zで試し直したい気持ちが生まれるか。
人の感想は未収集。音を足す予定は必須としていない。
