تستند Dogwood إلى المنطق الزمني (Temporal Logic) ومنطق Metric First-Order Temporal Logic (MFOTL)، وهو فرع من الرياضيات الشكلية يسمح بالاستدلال حول الأحداث وعلاقاتها عبر الزمن . MFOTL يوسع المنطق الزمني الافتراضي (propositional temporal logic) بإضافة القياس من الدرجة الأولى (first-order quantification) والقيود المترية (metric constraints) مثل "خلال آخر 5 دقائق"، مما يتيح المراقبة الدقيقة في زمن التشغيل (runtime monitoring) لتسلسلات الأحداث .
في Dogwood، يعتمد قرار السياسة على تاريخ إجراءات الوكيل داخل الجلسة، وليس على الطلب الحالي فقط . يحتفظ محرك السياسات بسجل لاستدعاءات الأدوات السابقة واستجاباتها، ثم يقيم الطلب الحالي مقابل هذا التاريخ قبل السماح أو رفض الاستدعاء .
توسع Dogwood لغة السياسات Cedar (لغة التفويض الحالية من AWS والتي صدرت عام 2023) بإضافة كتلة temporal تحتوي على شروط تدرك سياق الجلسة . تشمل عوامل التشغيل الزمنية الرئيسية:
| العامل (Operator) | الغرض |
|---|---|
formerly | يتحقق مما إذا كان الشرط صحيحاً في وقت سابق خلال الجلسة |
count_within | يحسب عدد مرات حدوث شرط ضمن نافذة زمنية محددة |
count_distinct_within | يحسب القيم المميزة لحقل معين ظهرت ضمن نافذة زمنية |
sum_within | يجمع حقلاً رقمياً عبر الأحداث ضمن نافذة زمنية |
since | يتحقق من شرط بالنسبة لآخر حدث وقع |
once | يتحقق مما إذا كان شرط قد وقع على الإطلاق |
تتيح هذه العوامل تعريف قواعد مثل "منع إجراء الدفع ما لم يحدث إجراء إنشاء فاتورة سابقاً (formerly)"، أو "المنع إذا تجاوز sum_within(amount, 1h) حداً معيناً" . تُكتب السياسة الزمنية كقاعدة Cedar قياسية من نوع permit أو forbid، ولكن مع وضع الشروط داخل كتلة temporal { ... } .
يتم تطبيق السياسات الزمنية (Temporal Policies) على مستوى بوابة AgentCore Gateway، أي خارج كود الوكيل نفسه . تعترض البوابة كل استدعاء أداة في الوقت الفعلي قبل وصوله إلى الأداة المستهدفة، وتقيّمه مقابل تاريخ الجلسة الكامل، ثم تسمح به أو ترفضه .
نظراً لأن قرار التفويض يُتخذ على الحدود الطرفية (perimeter) — في بنية تحتية لا يستطيع الوكيل تعديلها — فإنه لا يمكن تجاوزه عن طريق التلاعب بالتعليمات (prompt manipulation) أو اختراق القيود (jailbreaking) أو أي كود يتحكم به الوكيل . تؤكد AWS صراحةً أن السياسات تعمل في "محيط بوابة AgentCore Gateway، خارج كود الوكيل الخاص به"، مما يجعلها مقاومة لمحاولات الوكيل إعادة كتابة تعليماته الخاصة . يدعم محرك السياسات وضعين: LOG_ONLY (تدقيق دون حظر) و ENFORCE (منع فعال) .
تم دمج Dogwood في Amazon Bedrock AgentCore كـ سياسات زمنية (Temporal Policies)، وتم الإعلان عنها بالتزامن مع تحديد معدل البوابة (Gateway Rate Limiting) في 6 أغسطس 2026 .
الميزات المتاحة حالياً في Bedrock AgentCore:
sum_within .لغة Dogwood وتنفيذها المرجعي متاحان على GitHub تحت رخصة Apache 2.0، بشكل منفصل عن خدمة Bedrock AgentCore المدارة .