# memory: instinct-two-predicates-leave-an-unclassified-fallthrough

独立した述語2本で「一時的か/恒久か」を判定すると、どちらにも当たらない値が既定の枝に落ち、最悪の扱いを受ける問題。実例では402 Payment Requiredがループ内でbreakし、ループ後はtransient扱いになり、exhaustedが空ならfail_countを焼く。本日34回発生。述語を足す前に「漏れた値がどこへ落ちるか」を確認し、未分類は人に届く側へ倒す。

## ポイント
- 独立した述語2本で分類すると、3つの集合になる（A/B/どちらでもない）
- 3つ目は誰も設計していないので、既定の枝＝最悪の扱いに落ちる
- 実例では402 Payment Requiredがループ内でbreakし、ループ後はtransient扱いになり、exhaustedが空ならfail_countを焼く
- 本日34回発生
- 述語を足す前に「漏れた値がどこへ落ちるか」を確認する
- 未分類は人に届く側へ倒す
- 判定材料を絞る仕組みがある場合、マーカーがその絞りを通った後の文字列に載るかを実ログで確認する

## 関連ページ
[[instinct-status-branch-never-fires-on-format-mismatch]] [[instinct-in-scope-is-not-judged]] [[instinct-command-guard-must-not-exclude-path-separator]]

## 関連概念（未作成）
`分類漏れの影響範囲` `述語の網羅性` `既定の枝の設計`