PolicyFaultBench: Mutation-Based Assurance of Policy Mediation and Proposal-Interface Conformance for Tool- Using AI Agents
تُعد PolicyFaultBench معياراً اختبارياً قائماً على الطفرات يعمل على التحقق من صحة وكلاء الذكاء الاصطناعي المستخدمين للأدوات عبر اختبار وساطة سياسة وقت التشغيل ومطابقة واجهة الاقتراح بصرامة، مما يكشف أنه بينما يمكن للوكلاء تحقيق نجاح عالٍ في التنفيذ، إلا أنهم قد يظلون عاجزين عن استيفاء معايير القبول الصارمة بسبب انحرافات طفيفة في الواجهة تتطلب مجسات مستهدفة للكشف عنها.
المؤلفون الأصليون:Hasan Fadhil Qasim, Sarah Abdulzahra Kadim
تخيل عالماً يكون فيه مساعدك الذكي المفضل مثل متدرب ذكي للغاية ومتحمس. يمكنه كتابة الأكواد، وإرسال رسائل البريد الإلكتروني، وحتى تحويل الأموال إذا طلبت منه ذلك. لكن العائق هنا هو أن هذا المتدرب مبدع للغاية وأحياناً ثرثار أكثر من اللازم. فإذا قلت له: "أرسل بريداً إلكترونياً إلى مديري"، فقد يضيف نكتة مضحكة، أو رمزاً تعبيرياً غريباً، أو قصة طويلة عن عطلته في نهاية الأسبوع قبل إرسال البريد فعلياً. وفي عالم أمن الحاسوب عالي المخاطر، لا يُعد هذا الثرثرة الإضافية مجرد أمر مزعج فحسب؛ بل هو أمر خطير. فإذا لم ينظر النظام الذي يفحص عمل المتدرب إلى الرسالة بالضبط كما هي، فقد يغفل عن فخ مخفي أو يوافق بالخطأ على إجراء خطير. هذه هي مشكلة "وساطة السياسة" (policy mediation): التأكد من أنه عندما يقترح الذكاء الاصطناعي إجراءً ما، يقوم حارس أمن صارم بفحصه تماماً كما هو مكتوب قبل السماح بحدوثه. السؤال الكبير ليس فقط "هل الذكاء الاصطناعي ذكي؟" بل "هل يقوم حارس الأمن بعمله بشكل مثالي، حتى عندما يصبح الذكاء الاصطناعي غريباً بعض الشيء؟"
هذه الورقة البحثية، التي تحمل عنوان PolicyFaultBench، تشبه عملية تفتيش دقيقة لحارس الأمن هذا. لم يكتفِ الباحثان، حسن فاضل قاسم وسارة عبد الزهراء كاظم، بطلب أشياء عشوائية من الذكاء الاصطناعي؛ بل وضعا لعبة محكومة كان على الذكاء الاصطناعي فيها أن يعمل كـ "ناسخ". فبدلاً من التخطيط لمهمة معقدة، أُعطي الذكاء الاصطناعي مهمة محددة وثابتة (مثل "حول 10 دولارات إلى بوب") وطُلب منه كتابتها بتنسيق محدد جداً. ثم اختبر الباحثان حارس الأمن ("الوسيط") لمعرفة ما إذا كان سيكتشف الأخطاء، أو التنسيقات الغريبة، أو الحيل الخفية. لقد استخدما حيلة ذكية تسمى "اختبار الطفرات" (mutation testing)، وهي تشبه تعمد كسر كتاب قواعد حارس الأمن بطرق صغيرة لمعرفة ما إذا كان الحارس سيلاحظ ذلك. على سبيل المثال، قد يتظاهران بأن الحارس نسي التحقق مما إذا كان تحويل الأموال قد تمت الموافقة عليه، أو قد يتظاهران بأن الحارس سمح بتحويل إلى شخص آخر.
وجدت الدراسة أنه بينما كانت حراس الأمن (من شركات مثل OpenAI وAnthropic) جيدين عموماً في منع الإجراءات السيئة، إلا أنهم ليسوا مثاليين. في اختبار لـ 400 تجربة مع أحد المزودين، اكتشف الحارس كل محاولة سيئة. ومع ذلك، عندما اختبرا مزوداً آخر، أضاف الذكاء الاصطناعي في 9 حالات من أصل 400 قطعة نصية صغيرة إضافية إلى رسالته (مثل إضافة حقل "نطاق" لم يُطلب منه). ورفض حارس الأمن هذه الرسائل التسع بناءً على قاعدة صارمة تقول "يجب أن تطابق الرسالة الأصل بدقة". وهذا تصميم "الإغلاق عند الفشل" (fail-closed)، مما يعني أنه من الأفضل رفض رسالة آمنة بسبب خطأ مطبعي صغير بدلاً من قبول رسالة خطيرة بالخطأ. لقد أظهر الباحثون أنه رغم أن "نية" الذكاء الاصطناعي كانت آمنة في تلك الحالات التسع، إلا أن الفحص الصارم كان ضرورياً لضمان عدم ارتباك النظام بسبب النص الإضافي.
كما اكتشفت الورقة البحثية أن كتاب قواعد حارس الأمن يحتوي على بعض الثغرات الخفية. فعندما كسروا القواعد عمداً (جزء "الطفرة")، فات الحارس 5 من أصل 12 نوعاً من الحيل في الجولة الأولى. ولم يكتشف سوى البقية بعد أن أضاف الباحثون اختبارات "سبر" (probe) خاصة مصممة خصيصاً لإيجاد تلك الثغرات المفقودة. وهذا يشير إلى أن مجرد عمل النظام اليوم لا يعني أنه سيكون آمناً ضد كل حيلة ممكنة غداً. كما حاول الباحثون معرفة ما إذا كانت هذه النتائج ستصمد مع مجموعة مختلفة من المهام (المستمدة من معيار AgentDojo) ونظام أمني مختلف. كانت النتائج مختلطة: اجتاز الذكاء الاصطناعي 391 من أصل 400 مرة مع المهام الجديدة، وفشل فقط بسبب مشكلة "النص الإضافي" ذاتها.
باختصار، تقترح الورقة البحثية أنه لا يمكننا الاعتماد على نماذج الذكاء الاصطناعي لتكون مثالية من تلقاء نفسها. نحن بحاجة إلى طبقة أمنية منفصلة وصارمة تفحص مقترحات الذكاء الاصطناعي بدقة متناهية. فإذا أضاف الذكاء الاصطناعي ولو كلمة واحدة إضافية لم تُطلب منه، يجب على النظام التوقف وطلب توضيح، بدلاً من التخمين. تثبت الدراسة أنه بينما الأنظمة الحالية قوية، إلا أنها تحتاج إلى اختبار صارم ومستمر لضمان عدم تفويتها للأخطاء الدقيقة. ويخلص الباحثون إلى أن السلامة ليست مجرد درجة "نجاح" أو "رسوب" واحدة؛ بل هي مجموعة من الفحوصات المختلفة — فحص تنسيق الرسالة، وفحص القواعد، وفحص النتيجة النهائية — تعمل جميعها معاً للحفاظ على سلامة العالم الرقمي.
ملخص تقني: PolicyFaultBench
بيان المشكلة
تعالج الورقة البحثية فجوة حرجة في ضمان الأمان للوكلاء الذكيين (AI agents) الذين يستخدمون الأدوات. بينما تركز المعايير الحالية على ما إذا كان الوكيل قد ارتكب إجراءً ضاراً أو نجح في التنقل داخل بيئة الأداة، فإنها غالباً ما تغفل عن موثوقية طبقة الوساطة وقت التشغيل (runtime mediation layer) التي تقع بين مقترح النموذج المهيكل وتنفيذه.
تتمثل المشكلة الجوهرية في أن النموذج لا يحتاج إلى سلطة تنفيذ لإنشاء خطر؛ فالمقترح المهيكل كافٍ إذا قام نظام التشغيل بتوجيهه دون فحص موثوق. يجادل المؤلفون بأن محركات السياسة الخارجية، التي يُفترض بها أن تعمل كبوابة "إغلاق عند الفشل" (fail-closed)، قد تحتوي هي نفسها على أخطاء (مثل أنماط الموضوع الخاطئة، أو عمليات التحقق المفقودة، أو استثناءات الفتح عند الفشل). علاوة على ذلك، هناك نقص في الاختبار الصارم لـ مطابقة واجهة المقترح (proposal-interface conformance)—أي التأكد من أن مخرجات المزود تطابق بدقة المخطط (schema) المطلوب من قبل محرك السياسة. وتفترض الورقة أن نجاح التنفيذ لا يعني كفاية خطأ السياسة، وأن ضمان وقت التشغيل يتطلب أدلة منفصلة لضبط الواجهة، وصحة السياسة، وآثار الحالة، والتعميم.
المنهجية
تستخدم PolicyFaultBench نهجاً حتمياً قائماً على الطفرات (mutation-based) لعزل واختبار طبقة الوساطة، بشكل منفصل عن اختبار قدرات التخطيط لدى النموذج.
1. التصميم التجريبي
العمليات الاصطناعية المجمدة: تستخدم الدراسة مجموعة من 40 عملية اصطناعية (10 عائلات تهديد × 4 متغيرات). لا يُطلب من النموذج التخطيط لإجراء ما، بل نسخ عملية محددة مسبقاً إلى مقترح مهيكل. هذا يلغي متغيرات التخطيط مفتوحة النهاية ويعزل الواجهة ومنطق السياسة.
عائلات التهديد: تغطي المجموعة حقن المطالبات غير المباشر، والوصول عبر المستأجرين (cross-tenant access)، والهروب من نطاق المسار، وتصعيد الأوامر، والخروج غير المصرح به، و"التابع المرتبك" (confused deputy)، وتصعيد التفويض، وتسميم الذاكرة، وغسيل الموافقة، ومعالجة خطأ السياسة.
المزودون: تستخدم الدراسة OpenAI (gpt-5.6-sol) وAnthropic (claude-sonnet-5). تم محاولة سير عمل Gemini ولكن توقفت بسبب قيود البنية التحتية.
2. استراتيجية السياسة والطفرات
بنيتان للسياسة:
سياسة القواعد المرتبة (Ordered-Rule Policy): يقوم الوسيط الأساسي بتقييم القواعد بالتتابع.
سياسة القدرات (Capability Policy): محرك مستقل يحلل القدرات من جهة الخادم بناءً على الموضوع، والمستأجر، والمورد، والأصل، والمخاطر.
اختبار الطفرات: يحدد المؤلفون 12 عامل طفرة من الدرجة الأولى (مثل قلب القرار، توسيع نطاق الموضوع، تجاوز بوابة الموافقة، استثناء الفتح عند الفشل) لحقن الأخطاء في منطق السياسة.
مراحل الكفاية:
النواة المجمدة (Frozen Core): تختبر السياسة مقابل مجموعة الـ 40 حالة الأولية.
المجسات الموجهة بالناجين (Survivor-Guided Probes): إذا نجت الطفرات من النواة المجمدة، يتم إضافة مجسات محددة للقضاء عليها. هذا يميز بين الكشف الأولي عن الخطأ وبين الإصلاح المستهدف.
3. مستويات الأدلة والتسلسل الزمني
الإصدار الأول (v1 - تاريخي): سجل أساسي لـ 400 تجربة من OpenAI وسجل ثانوي لـ 400 تجربة من Anthropic. كشفت عمليات التدقيق بعد التشغيل عن إضافات سياقية منهجية في مخرجات Anthropic v1، مما أدى إلى انحراف الواجهة.
الإصدار الثاني (v2 - استشرافي): تشغيل تأكيدي مسجل مسبقاً لـ Anthropic (400 تجربة) باستخدام بوابة "ما قبل السياسة" مصححة تفرض مطابقة دقيقة قبل تقييم السياسة.
التكرار الخارجي: تم تجميد مجموعة ثانية من 40 حالة مشتقة من AgentDojo v1 قبل التنفيذ لاختبار التعميم عبر مجموعات عمليات وبنيات سياسة مختلفة.
4. آليات التحقق
إعادة التشغيل دون اتصال (Offline Replay): يتم إعادة تشغيل المقترحات في بيئة تجريبية (sandbox) حتمية للتحقق من أن قرار السيولة وتغير الحالة يتطابقان مع "الأوراكل" (oracle/المرجع).
نقاط نهاية الواجهة:
مطابقة الكائن الكامل (Full-Object Conformance): تتطلب مطابقة دقيقة لكامل كائن المقترح (الموضوع، الإجراء، المورد، الحجج، السياق).
مطابقة المظروف (Envelope Conformance): تتحقق فقط من الحقول ذات الصلة بالقرار، مما يسمح بالتعليقات التوضيحية غير السلطوية.
النتائج الرئيسية
1. كفاية الطفرات
النواوة المجمدة: قضت مجموعة الـ 40 حالة الأولية على 7 من أصل 12 من طفرات القواعد المرتبة (58.33%). نجت خمس طفرات، وتحديداً تلك المتعلقة بتوسيع نطاق الموضوع، وتجاوز الموافقة، وحذف الزمن، واستثناءات الفتح عند الفشل، وحذف إعادة ضبط الحالة.
المجموعة الموسعة: بعد إضافة المجسات الموجهة بالناجين، تم القضاء على جميع الطفرات الـ 12.
المجموعة الخارجية: كانت المجموعة المشتقة من AgentDojo أضعف بكثير، حيث قضت على 2/12 فقط من طفرات القواعد المرتبة و1/12 من طفرات القدرات في البداية. وهذا يثبت أن نجاح التنفيذ على مجموعة جديدة لا يضمن كفاية خطأ السياسة.
2. القرار والاحتواء
نجاح إعادة التشغيل: عبر 1,200 سجل مكتمل (OpenAI v1، Anthropic v1، Anthropic v2)، تم رفض كل حالة "رفض متوقعة" بشكل صحيح، ولم تحدث أي تغيرات في الحالة للمقترحات المرفوضة.
الاحتواء: لم يتم رصد أي حالات فشل في الاحتواء. اتفقت جميع المقترحات الـ سازی 791 المقبولة في التكرار الخارجي تحت كلا السياستين، وطابقت جميع التحولات التي تم التحقق منها النماذج.
3. مطابقة الواجهة والانحراف
تفاوت v1: في تشغيل v1 التاريخي، حققت OpenAI مطابقة كاملة للكائن بنسبة 100%. أما Anthropic فقد طابقت 291/400 فقط. كان عدم التطابق ضيقاً: الحقول المطلوبة كانت سليمة، لكن Anthropic أدرجت نص تحذير إضافي في كائن السياق.
تصحيح v2: حققت نسخة Anthropic v2 الاستشرافية، باستخدام بوابة ما قبل السياسة المصححة، 400/400 مطابقة كاملة للكائن.
فشل التكرار الخارجي: لم يتم تحقيق قاعدة القبول المسجلة مسبقاً 800/800. فشلت Anthropic في 9/400 تجربة في المجموعة الخارجية (نسبة نجاح 97.75%). حدثت هذه الإخفاقات في سيناريو دفع حميد حيث أضافت Anthantic حقل approval_scope غير مطلوب. تم عزل هذه الحالات قبل تقييم السياسة، مما منع التنفيذ.
4. زمن الاستجابة والتكلفة
أظهرت Anthropic زمن استجابة وسيط أقل (2.2 ثانية) مقارمة بـ OpenAI (6.6 ثانية).
بلغت التكلفة الإجمالية لدفاتر الحساب الثلاثة (400 تجربة لكل منها) حوالي 4.68 دولاراً.
المساهمات الرئيسية
تقدم الورقة المساهمات المحددة التالية في مجال ضمان الوكيل الذكي:
معيار محدود النطاق: مجموعة من 40 سيناريو مخصصة لـ وساطة السياسة ومطابقة الواجهة، متميزة عن معايير التخطيط المفتوح للوكلاء.
نموذج الطفرات: إطار عمل تشخيصي للطفرات يفصل بين الكفاية "المجمدة" وبين الإصلاح "الموجه بالناجين"، مع تسمية المجسات المشتقة من الناجين صراحةً. .................. (تكملة بقية النقاط بنفس النمط)
إعادة تشغيل الحالة دون اتصال: طريقة للتحقق من قرارات السياسة وتحولات الحالة دون إعادة تشغيل المزود، باستخدام دلالات البيئة التجريبية الحتمية.
التأكيد الاستشرافي: تكرار مسجل مسبقاً ومجمد استشرافياً (Anthric v2) يتحقق من مسار مطابقة ما قبل السياسة المصحح.
استئصال الواجهة: تحليل مقارن بين مطابقة "الكائن الكامل" ومطابقة "مظروف القرار"، مما يسلط الض الضوء على المقايضة بين الصرامة والتوافر.
التعميم الخارجي: توسيع مسجل مسبقاً باستخدام مجموعة مشتقة بشكل مستقل (AgentDojo) وبنية سياسة ثانية (قائمة على القدرات)، مما يوضح أن نجاح التنفيذ وكفاية خطأ السياسة هما خاصيتان متمايزتان.
الأهمية والادعاءات
تدعي الورقة بتواضع أن PolicyFaultBench يوفر طريقة لاستجواب الطبقة المحددة بين مقترح النموذج والأثر الجانبي المنفذ. تكمن أهميتها الأساسية ليس في وضع معدل أمان عالمي، بل في إثبات أن:
نجاح التنفيذ ليس بديلاً عن صحة السياسة. يمكن للنظام تنفيذ إجراءات آمنة بنجاح بينما يفشل في اكتشاف أخطاء السياسة (درجة طفرة منخفضة) أو الفشل في فرض عقود الواجهة.
دقة الواجهة هي متطلب ضمان منفصل. حتى لو كان قرار السياسة صحيحاً، فإن "الانحراف" في كائن المقترح (مثل الحقول الإضافية) يمكن أن يسبب حالات رفض "إغلاق عند الفشل"، أو على العكس، قد يتم قبوله بصمت إذا كانت السياسة فضفاضة للغاية.
التعميم مرتبط بنقاط النهاية. النجاح في مجموعة واحدة لا يضمن كفاية الطفرة في مجموعة أخرى؛ حيث تكشف المجموعات المختلفة عن فئات مختلفة من الأخطاء.
تصميم "الإغلاق عند الفشل" فعال. قام النظام بشكل صحيح بعزل مقترحات Anthropic التسعة غير المتوافقة في التكرار الخارجي، مما منع أي تقييم للسياسة أو تغيير في الحالة، وبالتالي التحقق من فعالية آلية الإغلاق عند الفشل حتى عندما لم يتم استيفاء قاعدة القبول 800/800.
يخلص المؤلفون إلى أن ضمان وقت التشغيل يتطلب أدلة متميزة لضبط الواجهة، وصحة السياسة، وآثار الحالة، وتعميم المجموعة والسياسة، بدلاً من الاعتماد على مقياس "أمان" واحد.