063 検証結果（2026-10-02、cloud Linux）
実装・機能検証済み。人による面白さ・初見理解、Windows/macOS実機、音質は未確認。
音は使用していません。無音動画は実聴の証拠ではありません。

モデル
・15件のunittest（モデル9/UI6）を実行。media全ファイルのハッシュ不変をUI試験で検査。
・独立oracleは位置5×布2×濡れ2の20状態を3区間、8,000経路×3状況で列挙。
・A: 全可能状態2、四候補内Qのみ。B: 全可能状態1、Qのみ。
・C: 全可能状態6、四候補内P/Q/R。候補外を除く問いを表紙と常時UIに明記。
・全候補に支持する具体的履歴または最初の反証制約を保存。
・全16回答集合×最大2枚の理由組、全800遷移境界、逆順比較、早期提出、
  濡れ不可逆、三枚の正当解、undo、128判断上限、正規化JSON/SHAを確認。
・最小理由はA/C=移動距離、B=移動距離＋雨と布。
・遠い二枚、隣接から、全組合せ、直接読解、台車だけ、一枚への早計を比較。
  全比較も直接読解も成功。台車だけではBが未確定で、一枚断定ではCが失敗。
・管理比較は古い輪郭の有無だけ。全A/B/Cに同一の候補集合＋根拠という達成目標。
  両版の終状態は一致。視認性・発見時間・面白さの優劣は測定していません。

ネイティブ操作
共有cloud LinuxデスクトップのCUA入力で起動し、日本語表紙と全操作欄を確認。
・Zの長押しで開始しても比較を追加せず、比較0回を確認。
・AでQのみを直接提出すると理由不足、移動札追加で比較0回の成功を実画面で確認。
・成功からXで提出を戻し、P停止中のZ長押しを解放、P復帰後の新規Zが一回働く。
・CでP/Q/R＋移動理由の成功。「三枚とも可能」を確認。
・Bで1/3刻比較、100%表示、荷物注目枠を確認。
・最初の画面には欠けた2刻の雨時刻の明示不足があったため、雨カレンダーを追加。
  修正前ログ・PNG・そのソースを保持。修正後は「雨の時刻:2刻だけ」とB成功を再確認。
・二つのnativeセッションともEsc終了し、window一覧で063の不在を確認。
・同時/ずらし長押し、継続保持したまま停止復帰、再開/終了境界はUI模擬試験で補完。
  それらを人の操作観察や全てのnative実操作と混同しません。

実映像
最終版のmedia/automatic_*/missing_photo_automatic_silent.mp4。
Pyxel実描画の自動操作、GIFの全749frameを一枚ずつ入力30fpsでMP4化。
24.966667秒、音声streamなし。GIFのcentisecond時間で間引きません。
各セッションには元GIF、PNG、当時のapp/model、入力と状態のハッシュを保持。
derived_replay_validation.jsonは現行コードでの別検査であり、元証跡の置換ではありません。

互換性・納品
明示UTF-8、cp932既定の模擬環境、日本語＋空白パス、異なるcwdの起動を検査。
BATはASCII、%~dp0とPythonパスを引用、失敗時にpause。
日本語グリフ同梱、完全なNoto OFLとゲームMIT同梱。
README/NOTEと140字以内のX原稿3本を同梱。公開投稿は行っていません。
