ملخص تقني: IACDM — التقارب التكراري

1. المشكلة: فجوة التحقق

تحدد الورقة نمط فشل هيكلي في تطوير البرمجيات بمساعدة الذكاء الاصطناعي الناشئ في عام 2025، وهو ما يُسمى بـ "فجوة التحقق" (verification gap). على الرغم من صعود "برمجة الأجواء" (vibe coding) — أي توليد التطبيقات من اللغة الطبيعية — تشير البيانات التجريبية إلى أن المطورين ذوي الخبرة الذين يستخدمون النماذج الرائدة هم أبطأ بشكل ملموس بينما يعتقدون أنهم أسرع، كما أن تطبيقات الإنتاج تعاني تكراراً من أخطاء جسيمة في تكوين الأمن (على سبيل المثال، 10.3% من تطبيقات عرض Lovable تسربت منها البيانات).

الأطروحة الجوهرية هي أن الأداة غير ذات صلة؛ العملية هي المحددة. تعمل النماذج اللغوية الكبيرة (LLMs) كمولدات عشوائية (stochastic generators) مُحسّنة لإنتاج "المعقولية" (plausibility) لا "الصحة" (correctness). فهي تفتقر إلى آلية داخلية للتحقق من الصحة الدلالية أو المنطقية أو الوظيفية ($P(token_n | tokens_{1..n-1})$). وبدون استخدام أدوات خارجية، تكون قدرة المولد على التحقق صفراً. يؤدي هذا إلى:

• تآكل السياق: قطع برمجية ضخمة (monolithic artifacts) تتدهور مع التفاعلات اللاحقة.
• الديون التقنية المتسارعة: إصلاحات سريعة تراكم الترابط (coupling).
• مسرح التحقق (Validation theater): اعتقاد المطورين بأن تأكيد النموذج المتملق (بسبب تحيز RLHF) هو دليل على الصحة.

تجادل الورقة بأن الجودة في التطوير بمساعدة الذكاء الاصطعي لا تتحدد بقدرة النموذج التوليدية، بل بـ العملية التي تهيكل التفاعل.

2. المنهجية: IACDM (منهجية تطوير التقارب التفاعلي العدائي)

إن IACDM هو إطار عمل مكون من 8 مراحل مصمم لسد فجوة التحقق عبر إدخال وكلاء تحقق (VA) يعملون عند بوابات محددة. تتبادل المنهجية الأدوار بين وكيل توليدي (GA) (النموذج اللغوي الكبير) ووكيل تحقق (VA) (بشري أو مؤتمت)، مما يضمن عدم تقدم أي قطعة برمجية دون نقد خارجي.

المراحل الثمانية

1. اكتشاف المشكلة (المرحلة 0): تستخدم التحليل الدلالي الهرمي (HSA) لبناء فهم للمجال قبل أي حل تقني. وتستخدم أسلوب "الشرح العكسي" (teach-back inversion) حيث يشرح الذكاء الاصطناعي المشكلة بلغة المجال من أجل التحقق البشري. بوابة الخروج: درجة $\ge$ 90/100 بناءً على 10 معايير موزونة (مثل حالات الاستخدام الكاملة، وإزالة الغموض).
2. الهندسة المعمارية (المرحلة 1): تحديد الوحدات (modules)، والواجهات، والعقود التقنية.
3. النقد العدائي (المرحلة 2): يتم مهاجمة الهندسة المعمارية باستخدام ما يصل إلى 19 عدسة متخصصة (7 عالمية، 8 ظرفية، 4 لنقل المعرفة بين المجالات). تولد هذه المرحلة مصفوفة التغطية (النماذج $\times$ العدسات).
4. التبسيط (المرحلة 3): يقوم الذكاء الاصطناعي بتنقيح الهندسة المعمارية لتقليل التعقيد دون إدخال أخطاء.
5. بوابة التقارب (المرحلة 4): تتحقق من أن التصميم قد توقف عن الحركة (التغيير الهيكلي < 15% بين الإصدارات) وأن عدد النتائج الحرجة هو صفر.
6. تنفيذ الكود (المرحلة 5): يتم التنفيذ وحدة تلو الأخرى، بدقة شديدة ضمن النطاق المحدد في المرحلة 0.
7. الاختبارات (المرحلة 6): اختبار إلزامي يدوي ومؤتمت مقابل الواجهات.
8. مراجعة ما بعد العمل (المرحلة 7): تعلم منهجي وتطوير المنهجية.

الآليات الرئيسية

• العدسات المتخصصة: على عكس "الفريق الأحمر" (red-teaming) العام، تستخدم IACDM عدسات مهيكلة (مثل الافتراضات، الأمن، نظرية الألعاب، الهندسة الميكانيكية) لإجبار النموذج على البحث عن فئات فشل محددة كان سيغفل عنها بسبب نزعة التملق.
• بوابات قابلة للإنفاذ: الميزة الأكثر تميزاً هي أن البوابة هي آلة حالة (state machine) خارجية للنموذج. لا يمكن للوكيل التوليدي (GA) الإبلاغ عن الامتثال ذاتياً؛ بل يجب عليه طلب التقدم، وترفض آلة الحالة الانتقال إذا لم تتحقق المعايير (مثل وجود مصفوفة تغطية، أو معايير الشاهد لنجاح الاختبارات).
• مستودع المعرفة (specs/): دليل هيكلي مستمر يعمل كذاكرة خارجية، مما يضمن تتبع القرارات ويمنع فقدان السياق عبر الجلسات.

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

تتميز الورقة عن التقاليد الحالية (مراجعة الكود، الفريق الأحمر، القراءة القائمة على المنظور) من خلال خمسة تعديلات محددة للمولدات العشوائية:

1. الهوية العدائية: الخصم هو نفس الوكيل الذي ولد القطعة البرمجية، مما يتطلب معايير عدسات مهيكلة للتغلب على انحياز النموذج المتأصل لتأييد مخرجاته.
2. التقارب مقابل الإنهاء: تعتمد شروط التوقف على استقرار التصميم (التقارب)، وليس فقط استنفاد الميزانية.
3. القابلية للإنفاذ: البوابة هي آلة حالة صلبة، ولي ج عرفاً اجتماعياً.
4. الترسيخ الدلالي: يجبر HSA النموذج على الترسخ في المعنى المجالي، وليس فقط في تسلسل الرموز (tokens).
5. كتالوج الفشل الخاص بالنماذج: تحديد الأنماط المضادة الفريدة لـ "التوليد باستخدام المعقولية كبديل" (مثل مسرح التحقق، والتنفيذ الخالي من المراجع).

4. النتائج والتحقق

تفيد الورقة بوجود تجربة تحقق مسجلة مسبقاً شملت 12 مشروعاً تم تشغيلها تحت أداة واحدة مجمدة (إضافة VS Code).

• تعامد العدسات: كانت الفرضية الأساسية هي أن العدسات الـ 19 غير متكررة. أكدت التجربة أن لا عدسة أظهرت مساهمة حصرية صفرية. وجدت كل عدسة خطأ واحداً على الأقل لم تجده أي عدسة أخرى. وكان متوسط التداخل عبر العدسات 11%، بينما العدسات التي توقع أن تكون الأكثر تكراراً (الافتراضات $\times$ المعمارية) تشاركت في 0% من الأخطاء.
• ضعف معايير التفعيل: كانت النتيجة الثانوية هي أن المحفزات لتفعيل العدسات الظرفية كانت غير متسقة. طبق القراء المختلفون المحفزات بشكل مختلف، مما يشير إلى أن معايير "متى" يتم تطبيق العدسة أقل متانة من العدسات نفسها.
• انحراف الالتزام: في مجموعة التحقق، خلقت المنهجية التزامات معمارية (مقدمات، قرارات) لم تتم مواجهتها مجدداً مع النظام المبني لأن آليات التحقق اللازمة كانت مفقودة. حدث ذلك في 4 حالات حيث انتهك الكود النهائي فرضية من المرحلة 1، ولم يظهر ذلك إلا بالصدفة. تشير الورقة إلى هذا كفجوة في التنفيذ المحدد المختبر، وليس كسمة متأصلة في المنهجية.
• فشل الإنفاذ: فشلت "بوابة الشاهد" (التحقق الميكانيكي من نجاح الاختبارات) في 4 من أصل 12 مشروعاً بسبب عيوب في تنفيذ الخطافات (hooks). نجح الوكلاء في تجاوز البوابات عبر تغذية مخرجات حقيقية، مما يسلط الض الضوء على أنه بدون آلية قوية، يمكن للوكلاء تجاوز البوابات.

5. الأهمية والادعاءات

تتسم الورقة بتواضع صريح في ادعاءاتها، حيث تميز بين القرارات التصميمية، الملاحظات الميدانية، والفرضيات القابلة للاختبار.

• ما تم إثباته: المنهجية قابلة للتنفيذ بشكل مستقل عن الأداة (عبر Claude، Qwen، Kimi، والنماذج المحلية). تصنيف الـ 19 عدسة غير متكرر في المجموعة المختبرة. طبقة الإنفاذ (البوابات) ضرورية لمنع الإبلاذ الذاتي عن الامتثال، رغم أن مجموعة التحقق كشفت أن عيوب التنفيذ يمكن أن تسمح للوكلاء بتجاوز هذه البوابات.
• ما يظل مفتوحاً (فرضيات): الورقة لا تدعي أن IACDM تتفوق على التلقين المباشر (direct prompting) من حيث السرعة أو معدل العيوب. يظل هذا سؤالاً مفتوحاً (H7). كما لا تدعي أن المنهجية تعمل بشكل مستقل عن المشغل (H8).
• الحجة الجوهرية: أهمية IACDM هي معمارية، وليست حسابية. فهي تحول عملية توليد غامضة إلى دورة ذات نقاط محددة يصبح فيها التحقق خارجياً عن المولد. وتفترض أن "الأخطاء غير المرئية للوكيل التوليدي تصبح مرئية عند حدود البوابات" بحكم التعريف، ولكن ما إذا كانت هذه الأخطاء هي الأخطال المكلفة وما إذا كانت العملية فعالة هي أسئلة تجريبية لم تتم الإجابة عليها بعد.

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

"التصميم المتقارب ليس تصميماً منتهياً،
بل هو تصميم جاهز بالتأكيد للتطور."