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

観測可能な契約を変更する場合は、編集前に関係する全経路を列挙してください。不変条件を成立させる全経路を実装し、接続する既存契約を保持し、別の不変条件や担当箇所に属する経路を編集しないでください。

編集後は別名の再構築、値の直書き、旧 helper、未移行 consumer、片側だけの更新を意味検索で再確認してください。必要な経路が残っている間は完了にしないでください。