用可验证契约设计 LLM 智能体：四层架构与实施清单

作者提出用可验证契约而非提示词约束 LLM 智能体，把每件工具当作软件边界，由模型决定下一步、由契约决定能否执行。核心是四层架构：结构化意图、带策略的工具目录、模型无法控制上下文的隔离执行器、以及记录 request_id、工具版本和拒绝原因的证据日志。文中还给出输入输出双侧验证、步骤预算、基于 request_id 的幂等写入、可重试与契约错误的区分，以及一份实施检查清单。