安全リファクタリング

安全リファクタリング は何をしますか？

動作保存の境界を定義し、構造的編集の前に検証を確立します。

• 機能変更はリファクタリングの範囲外に保ちます。
• 一度に一つの所有権境界のみを移動します。
• 公開インターフェース、障害動作、順序、および互換性は、明示的にスコープ外としない限り維持します。
• 中間状態はビルド可能かつテスト可能に保ちます。
• 正当性の必要性なく依存関係や設定を増やさないようにします。

変更後に同じ証明を実行します。動作が一致し、要求された構造が達成されるまで停止しません。