047 検証記録
区分: 実装・機能検証。人の楽しさは未検証。設計原案のデータを変更せず採用。

純粋モデル
14テスト合格。影の向き・隣1鉢・曇り・同時成長、採種/収穫/植付の台帳、
不正操作無消費、朝期限、最終朝手入れ、undo、終端後停止を確認。
在庫が生物成長で増えるので「全個数一定」は要求していません。
種=初期種+採種回数×2-植付回数、食材+納品=収穫回数×2、
株数=初期株+植付-収穫-採種を全保存成功列で確認しました。
3面の朝手入れの有限列挙で成功を確認。探索結果はsolver_results.json。

異なる案
A 即摘み: 納品2・種2・植付0。採種先行: 納品4・種1・植付1。
B 先に左を摘む: 納品6・未納食材2・種3。左を残す: 納品6・種3・植付2。
C 早い世代更新: 納品10・種1・植付1。遅い2株更新: 納品10・種2・植付2。
すべて成功。毎朝全大葉を摘む/すべて種まで待つ単純方策の未達も記録。
失敗方策を人の退屈さや難しさの証拠とはしません。

管理された一変更比較
Bの大葉/種さやの影のみを無効化。天候・在庫・注文・期限は同一。
両版に成功列あり。早摘み成功列は両版で成功します。
影なし用の待ち→採種→3株植付列は影ありでは納品4・種1で未達。
同一日でも隣の株が育つかどうかが変わり、ただ日数を待つ案と差が出ます。
制作史上の旧版比較ではありません。比較用PNGと結果JSONは別フォルダ。

入力・表示
押下履歴と全キー解放ゲートは停止/説明/終端前に更新します。
開始・状況切替の同時/ずれた押下、停止中に離して再開後の新押下、
押しっぱなし継続、再開/undo/終端、無操作、複数同時入力を検査。
全成功/別解/未達/説明/デモ750描画で文字座標とフォント収録文字を検査。
既定cp932、日本語/空白パス、任意cwdの模擬検証合格。BATはASCII、引用符、失敗pause。

実映像
自動入力の実Pyxelスクリーンショット8枚とMP4。
749/749フレーム、30/1fps、24.966667秒、音声なし。timing_validation.jsonに原フレームhash。
実操作ログと自動入力ログを混同しません。テストはsaveを差し替え録画を上書きしません。
Linuxネイティブ実入力の詳細はmedia/native/OBSERVATION.txt（作成後）。
未検証: 人による初見理解・面白さ、Windows実機、音の実聴。
