Dogwood, temporal logic (zamansal mantık) ve Metric First-Order Temporal Logic (MFOTL) temeline dayanır. MFOTL, olayları ve bunların zaman içindeki ilişkilerini akıl yürütmeye olanak tanıyan biçimsel bir matematik dalıdır . MFOTL, önermesel temporal mantığı birinci dereceden niceleme ve metrik kısıtlamalarla (ör. "son 5 dakika içinde") genişleterek olay dizilerinin hassas bir şekilde çalışma zamanında izlenmesini sağlar .
Dogwood'da bir politikanın kararı, yalnızca mevcut isteğe değil, ajanın bir oturum içindeki eylemlerinin geçmişine bağlıdır . Politika motoru, önceki araç çağrılarının ve yanıtlarının bir kaydını tutar ve ardından mevcut isteği bu geçmişe göre değerlendirerek çağrıya izin verir veya reddeder .
Dogwood, AWS'nin 2023'te yayınladığı mevcut Cedar politika dilini, oturum bilincine sahip koşullar içeren bir temporal bloğu ekleyerek genişletir . Temel zamansal operatörler şunlardır:
| Operatör | Amaç |
|---|---|
formerly | Oturumda daha önceki bir noktada bir koşulun doğru olup olmadığını kontrol eder |
count_within | Belirtilen bir zaman aralığında bir koşulun kaç kez gerçekleştiğini sayar |
count_distinct_within | Bir zaman aralığında görünen bir alanın farklı değerlerini sayar |
sum_within | Bir zaman aralığındaki olaylar üzerinden sayısal bir alanı toplar |
since | Bir olayın son gerçekleşmesine göre bir koşulu kontrol eder |
once | Bir koşulun daha önce hiç gerçekleşip gerçekleşmediğini kontrol eder |
Bu operatörler, bir politikanın "daha önce bir fatura işlemi olmadıkça ödeme işlemine izin verme" veya sum_within(tutar, 1s) bir eşiği aşarsa reddet" gibi kurallar tanımlamasına olanak tanır . Zamansal bir politika, standart bir permit veya forbid Cedar kuralı olarak yazılır, ancak koşullar bir temporal { ... } bloğunun içine yerleştirilir .
Zamansal politikalar, ajanın kendi kodunun dışında, AgentCore Gateway katmanında uygulanır . Gateway, her araç çağrısını hedef araca ulaşmadan önce gerçek zamanlı olarak durdurur, politikayı oturumun tüm olay geçmişine karşı değerlendirir ve ardından çağrıya izin verir veya reddeder .
Yetkilendirme kararı, ajanın değiştiremeyeceği bir altyapıda, çevrede gerçekleştiğinden, ajanın prompt manipülasyonu, jailbreak veya kontrol ettiği herhangi bir kodla bu politikaları atlatması imkansızdır . AWS, politikaların "ajanın kendi kodunun dışında, AgentCore Gateway çevresinde" çalıştığını ve bu sayede ajanın kendi talimatlarını yeniden yazmasına karşı dayanıklı olduğunu açıkça belirtmektedir . Politika motoru iki modu destekler: LOG_ONLY (engellemeden denetleme) ve ENFORCE (aktif olarak reddetme) .
Dogwood, 6 Ağustos 2026'da duyurulan gateway hız sınırlaması ile birlikte Amazon Bedrock AgentCore'a zamansal politikalar olarak entegre edilmiştir .
Bedrock AgentCore'da halihazırda mevcut olan özellikler:
sum_within kullanılarak uygulanan 60.000 dolarlık oturum başına harcama sınırı .Dogwood dili ve referans uygulaması, Bedrock AgentCore yönetilen hizmetinden ayrı olarak Apache 2.0 lisansı altında GitHub'da mevcuttur .