الإثبات

المطابقة، ودليل الاختبار، وحزمة الانحدار. تلك صورة «المنتهي» لمن عليه التوقيع عليه. المطابقة، لكل ما نقل بيانات: أعدادٌ من الجانبين، وإجماليٌّ ضابط واحد على أساسٍ مذكور، وثلاثة سجلّات مسمّاة مُمشاة من طرف إلى طرف. مُنتَجةً قبل أن يسأل أحد، على صفحةٍ واحدة مؤرَّخة. والوحدة ٩ بنت هذا وليس اختياريًّا هنا. ودليل الاختبار، لكل ما سواه: ماذا نُفِّذ، وبصفة من، وماذا كان الجواب. و«بصفة من» هو الجزء المحذوف وهو الجزء المهمّ — فتقريرٌ تحقّقتَ منه وحدك غير مُتحقَّق منه، فوصولك ليس وصول مستخدم. وحزمة الانحدار، لما يجب أن ينجو من التحديث التالي: صفحةٌ لكل مُخرَج — ماذا يُنفَّذ، وبأي معاملات، وماذا ينبغي أن يكون الجواب، رقمًا. وترتيب الوحدة ١٧ يقرّر ما يدخلها، والجواب حزمةٌ صغيرة لا كاملة. و«المنتهي» لمن يوقّع ليس «إنه يعمل». بل هو: هذا ما يفعله، وهذا دليل أنه يفعله، وهذا ما سيخبرك إن توقّف، وهذا ما لم أستطع فعله ولماذا. والجملة الأخيرة هي ما يجعل البقية موثوقة —…

في هذه الوحدة: الوحدة ١٨ · المشروع الختامي: حزمة عمل تقنية كاملة

1. ١الموجز
2. ٢ترتيب العمل
3. ٣التنفيذ
4. ٤الإثبات
5. ٥التسليم
6. ٦إلى أين بعد ذلك