{{include:instructions/contract-path-analysis}}

修正が許可された問題ごとに、不変条件、担当箇所、影響する全経路を再構築してください。必要な移行、旧経路の削除、保持条件、反証可能な完了証拠を修正単位へ含め、指摘された行だけを修正境界にしないでください。

複数の経路が同じ実装を共有していても、それだけで各経路の契約を同一とみなさないでください。共有箇所での変更が、今回変更を要求されていない入力、戻り値、失敗時の振る舞いを変える場合は、その既存条件を維持する境界を計画に含めてください。

この手順では編集、指摘の追加・無根拠な棄却、完了判定を行わないでください。「指摘の再評価と追跡」の反証の定義に従い、該当する場合は指摘のIDと元要件を残し、反証と確認のみでよい理由を計画へ記録してください。