049 QA / 2026-10-02

モデル: 3面到達確認済み。データは設計候補から変更なし。
A 3,642状態、成功終端7。B 4,175状態、成功終端320。
C 49,045状態、成功終端1,752。全探索は固定勤務時間内の全合法手。
清掃無料比較Cは213,836状態、成功終端24,935。
A木まとめ7。B短いa+bで5、長いa+Lで6。C木まとめ全10。
C金属先行は4で未達。順序変更で清掃4回となり後工程が勤務内に終わらない。

保存則・原子性: 一品一所在、C開始の一回限り素材消費、FIFO2枠、
満杯完成保持、同時完了、納期境界、拒否時不変、完全undoをテスト。
予約は独立操作として存在せず、札選択だけでは素材も時刻も変わらない。

退化方策: shortest/value/due/group/fillを全3面で記録。
C最短品固定6、価値固定6、期限順7、木まとめ7、空きを埋める10。
常に埋める案がCでも良かった事実は残す。忙しさを一律に悪にしない。
小口ルートはBの正式成功で、罰を追加せず保存。

一変更比較: C素材切替に清掃が必要/不要。他の初期値・FIFO・加工時間は同一。
どちらも全10。必要版は清掃2回、納品境界[4,9,6,11]。
無料版は清掃0回、[4,5,6,9]。無料版では木a直後に金属bを投入できる。
compare PNGは同じ時刻1からの金属b投入予告。過去版という主張はしない。

UI自動: 全表示ドメインの時刻/素材/在庫位置/残刻/完了状態、全選択、
全理由、表紙/説明、750フレームのデモを文字幅・画面境界・字形で検査。
押下/解放の更新は早期return前。停止中の解放、保持再開、開始同時押し、
状況変更、R、X、長押しを合成入力テスト。証拠ファイルはテストで不変。
UTF-8、cp932デフォルト模擬、日本語・空白パス、任意cwd起動検査済み。
ASCII/引用付きBATと失敗pauseを静的検査。Windowsネイティブ実機は未検証。

自動実動画: 実Pyxelレンダラー。749ソースフレーム、30fps、24.966667秒。
GIF遅延の丸めを使わず、全元フレームを1回ずつRGB入力でMP4へ渡す。
ffprobeでフレーム数、fps、長さ、音声なしを照合。PNGを目視確認。
自動収録、比較PNG、native実操作のログは別ファイル。

native GUI: 21:06–21:08 UTC クラウドLinuxでエージェント実操作。
表紙→開始→説明停止→停止中Zを離す→再開→新規Zが動作。
650msのZ保持で一刻だけ。A成功7、Xで戻り再成功、Rで初期化、
待機8刻の未達、X、B/C切替、異素材拒否後の選び直しを確認。
ゲーム窓をESCで閉じ、不在確認済み。native_success/failure.pngと
native_events.json等を自動デモとは分離。人の試遊ではない。
人の試遊/楽しさ: 未確認。001–003の本人感想は転用しない。
音: 未実装。音質や実聴成功は主張しない。

独立監査後の修正: 比較版の説明文だけを切替無料と明記。
元native映像/ログのapp/modelをnative_source_snapshotへ保存し、ログは未変更。
修正文コードへのnative状態再検算はfinal_validation.jsonの派生検証。
モデルは同一。自動動画/比較PNGは修正文コードから再収録。
