将开放式任务转化为可验证的约束（如列出三个逻辑漏洞并各附一句理由）能减少模型对意图的猜测。