065 検査記録（2026-10-02 UTC）
技術・実装確認済み。面白さは人による確認待ち。

純粋モデル/操作テスト: 19件合格。test_results.txt。
全有限到達世界: 通常A88/B138/C547状態、比較A5/B10/C8状態。
検査辺: 通常180/318/1932、比較12/27/28。回数を除く世界状態と自由な視線選択を全探索。
安全な基本到達、任意全星、装置同時更新、閉じる橋の通行不可、待機中の星、二重取得防止、退場固定、拒否入力、undo、予告一致を検査。
同一全世界状態へ戻るループは失敗にはしない。橋固定、人形固定、開いたら保存、最短基本、全星先読みによる結果をpolicy_results.jsonに保存。
PYTHONHASHSEED 1/923の独立プロセスで記録hash一致。全最短入力recordsを保存。

一規則比較: 停止の有無だけ。基本出口は全版で到達。星は比較版で到達不能なので比較目標に使わない。
B初期灯り3→2を変更。基本5手の安全路と全星7手の寄り道が成立。Cは基本4/全星6。

ネイティブ: 共有クラウドLinuxでCUAから起動・操作。表紙のZ長押しで0回開始。人形に視線を置いて橋0→1→2、橋に移すと開状態を維持し歩行。6回でAの星付き退場。
Pで停止中にZを押して離し、Pで戻って新しいZは即受理。停止中は回数3のまま。終了後Xは6→5へ戻る。C切替、視線選択、再開、比較を確認。Esc後にウィンドウ不在を確認。
ネイティブ記録はmedia/native_events.jsonとcheckpoint、PNG。evidence/app.py・model.pyは観測時そのままのソース。tools/verify_evidence.pyで観測hashと現行入力再演算が一致。
入力テストは保存関数を無効化し、media全ファイルhashの前後不変を毎回検証。自動動画とネイティブの保存名を分離。

動画: 実Pyxelによる自動入力。全GIFフレームを順序通り一度ずつ30fpsのMP4へ変換。元GIFのセンチ秒遅延へ追従しない。フレーム数と再生時間はmedia/timing_validation.jsonに保存。PNG10枚を確認し、日本語の欠けとC上下台の重なりを修正済み。
無音作品・無音動画。音声確認は該当なし。Windows/macOS実機は未検証。人の試遊者なし。初見の理解、面白さ、再挑戦意欲は未検証。

独立レビュー後の表示修正: 比較版のまばたきメッセージと説明が通常版の「止まる」のままだったため、比較時だけ全対象が進む文へ修正。規則モデルは不変。初回ネイティブ観測とソース、初回自動映像はevidence/revision1に保存。ネイティブを修正後の観測と読み替えない。現行モデルでの再生一致は別の派生検証。修正後の実Pyxel自動動画を再生成。フルPyxel MITライセンスをassetsへ追加。
