AWS Dogwood: لغة الحوكمة الزمنية التي تجعل وكلاء الذكاء الاصطناعي يتذكرون

تسد AWS Dogwood فجوة أمنية حرجة في حوكمة وكلاء الذكاء الاصطناعي: قد يقوم الوكيل باستدعاء أدوات بصيغة صحيحة مع أذونات فردية سليمة، لكن تسلسل الاستدعاءات قد يظل مخالفاً للقواعد التجارية. على سبيل المثال، معالجة دفعة قبل إنشاء فاتورة هو خطأ منطقي، حتى لو كان كل إجراء مسموحاً به بشكل فردي .

Dogwood هي لغة حوكمة مفتوحة المصدر (رخصة Apache 2.0) صممتها AWS خصيصاً لهذا الغرض، وأصدرتها في 6 أغسطس 2026، إلى جانب مترجم مرجعي (reference interpreter). وهي مصممة لتفويض تسلسلات استدعاءات أدوات الوكيل عبر الزمن، بدلاً من تقييم كل إجراء بمعزل عن الآخر .

أساس المنطق الزمني (Temporal Logic) وMFOTL

تستند Dogwood إلى المنطق الزمني (Temporal Logic) ومنطق Metric First-Order Temporal Logic (MFOTL)، وهو فرع من الرياضيات الشكلية يسمح بالاستدلال حول الأحداث وعلاقاتها عبر الزمن . MFOTL يوسع المنطق الزمني الافتراضي (propositional temporal logic) بإضافة القياس من الدرجة الأولى (first-order quantification) والقيود المترية (metric constraints) مثل "خلال آخر 5 دقائق"، مما يتيح المراقبة الدقيقة في زمن التشغيل (runtime monitoring) لتسلسلات الأحداث .

في Dogwood، يعتمد قرار السياسة على تاريخ إجراءات الوكيل داخل الجلسة، وليس على الطلب الحالي فقط . يحتفظ محرك السياسات بسجل لاستدعاءات الأدوات السابقة واستجاباتها، ثم يقيم الطلب الحالي مقابل هذا التاريخ قبل السماح أو رفض الاستدعاء .

توسيع Cedar بعوامل تشغيل زمنية

توسع Dogwood لغة السياسات Cedar (لغة التفويض الحالية من AWS والتي صدرت عام 2023) بإضافة كتلة temporal تحتوي على شروط تدرك سياق الجلسة . تشمل عوامل التشغيل الزمنية الرئيسية:

تتيح هذه العوامل تعريف قواعد مثل "منع إجراء الدفع ما لم يحدث إجراء إنشاء فاتورة سابقاً (formerly)"، أو "المنع إذا تجاوز

sum_within(amount, 1h)

temporal { ... }

التطبيق على مستوى البوابة (منيع ضد الاختراق)

يتم تطبيق السياسات الزمنية (Temporal Policies) على مستوى بوابة AgentCore Gateway، أي خارج كود الوكيل نفسه . تعترض البوابة كل استدعاء أداة في الوقت الفعلي قبل وصوله إلى الأداة المستهدفة، وتقيّمه مقابل تاريخ الجلسة الكامل، ثم تسمح به أو ترفضه .

نظراً لأن قرار التفويض يُتخذ على الحدود الطرفية (perimeter) — في بنية تحتية لا يستطيع الوكيل تعديلها — فإنه لا يمكن تجاوزه عن طريق التلاعب بالتعليمات (prompt manipulation) أو اختراق القيود (jailbreaking) أو أي كود يتحكم به الوكيل . تؤكد AWS صراحةً أن السياسات تعمل في "محيط بوابة AgentCore Gateway، خارج كود الوكيل الخاص به"، مما يجعلها مقاومة لمحاولات الوكيل إعادة كتابة تعليماته الخاصة . يدعم محرك السياسات وضعين: LOG_ONLY (تدقيق دون حظر) و ENFORCE (منع فعال) .

التكامل مع خدمة AWS: Amazon Bedrock AgentCore

تم دمج Dogwood في Amazon Bedrock AgentCore كـ سياسات زمنية (Temporal Policies)، وتم الإعلان عنها بالتزامن مع تحديد معدل البوابة (Gateway Rate Limiting) في 6 أغسطس 2026 .

الميزات المتاحة حالياً في Bedrock AgentCore:

• السياسات الزمنية (Temporal policies) — قواعد تعتمد على الحالة (stateful rules) تستخدم Dogwood لتقييم كل استدعاء أداة مقابل تاريخ جلسة الوكيل .
• تحديد معدل البوابة (Gateway rate limiting) — حدود قصوى لعدد الرموز المميزة (tokens) لكل هوية (Basic: 100 RPM، Advanced: 300 RPM) .
• محركات السياسات (Policy engines) — يمكنك إنشاء محرك سياسات، وتخزين السياسات (سواء Cedar القياسية أو Dogwood الزمنية)، وربطه بوكيل .
• الميزانيات لكل جلسة (Per-session budgets) — على سبيل المثال، حد أقصى للإنفاق قدره 60,000 دولار لكل جلسة، يتم تطبيقه عبر sum_within .
• قواعد تسلسل سير العمل (Workflow sequencing rules) — على سبيل المثال، اشتراط إجراء موافقة قبل إجراء الدفع .
• وضعي التسجيل فقط والتنفيذ (Log-only and enforce modes) — تشغيل السياسات الزمنية في وضع التسجيل فقط (LOG_ONLY) مقابل حركة المرور الحقيقية قبل التبديل إلى وضع التنفيذ (ENFORCE) .

لغة Dogwood وتنفيذها المرجعي متاحان على GitHub تحت رخصة Apache 2.0، بشكل منفصل عن خدمة Bedrock AgentCore المدارة .