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

変更した不変条件を成立させる経路と反例を、観測可能なテスト義務へ対応付けてください。テスト専用ステップでは production code を編集せず、変更対象外の既存契約を維持し、別の不変条件や担当箇所の改善へ広げないでください。