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

修正対象ごとに、編集前に担当箇所と全経路を再構築してください。指摘が局所的でも、同じ不変条件を成立させる全経路を修正し、接続する既存契約を維持し、別の不変条件や担当箇所へ変更を広げないでください。

編集後は別名の再構築、直書き、旧 helper、未移行 consumer、片側更新を再検索し、残存を解消してください。