055 技術・設計・体験を分離した確認

モデル: 3直交グラフの連結、重複座標、内部交差/通過ノードなしを検査。
A/B/Cとも複数の帰還経路を確認。辺は7本、Cに斜線BCはありません。
参照最短（完全情報）: A20歩/3辺、B24歩/6辺、C24歩/6辺。
右手法（局所情報）: A20歩/6辺、B24歩/6辺、C24歩/6辺。安全解を削除しません。
未知優先後に測った道で帰る: A26歩/4辺、B24歩/3辺、C40歩/5辺。
全辺を記入する例: A46歩、B60歩、C56歩。全踏破は目標ではなく別案。
同じ歩数でも測定辺数が異なる例、歩数を増やして情報を持帰る例を保持。

一変更比較B: 変えるのは地図の距離欄の先行公開だけ。洞窟・目印・入力・移動規則は同一。
固定の未知優先方策は通常24歩/3辺、公開36歩/5辺で両方帰還。
この方策の結果を全プレイ、難しさ、面白さへ一般化しません。
各出口の実測値を読んで既知最短帰路を選べるUIを残しています。

自動試験: 部分引返し、逆向き測定、行き戻りで距離を水増ししない、辺の同一化、
未知座標/未知接続の非表示、二歩視界、提出/安全帰還/undo、壁拒否で時間不変、
別プロセス再生、余分なview/draw、ルール改変の拒否、表紙/停止/終端/再開ラッチ。
試験はmediaへ書き込みません。最終検証は前後のmediaハッシュ不変を確認します。

native Linux操作: 実施後のnativeログと観察記録を参照。
映像: 約25秒の実Pyxel自動描画、無音。全GIF元フレームを順番に一度ずつ30fpsへ。
元GIFとフレーム別SHA-256を保存し、ffprobeでフレーム数・尺・音声なしを確認。
Windows: ASCIIのbat・引用符付きパス・UTF-8読書きの模擬検証。Windows実機なし。
人の試遊: 未実施。001–003の本人評価を本作へ流用しません。音声は使用していません。
