Verification Loops: Make It Prove Itself

جزء من دورة Vibe Coding: الهندسة المتقدمة

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

اطلب من نموذج دالة واختباراتها، فما تحصل عليه اختبارات للحالات التي يعالجها التنفيذ سلفا. لا خِبث في هذا، بل هي العملية التوليدية نفسها تُنتِج المُخرَجَين كليهما من الفهم نفسه. فترث الاختبارات نقاط التنفيذ العمياء بحرفيتها. ...