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