التغذية الراجعة تمحو شواهد الخلل البرمجي: أبحاث «فيروس» تثبت تعارض التصحيح مع التدقيق

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

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

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

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

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

تنتهي أوراق البحث بقاعدة تشغيلية حاسمة لكل من يبني أنظمة ذات موثوقية عالية: احفظ الفشل المعتمد ووثقه جيدا قبل الشروع في إصلاحه.