094 検証記録 / 2026-10-03 / 094-1.0

モデルと入力
37テスト通過。閉店と到着同刻の見送り、買物一回、案内の目的地停止、同時移動、最短路同点、新短路、売上一回、六刻境界、帰路で追加売上なし、予告、undo、save/load、未知版、会話・説明停止、held開始/確定/再開、反対キー/操作chord、release gateを検査。
自動帰路は売上と判断を増やさず、説明・会話で停止し、undoで自動再生を解除する境界試験を含む。

全有限検査
合法な六刻行動列を全探索: A 3453、B 4594、C 6609、計14656列。
自分で三店閉店＋全員帰宅の達成列: A1161、B1430、C1609、計4200列。
入力列の重複排除による状態数ではなく、閉店済み・退出済み対象への無効操作を除いた行動列数。
三状況×3方針の全状態をsolution_logs.jsonへ保存。
最高売上だけで買物人数と帰宅時刻まで全結果を支配する状態ではないことを確認。数値軸に一つの総合点は付けない。
案内先や最後の閉店、通った道の違いも残る。各例が最適だとは主張しない。
詳細な設計仮説と限界はdesign_review.txt。
今回のA/B/Cでは全合法列で六刻以内に全員帰宅する。汎用の追加帰路再生は境界用状態での機能試験で、追加コンテンツとして数えない。

一変更比較
閉店で脇道が開く／外周だけ、の一規則だけを変更。
各状況で同じ六刻入力を実行し、両版で三店閉店と全員帰宅を確認。
店・客・売上・営業時間・基本目標は共通。比較helpと点線凡例も実際の版に合わせる。

最終実動画
media/automatic_20261003T022337_338877/festival_automatic_silent.mp4
元GIF749枚、全遅延30ms。draw記録749件で自前frame1~749、Pyxel.frame_count0~748に欠番なし。
全元画像を順番に一度だけ30fpsのMP4へ。ffprobe:749frames、24.966667秒、30/1fps、映像1stream、音声0。
runtime_frame_mapping.jsonに元GIF・draw・出力の1対1対応を保存。PNG8枚は元GIFから抽出。
実Pyxel描画への自動意味入力。人の試遊でも壁時計画面録画でもない。
初回media/automatic_20261003T021710_145377/は748枚、30ms×747＋70ms×1の不均一。元GIF・旧ソースを保存し最終動画へ採用しない。再撮影は一回で均一になった。
demoはJSONを終了時に一括保存して描画中の同期I/Oを減らす。nativeは即時イベント保存とF12を維持し、capture_sec=0。demoのみ30秒バッファ。

観測証拠と訂正
元nativeイベント、原PNG、起動時ソースを保持。原モデルによる再生は全状態とundo履歴が厳密一致。
nativeで全店閉店後の待つ字幕が灯りを残したと表示される不整合を発見。営業状態に合わせて字幕を訂正した。
元記録を書き換えず、現行モデルとの差分はnotesフィールドだけとしてderived_replay_validation.jsonへ別記録。比較版の点線凡例も確認対象に含める。
最終native観測の詳細はNATIVE_OBSERVATIONS.txt。

未確認
人の面白さ、初見理解、再挑戦意思は確認待ち。エージェントの検査を人の感想へ置換しない。
Windows/macOS実機、音の実聴、NOTE/X投稿、外部公開は未実施。音声は意図的に使わない。
日本語文字被覆、ASCII BATの引用パス、ライセンス全文、X原稿3本140字以内は静的検査済み。
