确定性检查的输出完全可预测、不依赖概率推理，提供二元、可复现的信号，且不消耗模型上下文。