«اختبارات التنفيذ تكشف فجوة الوكلاء البرمجيين: الاستقصاء المسبق يحمي العقود الذكية من أخطاء الترقيع الآلي»

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

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

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

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

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