محركان، تدقيق واحد

اطلب من مراجعَين خبيرين قراءة الطلب نفسه، وستحصل على قائمتين مختلفتين. أحدهما يلاحظ أن المعرّف في الرابط لا يُقارَن أبدًا بالجلسة؛ والآخر يلاحظ أن حلقة إعادة المحاولة تترك اتصال قاعدة بيانات مفتوحًا مع كل إخفاق. لا أحد منهما مخطئ، ولا أحد منهما كامل. ونماذج اللغة تتصرف بالطريقة نفسها وللسبب نفسه: ما يلاحظه المراجع يتوقف على ما رآه من قبل.

الاتفاق إشارة

النموذج الواحد يخبرك بمقدار ثقته. هذا الرقم له قيمة، لكنه إقرار ذاتي: النموذج يصحّح ورقته بنفسه. أما حين يصل نموذجان دُرّبا في مختبرين مختلفين، على بيانات مختلفة وبنقاط ضعف مختلفة، كلٌّ على حدة إلى الضعف نفسه في الملف نفسه، فذلك الاتفاق دليل من خارج النموذج. وهو أقرب ما تبلغه المراجعة الآلية من رأي ثانٍ.

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

أين يصمت محرك واحد

عمليًا يفترق المحركان أكثر ما يفترقان في أصناف العلل التي تحتاج إلى استدلال لا إلى مطابقة أنماط:

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

كيف يصير التقريران تقريرًا واحدًا

الدمج هو الموضع الذي يثبت فيه المحرك الثاني جدواه أو يضاعف ضجيجك. القواعد التي استقررنا عليها:

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

يقرأ المحركان المصدر نفسه في الوقت نفسه، فلا يستغرق التدقيق ضعف المدة؛ إنما يكلّف ضعف التشغيل، ولهذا يخصّ خطة Pro. وإذا تعذّر المحرك الثاني أو أعاد شيئًا غير صالح، يكتمل التدقيق بالأول بدل أن يفشل.

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