# memory: instinct-structural-scan-anchored-on-a-name

AST構造テストを関数名で錨づけると、同じ形の別名実装は原理的に見えないため「違反0件」が穴の無さに化ける。走査の射程を明示し、名前以外の実装も検査する必要がある。

## ポイント
- AST構造テストは名前で対象を集めるため、同じ形の別名実装は原理的に見えない
- 「違反0件」は「穴が無い」と「探せていない」を区別できない
- 走査の生存確認は探索が動いていることしか証明せず、射程は証明しない
- 名前で錨づけた構造テストには、走査の射程をコメントで明示する
- 可能なら錨を名前でなく形に寄せる

## 関連ページ
[[instinct-set-integrity-needs-both-directions]] [[instinct-exclusion-needs-a-chokepoint-not-a-list-edit]] [[instinct-in-scope-is-not-judged]]

## 関連概念（未作成）
`AST構造テストの射程明示` `コードスキャンの完全性` `安全性の自動化`