你让 AI 先获批再付款，它却可能在审批前同时发出三笔转账。问题在于，Agent——能调用支付、数据库等外部工具的 AI——会把多个操作串成流程，逐次检查权限未必看得住整个过程。AWS 开源的 Dogwood 是一门策略语言，放在模型与真实工具之间，按固定规则允许或拒绝调用，还能回看此前的操作记录。
最值得注意的是并发陷阱。据 AWS 展示，若规则只累计已完成的转账，三笔并发的 2000 美元转账会在任何一笔完成前同时通过，绕过 5000 美元上限；改为累计已发出的请求，第三笔就会被拒绝。两种策略只差一个词。Dogwood 还可表达“先审批再付款”、限定次数或累计金额等时序策略——即根据操作先后关系作判断。
代价也很明确：系统必须保存可信且隔离的事件历史，判断耗时可能随日志增长；时序规则目前也不能使用 Cedar 的自动推理分析工具。参考解释器仅供探索和测试，并非可直接用于生产授权。