面向数据库 AI 智能体的两项契约：计划契约与证据契约

论文提出面向数据库 AI 智能体的两项可执行契约：计划契约限定智能体可执行与引用的操作，证据契约记录支撑结论的信念状态、完整性与出处。契约在双时态图系统 TGMS 中实例化，静态验证器在执行前检查计划，声明验证器对照内容寻址 trace 检查类型化声明。