051 機能・設計検証（2026-10-02 UTC）
実装と機能検証。面白さは人による確認待ち。

純粋モデル: 三つの深さ3木を各255節点・128終了経路で全列挙。
道具は通路損失後に拾う、一枠、負体力後拾得不可、最終室道具なし。
各到達状態のundo/再実行、違法手無消費、終端不変、JSON改変拒否。
盤面/版/意味入力/tick/終了hashを持ち、別プロセスhashseed1/876で一致。
UI: 表紙と決定の持越し、段階的同時押し、停止中の解放、再開後の新押下、
終端undo、再開、全経路の描画純粋性、同梱glyph描画境界を自動検査。
自動試験はsave/exportを無効化し、mediaは読取hash照合だけに使用。

五方策の定義はexperiments.py。upperは常に上/左/交換。
greedyは即時宝最大、損失で同点解消。次室は最大宝を持つ室を左優先。
min_lossは今の傷最小、通路は宝で同点解消。次室は最小傷の室を左優先。
never_swapは上/左/保持。lookaheadは木全体の帰還→宝→体力の辞書順。
Bでupper/greedy/never_swapは宝12/体力0。min_lossは宝7/体力4で帰還。
lookaheadは宝12/体力2。より慎重な宝8/体力5は別の合法帰還例。
Aは最良点が宝9/体力5の一つだけで、導入の発見型。B/Cには成果間の葛藤。
全族で傷最小策が全指標を支配してはいません。

一変更比較: Bの道具防御のみ。両版に共通の帰還入力列を保存。
防御なしでは持替えは性能に影響しません。防御ありでは灯の持越しや
長靴を残す選択に意味が生じます。数値結果はcomparison_results.json。

実Pyxel自動描画・無音GIF/MP4はmedia/automatic。
GIFの全フレームを一度ずつ30fpsに割り当て、ffprobeで検査します。
ネイティブLinux実入力（21:30–21:32 UTC）をCUAで観測。
Zを600ms保持した表紙開始は通路を選ばず、停止中のZも無効。
Bで灯を選ぶと予告の暗所傷が0へ変化。実通過も傷0。
宝8/体力5で帰還、結果undoから宝10/体力3へ変更、Rで初期化。
上/交換/左の欲張り経路で宝12/体力0の未帰還を観測。
Xで最後の通路を戻し、下へ変更して宝9/体力1の帰還を確認。
F12 PNGとevents.json、元ソースsnapshotを保存。Escape後に窓の消滅を確認。
独立レビューは依頼済み、まだ結果待ち。
未検証: 人の初見理解/面白さ、Windows実機、音出力。音は意図的になし。

独立レビュー指摘への修正: 比較版の凡例/説明も防御なしを明記。
F5保存の可視通知を追加。元nativeのsource_snapshotとeventsは保持。
元native操作列を修正後モデルで再検査した結果は派生検証であり、
修正後アプリをネイティブ再操作した証拠とは区別します。

最終自動映像: GIF全749フレームを保持、30fps/24.966667秒、音声なし。
最終ソースの媒体検査・12試験・コードページ模擬・元native26イベントの派生再生一致。
