077 検証区分

技術: 純モデルのカード分岐、上限、刻0、同期空き判定、到着当刻の再判定禁止、保存則、誤配保持、undo、予告一致を自動検査。
入力: 同時キー拒否、長押し、表紙→開始、説明→再開、連続運転の解放待ち、結果→再開をテスト。結果はtest_results.txt。
設計: カード4^3と各状況の全箱札配置を列挙。原案の候補数値は変更なし。Aの枝先分類、Bの色先／重さ先、Cの必要な枝だけ判定を保存。速さ、対称性、読みやすさは別の観点です。
比較: 台の空き条件だけ変更し、A/B/Cの同じ構成で共通目標を達成。速度差は人の満足の証拠ではありません。
実描画: 実際のPyxelで誤配、Cのカード修正、六便成功を自動操作。GIFの全フレームを30fpsへ一度ずつ変換し、フレーム数・長さ・音声なしを確認。
実窓: 別紙NATIVE_OBSERVATIONS.txtとmedia/native_*を参照。機械操作の確認で、人の試遊ではありません。
独立監査: 親担当の監査結果は別管理。この文書だけで承認済みとは数えません。
未検証: 人が初見で目的を理解できるか、流れを見る満足、別配置を選びたくなるか。Windows/macOS実機、音声出力。これらを機能テストから推定しません。
証拠保全: テストは純モデルか仮の入力だけを扱い、media内を更新しません。元のソースと観察を保持し、修正後の再検証は別資料にします。
