确定性验证器 vs LLM 判官

领域智能体的验收有两种引擎：确定性验证器（代码，逐字/重算可判）与 LLM 判官（语义评分）。用错引擎会失败——把数值算数交给 LLM 会算错，把语义相关性写成逐字断言会脆断。本文件给出明确的分工判据、两者取严合并的规则、以及"把 must-not-say 编成确定性短语目录"和"数值不交 LLM 算"两条硬规则。