AWS Dogwood: як відкрита мова політик навчила AI-агентів пам'ятати минуле

Темпоральна логіка та основа MFOTL

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

У Dogwood рішення політики залежить від історії дій агента в межах сесії, а не лише від поточного запиту . Механізм політик веде запис попередніх викликів інструментів та їхніх відповідей, а потім оцінює поточний запит на основі цієї історії, перш ніж дозволити чи заборонити виклик .

Розширення Cedar темпоральними операторами

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

Ці оператори дозволяють політиці визначати правила на кшталт «заборонити платіж, якщо дія зі створення рахунку-фактури не відбулася formerly», або «заборонити, якщо 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 .
• Правила послідовності робочих процесів — наприклад, вимога дії затвердження перед дією платежу .
• Режими лише журналювання та примусу — запуск темпоральних політик у режимі лише журналювання на реальному трафіку перед перемиканням на примусове виконання .

Мова Dogwood та її еталонна реалізація доступні на GitHub під ліцензією Apache 2.0, окремо від керованого сервісу Bedrock AgentCore .