074 機能・設計・証拠の区別

技術
24件のunittestがPASS。長さ1/3の到着境界、逆方向の独立容量、共有辺重量一回、交差一拍、同路線通過/乗換、初回出現と目的地の免除、実際の容量拒否理由、接続なし、32刻、undo、次刻予告、長押し、全キー対の同時拒否、説明中ラッチ、保存メタデータを検査。
A/Bは単純路線74候補から2775組ずつ、Cは106候補から5671組。路線の反転と番号交換による重複だけ除去。
始点だけ・未設置・一本のみを含む全編集可能構成。合法組A1839/B1839/C2982、全配達組A257/B250/C482。
候補数値を難しくするための変更なし。適切な直通や一本の路線で安全に達成可能。

変更理由
最初に読んだ設計文の費用は辺長＋交差追加でした。開発中の設計追補と独立レビューに合わせ、v1.1では途中駅の通常一刻も含めています。
経路選びの費用は辺長＋途中駅数＋途中交差追加。到着予定には初回出発までの一刻も含む。
回り道の見えない通常停車時間を無視しないための修正。比較版でも同じ計算の追加待機だけ0。
経路選びを確かめるテスト: A-D-EとA-X-Y-Eの費用は共に5、移動遷移が少ないA-D-Eを採用。
旧映像・旧ソースは保持し、修正版で再撮影。元ログの状態再現は別のderived_replay_validation.jsonへ。

設計と比較
仮説は列をほどく発見、組んだ流れが整う満足、線形の表現。全作品を危険のジレンマへ寄せない。
Aの直通は重量6/6刻/待機0、共有は重量5/13刻/待機21。
Bの直通二本は一部の行先が未接続。一方A-D-E-B一本は重量7/8刻/待機0。
Cの共有は重量5/13刻/待機20、専用B-D線とA-X-Y-Eは重量5/7刻/待機0。
一か所の列だけで全体改善とせず、駅別待機と全便の到着を保存。
比較は交差到着の追加待機1/0のみ。共通幹線配置は両版で全星を配達。
A/Bは13→11刻・待機21→9、Cは13→11刻・待機20→8。易しさを面白さと同一視しない。

実稼働・納品
実Pyxel自動操作の全749フレームを一回ずつ30fpsへ割当て、24.966667秒のMP4。音声ストリームなし。
元GIFのフレームSHA-256、全フレーム数、ffprobe結果は最終automatic_*/timing_validation.json。
日本語UI、文字集合の収録検査、UTF-8/空白日本語パス/別cwd/cp932環境、ASCII引用BATを確認。
実機はNATIVE_OBSERVATIONS.txt。Sは再現記録を出力し、版と当時のソースハッシュを含む。
テストの前後に撮影ファイル全体のハッシュ不変を検査。原ソース/ログを上書きせず、再検証を別ファイルに保存。

未確認
人の試遊・楽しさ、Windows/macOS実機、音の実聴。実映像・実機入力はエージェントによる機能確認です。

独立モデル検査
別実装の展開グラフ・イベント列で7,130,556件、数値不一致0。経路399,600件、全キューフレーム397,365件、列待ちを除く予定到着2,298,306件を含みます。
検査中model/controllerのバイトは不変。アプリの「None→未確認」とテスト追加が並行したため、原検査記録のsource_stable:falseをそのまま保持し、後続の安定した24件のテスト再確認を併記した独立結果を同梱しました。
independent_model_results.jsonは元の報告を改変せずコピーしたものです。

最終表示修正: 未接続星の予定到着を生のNoneから「未確認」へ変更し、標準動画を再撮影、00:14 UTCにネイティブで未接続状態を再確認。最終ソース一致のログとPNGを追加し、元記録は維持。
