[planner] 読取りVerifyと出力担当を分けて元義務を保持する

[Kewton]

Tracks #490

問題と変更

同じpackage.jsonを読むVerifyが追加されると、要求保持判定が両方を出力担当として数え、元の検査が残っている計画まで拒否していました。裏付けのある読取り検査は、一つの元義務を一つの対応Verifyへ結び付けて保持するように変更します。

• 既存のpackage-manifest定型指示と、完全一致するNext.js検査コマンドに適用を限定します。未知の同一pathのVerify、作成要求、副作用のあるコマンド、外部scriptには免除を広げません。
• 指示・期待結果・必要入力・完全な検査群を同じ対応先に要求し、取得済みの更新前後の検査を別々に保持します。expected_paths、runtime検証、model/host義務、登録防御、有限Retryを維持します。
• 全経路回帰を可能にするため、既存の計画取得→保存→before_phase→登録をphase_entryへ移動しました。イベントと失敗処理を維持し、guardrail基準は変更していません。
• 固定応答・取得履歴・登録差分・実行時metadataをportable corpusに収録しました。

検証

• P02-Dは修正前に対象の誤拒否を再現し、修正後はpath削除やAdmission迂回なしで通常登録に到達。
• 重点8件、関連要求保持57件、corpus 7件、guardrail 10件が成功。属性の寄せ集め、検査群分散、更新前後の削除・移動・統合を拒否。
• runtimeは元の保持判定と修正版で、入力あり合格／入力あり不合格／欠落を比較。metadata・precheckを維持し、不合格と欠落を既存の実行・修復境界へ伝播。
• cargo fmt --all -- --check、cargo clippy --offline --all-targets -- -D warnings、cargo test成功。全体は2,994 passed、0 failed、既存の42 ignored。

適用範囲は上記の検査形式です。元build検査のpreset変換での喪失は別の既知課題として診断を残しています。実モデルによるアプリ生成・GUIの改善は今回の確認範囲に含みません。