Archspec investigate: كيف تكتشف نماذج اللغة الكبيرة تضاربات الخدمات البينية قبل كتابة الكود

تحقق أحد المطورين مما إذا كان بإمكان LLM الكشف عن تضاربات الخدمات البينية في مرحلة التخطيط — قبل أول سطر من الكود. الأداة هي archspec مع عقود قابلة للقراءة الآلية `SERVICE_MAP.yaml`، والميزة هي إعادة تعيين المهام تلقائياً بعد رفض المستقل.

حيث يفقد LLM سياق الخدمات البينية

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

يتم توثيق كل خدمة محلياً بشكل معزول. يرى LLM كل جزء بشكل منفصل، لكنه لا يرى النظام ككل. تبقى الاتفاقيات بين الخدمات ضمنية، والنموذج يتجاهلها.

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

عقود بدلاً من Markdown الحر

قدم الجزء الثاني من الدورة archspec — أداة تولد ملف `SERVICE_MAP.yaml` لكل خدمة. هذا ليس توثيق نصي حر للبشر مع وصفات سردية، بل عقد قابل للقراءة الآلية: قيود صريحة، انتقالات مسموحة بين الحالات، تبعيات بين الخدمات، ومتطلبات البيانات في كل انتقال. الفرق أساسي. Markdown الحر هو نص يفسره LLM بافتراضات. `SERVICE_MAP.yaml` بيانات منظمة يحللها النموذج بشكل حتمي. لا مجال للـ "هلوسة" بشأن الاتفاقيات الضمنية. العناصر الرئيسية للعقد:

• تنسيقات إدخال وإخراج صريحة لكل خدمة
• انتقالات مسموحة بين حالات الكائنات التجارية
• حقول مطلوبة للاستدعاءات بين الخدمات
• قيود المنطق التجاري على حدود الخدمات

ما أظهره /archspec:investigate

شروط الاختبار صارمة: نفس الطلب، نفس النموذج (Claude Sonnet 4.6)، نفس الميزة. الفرق الوحيد — عقود قابلة للقراءة الآلية فوق `SERVICE_MAP.yaml` بدلاً من النص الحر.

"نفس الطلب، نفس النموذج. السؤال هو: هل سيكتشف الخطة تضاربات الخدمات

البينية هذه قبل كتابة الكود،" — يصيغ المؤلف جوهر التجربة.

مع العقود، كشف النموذج عن تضاربات الخدمات البينية بالفعل في مرحلة التخطيط — تماماً تلك التي ظهرت في المرة الأولى فقط بعد كتابة الكود. إضفاء الطابع الرسمي على الحدود أعطى LLM سياقاً منظماً كافياً للانتقالات الصحيحة بين الخدمات قبل كتابة أول سطر من التطبيق. لكن الأداة كان لها قيود. يعمل Archspec investigate بالضبط بقدر دقة العقود نفسها. إذا تخلفت `SERVICE_MAP.yaml` عن الكود الفعلي — يخطط النموذج من خريطة قديمة ويخطئ مرة أخرى. تم أيضاً التحقق من التطبيق نفسه بشكل منفصل مقابل الخطة النهائية: هناك أيضاً وُجدت نقاط حيث "انحرف" الكود عن المقصود — وهذا جزء صادق من البحث.

ما يعني هذا

يعمل التطوير الموجه بالمواصفات مع LLM في الخدمات الدقيقة — لكنه يتطلب عقود صريحة قابلة للقراءة الآلية. بدونها، يفقد النموذج السياق بين الخدمات بشكل هيكلي: هذا ليس مسألة جودة الطلب أو قوة النموذج. Archspec هو طريقة عملية لتثبيت هذا السياق، والأداة متاحة على GitHub. القيد الرئيسي: الحفاظ على `SERVICE_MAP.yaml` محدثة يتطلب جهداً يدوياً — هذه خطوة منفصلة يجب دمجها في عملية التطوير. بدون عقود محدثة، تخلق الأداة ثقة كاذبة بدلاً من المساعدة الحقيقية.