陈化冰 case (5 reasons → 2 reasons):
  改前误召:K05@17;18 / K04@46 / K00@46 — 3 颗都已拔(2025-12-14/12-20)
  根因:SQL ⑤a 只看"同 expectedCats actual 排除",surgical 不在任何 K0x 的 expectedCats
       但临床上拔除是任何牙病的终结,拔了就不需要后续治疗

修(treatment-initiation-recall.scenario.ts):
  加新 NOT EXISTS ⑤c 子句:
    任何 actual surgical 同牙位 overlap → 排除该信号
  关键设计:
    - 不限时间方向(拔了就拔了,后期诊断只是记录现状如"牙列缺失")
      → 解决 K00@46 在 2026-03 才诊但 46 已 2025-12 拔的情况
    - 仅对**有具体牙位的信号**生效(信号 tooth_position 必须非空)
      → 全口诊断(K05 全口)不走这分支,避免任何拔牙误排全口

验证(陈化冰):
  recompute-plans: tenant=77057 plansSuperseded=1 (陈化冰 v1→v2)
  v2 reasons (2 条):
    K02@24;25;47 (caries_no_filling)  ✓ 该召(未充填)
    K03@14;15 (hard_tissue_damage)    ✓ 该召(未充填)
  v1 排除的 3 条 (✓ 正确):
    K05@17;18 (17;18 已拔) ✓
    K04@46 (46 已拔) ✓
    K00@46 (46 已拔) ✓

副作用:全量重导 5K 患者后,召回池可能下降 5-10%(扣掉"已拔不该召"的噪音)
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>