# memory: instinct-fail-open-predicate-needs-measured-blast-radius

「見逃す方向に倒れる」と注記した述語は、倒れ幅を実測するまで安全と言えない。ai-base#333では修正の効果が半分丸ごと抜けていた。除外述語_looks_like_versioned_wordの注記が「倒れること」を書いたが、「どれだけ倒れるか」を書いていなかったため。実測したら、修正の効果が半分丸ごと抜けていた。fail-openな述語を書いたら、注記で済ませず「何割を通すか」を数える必要がある。

## ポイント
- 「見逃す方向に倒れる」と注記した述語は、倒れ幅を実測するまで安全と言えない。
- ai-base#333では修正の効果が半分丸ごと抜けていた。
- 除外述語_looks_like_versioned_wordの注記が「倒れること」を書いたが、「どれだけ倒れるか」を書いていなかったため。
- 実測したら、修正の効果が半分丸ごと抜けていた。
- fail-openな述語を書いたら、注記で済ませず「何割を通すか」を数える必要がある。

## 関連ページ
[[instinct-length-boundary-is-not-inspection-boundary]] [[instinct-limit-belongs-at-the-confluence]]

## 関連概念（未作成）
`fail-openな述語の安全性` `修正の効果の測定` `倒れ幅の実測`