ملخص تقني: تشغيل السلطة الإعادة البنائية (Reconstructive Authority)

بيان المشكلة

تفشل أنظمة الوكلاء المستقلين (Autonomous agent systems) بشكل متكرر ليس بسبب خطأ في منطق اتخاذ القرار، بل لأنها تنفذ قرارات لم تعد سلطتها قائمة وقت التنفيذ. في البيئات الديناميكية، غالبًا ما تتباعد الظروف التي اتُخذ فيها القرار (وقت القبول) عن الظروف السائدة في لحظة التنفيذ. إن نهج التحقق المسبق الحالي، الذي يعامل السلطة كخاصية ثابتة موروثة من حالة أولية، لا يمكنه منع التنفيذ في ظل "سلطة قديمة" (stale authority).

تعمل نماذج إنفاذ السياسات الحالية (مثل XACML و OPA) عادةً ضمن فضاء قرار ثنائي: القبول أو الرفض. غالبًا ما تعامل هذه النماذج البيانات المفقودة أو غير المؤكدة كرفض افتراضي أو كمخاطرة مقبولة، وتفشل في التمييز بين السلطة غير الصالحة (حيث تُعرف الشروط بأنها خاطئة) والسلطة غير المحددة (حيث لا يمكن تحديد الشروط بسبب عدم اكتمال الملاحظة). تؤدي هذه الفجوة الهيكلية إلى تنفيذ الأنظمة للإجراءات في ظل نقص معرفي (epistemic incompleteness)، مما ينتهك ضمانات السلامة.

المنهجية

تقوم هذه الورقة بتشغيل "نموذج السلطة الإعادة البنائية" (RAM)، الذي تم تعريفه نظريًا سابقًا في الورقة الخامسة، وتحويله إلى بروتوكول تنفيذ ملموس في وقت التشغيل. تنقل المنهجية الجوهرية النموذج من "التحقق من السلطة الموروثة" إلى "بناء السلطة من الحالة الراهنة".

1. الأساس النظري

يعرف النظام السلطة $A(t)$ ليس كعلامة ثابتة، بل كدالة $F$ للحالة الملحوظة الحالية $O(t)$:
$$A(t) = F(O(t))$$
بما أن حالة النظام الحقيقية $S_r(t)$ ليست قابلة للملاحظة بالكامل، يجب على النظام تحديد ما إذا كانت السلطة قابلة للبناء (constructible). تكون السلطة قابلة للبناء فقط إذا تحقق ما يلي:

1. الملاحظة (Observability): جميع متغيرات التبعية المطلوبة قابلة للملاحظة مع نسبة شك تحت العتبة $\theta_{auth}$.
2. الاكتمال (Closure): رسم التبعية البياني (dependency graph) مكتمل الحل (لا توجد تبعيات صاعدة مفقودة).
3. الاتساق (Consistency): لم يتم اكتشاف أي انتهاكات للثوابت (invariants) عبر التبعيات التي تم تقييمها.

2. حالة التنفيذ الثلاثية

تقدم الورقة امتدادًا جوهريًا لفضاء حالة التنفيذ، بالانتقال من نموذج القبول/الرفض الثنائي إلى نموذج ثلاثي الحالات:

• التنفيذ (Execute): السلطة قابلة للبناء وتقيم بـ True.
• الرفض (Deny): السلطة قابلة للبناء ولكنها تقيم بـ False (الشروط معروف أنها منتهكة).
• التوقف (Halt): السلطة غير قابلة للتقييم ($A(t) = \bot$). يحدث هذا عندما تفشل شروط قابلية البناء (مثل فقدان الإشارات، أو ارتفاع نسبة الشك، أو الرسوم البيانية المفتوحة للتبعية). من الضروري ملاحظة أن Halt يختلف عن Deny؛ فهو يمثل تعليقًا للتنفيذ بسبب نقص معرفي، وليس رفضًا بناءً على انتهاكات سياسة معروفة.

3. بروتوكول الإنفاذ في وقت التشغيل

يتم تنفيذ التشغيل عبر حلقة إنفاذ في وقت التشغيل تدمج ثلاث طبقات:

• استحواذ الحالة (State Acquisition): جمع $O(t)$ دون افتراض الاكتمال.
• محرك بناء السلطة (Authority Construction Engine): يحل ديناميكيًا التبعيات $D(a)$ المطلوبة للإجراء $a$ بناءً على الحالة الحالية. يقوم بتقييم الملاحظة والشك لكل متغير.
• بوابة التنفيذ (Execution Gate): تفرض القرار الثلاثي. إذا كانت $A(t) = \bot$، يدخل النظام في حالة Halt.

4. حلقة الاسترداد (The Recovery Loop)

لمعالجة حالة Halt ، تحدد الورقة حلقة استرداد. بدلاً من معاملة Halt كفشل نهائي، يقوم النظام بـ:

1. تحديد المتغيرات غير المحلولة المسببة للتوقف.
2. تفعيل طبقة مراقبة الثوابت (IML) لاكتشاف الانحراف أو الحصول على الإشارات المفقودة.
3. تعزيز الحالة (على سبيل المثال، عبر الحصول على بيانات جديدة أو تقليص نطاق الإجراء).
4. محاولة إعادة بناء السلطة.
   تستأنف عملية التنفيذ فقط عندما تصبح السلطة قابلة للبناء مرة أخرى، مما يضمن الحيوية المشروطة (conditional liveness).

المساهمات الرئيسية

1. تشغيل نموذج RAM: تقديم أول نموذج تنفيذ في وقت التشغيل يفرض إعادة بناء السلطة عند نقطة الإجراء، بدلاً من الاعتماد على التحقق عند وقت القبول.
2. حالة Halt: صياغة حالة تنفيذ ثالثة للتعامل صراحةً مع السلطة غير المحددة، مما يمنع النظام من التنفيذ تحت ظروف الشك أو معاملة البيانات المفقودة كرفض افتراضي.
3. خوارزمية حل التبعيات: تقديم خوارزمية ديناميكية حيث لا تكون المتغيرات المطلوة محددة ثابتًا، بل تنبثق من حالة وقت التشغيل ودالة البناء $F$.
4. التكامل مع حزمة الحوكمة: توضيح كيفية ملاءمة RAM لبروتوكول التحكم في الوكيل (ACP) وطبقة مراقبة الثوابت (IML)، حيث تعمل كمعيار التفويض عند بوابة التنفيذ (المرحلة 3 من ACP) مع بقائها مستقلة عن طبقات التخصيص والحوكمة التركيبية.
5. الضمانات الرسمية:
   • السلامة (Safety): إثبات أنه لا يتم تنفيذ أي إجراء ما لم تكن السلطة قابلة للبناء وصالحة في آن واحد (النظرية 3 و 4).
   • الحيوية المشردطة (Conditional Liveness): إثبات أن التنفيذ سيستأنف إذا أصبحت المتغيرات المحددة للسلطة قابلة للملاحظة في النهاية (النظرية 2).

النتائج والادعاءات

لا تقدم الورقة بيانات تجريبية، بل تقدم نموذجًا تشغيليًا رسميًا وبراهين منطقية. النتائج الأساسية هي:

• ضمان السلامة: يمنع النموذج هيكليًا التنفيذ تحت سلطة قديمة أو غير محددة، وهو نمط فشل متأصل في الأنظمة التي لا تعيد حساب السلطة في وقت التشغيل.
• معالجة الانحراف: من خلال ربط RAM مع IML، يكتشف النظام الانحراف السلوكي ويبطل السلطة فورًا، مما يفرض التوقف قبل حدوث التنفيذ.
• التتبع (Traceability): كل محاولة تنفيذ تولد وثيقة تدقيق تفصل مسار حل التبعية، مستويات الشك، والسبب المحدد لحالة Halt أو Deny أو Execute.

الأهمية

تدعي الورقة أنها تكمل "سلسلة حوكمة الوكيل" من خلال سد الفجوة بين شروط الحوكمة النظرية وإنفاذ وقت التشغيل. بينما تحدد الأوراق من 0 إلى 4 السلامة الهيكلية للحوكمة، والورقة 5 تحدد الطبيعة النظرية للسلطة الإعادة البنائية، فإن الورقة 6 تحدد كيفية فرض السلطة في وقت التشغيل.

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