**AWS发布Dogwood：AI Agent运行时验证开源语言**

_Introducing Dogwood: runtime verification for AI agents_

> AWS开源Dogwood，一种专为AI Agent设计的运行时验证语言。基于Cedar策略语言扩展，引入时序条件（temporal conditions）支持对Agent工具调用序列进行约束，如操作顺序、频率限制和前置条件等。Dogwood兼容现有Cedar策略，已集成至Amazon Bedrock AgentCore Policy，采用Apache 2.0许可证开源。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-08-07 06:24（北京时间）
- **原文**：[打开原文](https://aws.amazon.com/blogs/opensource/introducing-dogwood-runtime-verification-for-ai-agents)