**進め方:**
1. 変える観測可能な振る舞いと、維持する既存契約を特定する
2. 既存テストを更新・削除する場合は、観測可能な契約とタスクで示されたテスト関連の判断基準に基づき、理由を記録する。既存テストの全assertionを照合する必要はない
3. 成立する振る舞いと、一部だけを満たすもっともらしい誤実装を識別する最小の入力または状態を選ぶ。契約にない保存、ライフサイクル、統合、並行性の軸を作らない
4. 対象の既存テストで成立する振る舞いと選んだ誤実装を区別できない場合は、契約を直接観測する最小のテストを作る。実在する主要経路が単体境界を越える場合だけ統合テストを選ぶ
5. このtest-first工程で実行できるテストを実行する。失敗した場合は未実装のプロダクション動作が理由かを確認し、テスト設定・fixture・assertionの欠陥と区別する。実装後の確認条件として、意図した振る舞いが成功し、選んだ誤実装が意図した理由で失敗することを記録する。mutation確認は実装後に既存の隔離runnerがある場合だけ破棄可能なコピーで行い、この工程では実行しない
6. 誤実装を拒否する入力・状態とassertionの対応、未カバー理由、実行結果を作業結果に残す。対象の既存・新規テストを実行したら、未確認の既存テストを全件照合せず、実装後の確認に引き継ぐ