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

要求または受入条件が変更する不変条件ごとに、担当箇所、実在する経路、各経路で必要な変更または保持条件を計画へ反映してください。初回計画では必要な各経路を実装義務と直接証拠へ対応付けてください。再計画では、失敗した担当箇所、経路、境界、証拠の仮定を示し、同じ失敗方法を反復しない計画へ置き換えてください。

この手順ではコードやテストを編集せず、finding の追加・棄却や完了判定を行わないでください。