写在提示词里的结构是软的，模型可能将检查步骤视为已完成而继续执行，因此检查必须坐在模型外面，成为运行时的一个原语或脚本中的强制检查点。