当检查的对象是 LLM 生成的文本时，检查通过或失败的原因并不写在代码里，而是取决于模型输出、提示词约束等无法通过静态阅读穷尽的因素。