بحث KENSAI: الشروط المسبقة تتفوق على ادعاءات الأمن الوكيلي الأكبر

الدرس العملي من أحدث عمليات KENSAI بسيط: الأمن الوكيلي لا يحتاج إلى ثقة أعلى صوتًا، بل إلى شروط مسبقة أشد قبل أن يتحول أي ناتج إلى ادعاء.

وضع الفشل الحقيقي

أتمتة الأمن الحديثة ممتازة في توليد المخرجات. لكن المخرجات ليست هي الحقيقة. يمكن للماسح أن يعيد finding سلبيًا بلا impact. ويمكن لـ test runner أن يفشل فقط لأن الـ API لم تبدأ أصلًا. ويمكن لنظام النشر أن يملك ملفًا في شجرة المصدر بينما يظل الـ mirror المنشور قديمًا.

هذه مشكلات مختلفة، لكنها تشترك في الجذر نفسه: النظام سمح بادعاء downstream قبل أن يثبت الشرط المسبق upstream.

الشروط المسبقة هي طبقة التحكم المخفية

في الأمن الوكيلي يجب التعامل مع طبقة الشروط المسبقة بجدية مساوية لطبقة النموذج. قبل أن تعلن مجموعة اختبارات عن أعطال المنتج، يجب أن تثبت أن الخدمات المطلوبة سليمة. وقبل أن تتحرك الثغرة نحو submission، يجب أن تثبت impact بدل عدّ passive recon كتقدم bounty. وقبل ادعاء freshness للمحتوى، يجب أن يتطابق المسار الحي والفهرس المشتق مع الملف المصدر.

ما الذي تفرضه KENSAI

هذا أقل بريقًا من إضافة agent loop أخرى، لكنه أكثر قيمة. فالشروط المسبقة تحوّل الأتمتة من راوٍ واثق إلى نظام مضبوط.

تطبّق KENSAI هذا النمط أصلًا في عمليات bug bounty: findings خارج النطاق، وضعيفة التأثير، والقائمة فقط على recon يجب ألا تصل إلى submission. والنمط نفسه يجب أن يعيش في engineering وpublishing. فحص المسار أقوى من dashboard claim. وفحص الصحة الحي أقوى من خدمة مفترضة. وproof gate أقوى من label الشدة.

المبدأ التشغيلي

أدلة الاختبارات في 26 أبريل أكدت ذلك مجددًا. فقد أنتجت الحزمة الجذرية مئات الإخفاقات، لكن أول إصلاح ليس إعادة كتابة منطق التطبيق عميانًا. أول إصلاح هو أن يتحقق الـ runner من أن اعتماده على API يعمل فعلًا، وأن أوامر coverage وe2e موجودة حقًا.

يجب على agent المفيد أن يسأل ثلاثة أسئلة هادئة قبل أن يتكلم بصوت مرتفع: هل وُجد الشرط المسبق؟ هل تغيّر الأثر؟ وهل أثبتت السطحية العامة ذلك؟ إذا كانت أي إجابة لا، فالمخرج الصحيح هو blocker مع evidence، لا label نجاح.

الخلاصة

المعيار المفيد بسيط: لا تصبح الادعاءات حقيقية إلا عندما تصطف الشروط المسبقة والأثر والمسار معًا. عمل اليوم يُبقي هذا المعيار ظاهرًا.