040 QA 2026-10-02 UTC
区分：実装／全有限判断状態の探索／クラウドLinux実入力／実Pyxel自動映像。人の試遊なし。

30 unittest成功。学習誘導と防御札消費の成功、全資源保存、気力不足と空札拒否、防がれた手も学習、大技も一回、呼吸は学習・防御札を変えない、気力上限、固定Intent、undo、早期勝利、手札使用不能の終端を確認。
全到達判断状態を探索：A45/B78/C60。初期値固定Bも可解。
「状態数」は表示用直近情報を統合した数で、全ての入力列の数ではない。
UIは全到達状態と全カーソル、各理由、タイトル・停止、750デモtickについてglyphと文字境界を検査。
長押し、複数キー拒否、開始・再開・次面・停止の同時／段違い押下、無操作の不変性を確認。

クラウドLinux実入力 20:34–20:36 UTC：
日本語説明を確認。SPACE+Z700msで0ラウンド開始、札は全て残る。
停止中Zは進まず。解除後、下大技Z700msは一枚／一ラウンドだけ。
A：下大→下小で2ラウンド勝利。N+ZでBの資源を消費せず切替。
B：上小二枚→上大で手帖上3/下2、上守りへ変更。下大を気力0で確定すると拒否し、ラウンド3・札残り1のまま。呼吸→下大で5ラウンド勝利。
C：呼吸→上大→呼吸→下大→上小→下小二枚は7手・HP2残りの未達。Xで6手へ戻す。
R+Z600msでもC初期0手・札全数。上小で防御一枚消費し、呼吸→上大→呼吸→下大→下小二枚で7手勝利、防御0。
再開して呼吸→下小二枚→下大→呼吸→上大で6手勝利、防御1を残す。
M→左→SPACEで別状況開始。Escで閉じ、窓が消えたことを確認。
エージェントによる実キー検査で、人による楽しさ・理解の評価ではない。

元観測：media/native/replay.json とcapture_*.png。自動入力はautomatic、比較はcomparisonに隔離。
replay_validation.jsonは元ログを読み、全イベントをモデルで再生した別の照合結果。元ログを作り直さない。
evidence_isolation.jsonは再テスト前後で全mediaファイルが同一であることを確認。
自動/比較MP4は各749ソースフレームを全て一度だけ30fpsで符号化。各24.966667秒、音声なし。
GIFの量子化されたフレーム遅延ではなく、実描画30Hzを動画時刻に使う。
比較映像は固定版の七枚勝利、同一五枚での比較はexperiment_results.json。入力が違う成功映像を同入力比較と呼ばない。

移植：UTF-8明示、既定cp932模擬、日本語空白パス、別cwd成功。ASCII BATはパス引用と失敗pauseあり。
Windows実機・可聴音・人による面白さは未確認。音は実装していない。
Noto Sans CJK由来の日本語glyph、OFLを同梱。実画面で説明、気力拒否、成功・未達を確認。
数値は設計候補のまま。合法な防御札枯渇の単純策を残した。公開投稿なし。
