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

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

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

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