099 あしたも開く店 / 検証の区別

技術: 実装、モデル検査、cloud Linuxネイティブ操作、実Pyxel自動描画を確認。
設計: 当日の販売と名前付き取り置き、翌日の逆品仕入、異なる関係の見え方を仮説とする。
人の体験: 未確認。楽しさ、初心者の理解、繰り返し遊びたい感想は生成していません。
Windows/macOS: 実機未確認。起動BATのASCII・引用符、全補助コードUTF-8を静的確認。
音: 音を実装せず、無音でも全目標に到達。音の実聴保証なし。

28 automated tests: test_results.txt。
有限収支状態A/B/C×紹介有無: 1382/1071、947/659、1382/1071状態。
成功終端数: 紹介あり55、なし31（資源・来客同値で併合した状態数。全物語の個数ではありません）。
固定客だけの同一入力で両版販売４個、最終現金A6/B8/C6。
紹介を含む代表計画と全予約デモ: solution_logs.json。最適計画と主張しません。
比較は紹介だけ有効/無効。受取・記憶、価格、棚、家賃、三日、目標、入力は共通。
独立の追加監査は別記録を参照。自作テスト通過を独立監査の代用にしません。

保存は再生由来の全状態との厳密型一致を検査。未知版・破損は現状態を変更せず通知。
一決定undo、同状況restart、確認画面のrelease gate、同時/ずれたchord、停止中のreleaseを検査。
テストはPrivate TemporaryDirectoryで保存。mediaの前後ハッシュ不変を検査。
原始GUI記録・当時ソース・PNGは保持。修正後の再生は原記録を置き換えません。

実媒体:
media/automatic_20261003T022227_667028/shop_automatic_silent.gif
元GIF749フレーム、遅延は全て30ms（GIFの壁時計上映は22.47秒）。
MP4は元GIFの全749フレームを順に一度ずつ30fpsへ渡した24.966667秒、音声ストリームなし。
GIFのセンチ秒丸め時間とモデル30Hzを区別。ffprobeと各元フレームSHAはtiming_validation.json。
フレーム間引き・複製・最後の長時間静止で長さを埋める方式ではありません。
日本語PNGはGIF完成後に抽出。自動デモ中のJSONは終了時一括保存、PNG保存は行いません。
normal_draw_equivalence.jsonは同一状態/フレームの描画命令比較。右上の自動表示だけを除外。画素検査やネイティブ入力の代用ではありません。
ネイティブ71イベントの再生一致、記録時ソースのSHA一致をcapture_validation.jsonに保存。
NOTE/Xは未投稿の原稿候補、各X本文140文字以内。
