AWS Dogwood: ИИ-агенты получили «память» — новый язык политик с открытым исходным кодом

Темпоральная логика и основа MFOTL

Dogwood базируется на темпоральной логике и Metric First-Order Temporal Logic (MFOTL) — разделе формальной математики, который позволяет рассуждать о событиях и их взаимосвязях во времени . MFOTL расширяет пропозициональную темпоральную логику кванторами первого порядка и метрическими ограничениями (например, «в течение последних 5 минут»), что даёт возможность точно контролировать последовательности событий в реальном времени .

В Dogwood решение политики зависит от истории действий агента в рамках сессии, а не только от текущего запроса . Механизм политик хранит записи о предыдущих вызовах инструментов и их ответах, после чего оценивает текущий запрос на основе этой истории, прежде чем разрешить или запретить вызов .

Расширение Cedar с помощью темпоральных операторов

Dogwood расширяет язык политик Cedar (существующий язык авторизации AWS от 2023 года), добавляя блок temporal с условиями, учитывающими контекст сессии . Ключевые темпоральные операторы:

Эти операторы позволяют задавать в политике такие правила, как «запретить действие платежа, если действие по созданию счёта не было выполнено ранее», или «запретить, если sum_within(amount, 1h) превышает порог» . Темпоральная политика оформляется как стандартное правило Cedar с эффектом permit или forbid, но с условиями, помещёнными внутрь блока temporal { ... } .

Принудительное исполнение на уровне шлюза (невозможность обхода)

Темпоральные политики применяются на уровне шлюза AgentCore Gateway, то есть за пределами кода самого агента . Шлюз перехватывает каждый вызов инструмента в реальном времени до того, как он достигнет целевого инструмента, оценивает политику на основе полной истории событий сессии, а затем разрешает или запрещает вызов .

Поскольку решение об авторизации принимается на периметре — в инфраструктуре, которую агент не может изменить, — его невозможно обойти с помощью манипуляций промптами, джейлбрейков или любого кода, контролируемого агентом . AWS прямо заявляет, что политики выполняются на «периметре шлюза AgentCore Gateway, за пределами кода агента», что делает их устойчивыми к попыткам агента переписать собственные инструкции . Механизм политик поддерживает два режима: LOG_ONLY (аудит без блокировки) и ENFORCE (активный запрет) .

Интеграция с сервисами AWS: Amazon Bedrock AgentCore

Dogwood интегрирован в Amazon Bedrock AgentCore в виде темпоральных политик, анонсированных одновременно с ограничением скорости на шлюзе 6 августа 2026 года .

Доступные в настоящее время функции Bedrock AgentCore:

• Темпоральные политики — учитывающие состояние правила на основе Dogwood, которые оценивают каждый вызов инструмента с учётом истории сессии агента .
• Ограничение скорости на шлюзе — лимиты пропускной способности токенов для каждой учётной записи (Basic: 100 RPM, Advanced: 300 RPM) .
• Механизмы политик — вы создаёте механизм политик, храните в нём политики (как стандартные Cedar, так и темпоральные Dogwood) и связываете его с агентом .
• Посессионные бюджеты — например, лимит расходов в 60 000 долларов на сессию, контролируемый с помощью sum_within .
• Правила последовательности рабочих процессов — например, требование одобрения перед действием платежа .
• Режимы только логирования и принудительного исполнения — запуск темпоральных политик в режиме LOG_ONLY для анализа реального трафика перед включением режима ENFORCE .

Язык Dogwood и его эталонная реализация доступны на GitHub под лицензией Apache 2.0 отдельно от управляемого сервиса Bedrock AgentCore .