النجاح الفارغ: لماذا يعجز التحقق عن تمييز الصمت من الإجازة

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

الدعوى مصوغة بدقة

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

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

الصدق الفارغ بوصفه البذرة الصورية للمشكلة

نبدأ من قطعة من المنطق الصوري المعياري لا صلة لها بالبرمجيات ولا بالقانون. العبارة المُكمَّمة كلياً، من صيغة for every element of this set, property P holds، صادقة على نحو تافه حين تكون المجموعة خالية. فلا يوجد عنصر في المجموعة الخالية يفتقر إلى الخاصية P، لأنه لا يوجد عنصر أصلاً. ويسمي أهل المنطق هذا الصدق الفارغ، وهو ليس مفارقة ولا حيلة، بل هو ببساطة ما يعنيه المُكمِّم. وقولنا جميع الاستشهادات في هذه المذكرة جرى التحقق من كونها سارية دعوى من هذه الصيغة تماماً. فإن خلت المذكرة من أي استشهاد، كانت الدعوى صادقة فراغياً، وستظهر، في أي نظام يفحص دعاوى من هذه الصيغة آلياً، مطابقةً لمذكرة جرى فحص استشهاداتها الأربعين واحداً واحداً ووُجدت كلها سارية.

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

حجة سعة القناة

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

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

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

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

أين يتكرر هذا، ولماذا يتكرر على النحو ذاته في كل مرة

يظهر النمط حيثما أبلغ نظام عن التغطية أو الامتثال عبر إشارة ثنائية أو شبه ثنائية، ويجدر المرور بدقة على عدة أمثلة، لأن الآلية واحدة في كل مرة وإن تبدّلت مفردات المجال تبدّلاً كاملاً.

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

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

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

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

أين يتكرر هذا في مجالنا نحن

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

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

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

مبدأ التصميم العام

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

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

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

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

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

لماذا يزداد هذا إلحاحاً، لا العكس، مع أتمتة التحقق

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

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