# memory: instinct-new-check-must-redden-on-the-prefix-artifact

再発防止検査の重要性と実装方法について。検査を書いたら修正前のコードを検査にかけ、3本セットで検証する必要がある。走査関数はrootを引数に取り、合成コーパスで検証する。違反条件はORを優先し、ANDは危険な形を1つ挙げてから決める。

## ポイント
- 再発防止検査を書いたら修正前のコードを検査にかける
- 検査は3本セットにする: 修正前の形を検出する / 正当な形は通す / 走査機構が動いている
- 走査関数はrootを引数に取り、合成コーパスで検証する
- 違反条件はORを優先し、ANDは危険な形を1つ挙げてから決める

## 関連ページ
[[instinct-structural-scan-anchored-on-a-name]] [[instinct-exclusion-needs-a-chokepoint-not-a-list-edit]] [[instinct-in-scope-is-not-judged]] [[instinct-mutation-survivor-needs-the-right-input]]

## 関連概念（未作成）
`再発防止検査の重要性` `コード品質の向上` `検査の自動化`