070 機能/設計検証 / 2026-10-02 UTC

純粋モデル: 15件のモデル/UIテスト。A/B/C1/C2の全878終了列（A226、B388、C1/C2各132）を列挙。読む操作は時計も放送undo単位も進めない。重複/公開不可原稿は拒否し、同じ効果を二重適用しない。時計4の最終処理、到着順→人物id順、同時イベントpriorityを固定。
A: バス→傘は三人帰宅/歌なし、歌→バスは二人/歌あり、歌→傘は一人/歌あり。全員帰宅と歌の両立列なし。全員会館で待つ列も終了可。
B: 作業→客→帰路→時計2記録の順。修理と箱と早い静けさの同時達成列なし。帰路を先に流すと下限0で効果の一部を失うため、同時計の作業後に減らす順と異なる。二人の作業・二箱の引取り・静けさを別項目で残す。
C: 設計最終値（船1/4、確認3後）を検査。渡し→確認→待機→合図は両真相で帰宅2/時計1帰宅1。確認→渡し→待機→橋案内は開なら帰宅4/早着0、閉なら帰宅1/早着0。3刻回答直後の最終枠に案内が間に合い、4刻回答には残り枠がない。遅い取材は時計5/6の予約を引継ぐ。回答前の二真相のState/原稿/予告は一致。
比較: Aだけ後続電話の公開時点を変更。条件付き見本は未着信と明示し放送不可。全226終了列で世界終状態と未対応事項が完全一致。本文集合も同じ、共通目標は引継ぎ。
修正理由: 初期Aの広場Pを会館Hと混同する地図を、P/H/B/帰宅の四欄に分離。早期閉局時には歌を「今夜は失われた」と断定せず、残る締切付きの機会を後任へ渡す。世界の候補数値は変更なし。
入力: 同時Z+Enterは読むだけ。開始の保持/遅着Enter、pause中の押下と解除、押したまま再開、結果画面とundoをテスト。記録writerはstub、原本証拠をテストで上書きしない。
証拠: media/automatic_*は実Pyxelの自動操作。元GIF749フレームを全て一度ずつ30fpsのMP4へ変換、24.966667秒、音声streamなし。旧自動記録とsource snapshotを残し、現行一致版を最終採用。derived_replay_validation.jsonは原本と別の検査結果。
可搬性: UTF-8読書き、全文Notoライセンス、ASCII BATの引用符/エラー停止。cp932模擬、日本語/空白パスと別cwdを検査。
未確認: 人の面白さ/納得/理解、Windows/macOS実機、実聴、公開投稿。合図は文字のみの実装。実画像/映像を人の試遊と称しない。
ネイティブ操作の記録は、実施後に別紙NATIVE_OBSERVATIONS.txtへ追記します。
