تحديد الحقيقة المدعاة
نربط المصدر والسياق والعقد. لا نفترض أن القياس الخارجي موثوق.
PAYGOD V2 / بنية الأدلةالإصدار السابق ↗
كيف يعمل
الثقة سلسلة من ادعاءات منفصلة قابلة للاختبار.
القرار ليس إثبات صحته. ننقل الأدلة وسياق القرار المتاحين فعلاً ليتمكن طرف مستقل من فحص الحزمة خارج نظام المنتج. صحة المصدر والتفويض والتنفيذ الفعلي تحتاج شواهد أخرى مستقلة.
تطبيق القاعدة
تقيّم النواة بيانات مُدخلة صراحة؛ لا يوجد فرض تلقائي شامل لكل مخططات الحزم.
ربط المخرجات
يربط البيان والإيصالات الأدلة المتضمنة وسياق القرار.
العبور إلى الطرف الآخر
يتسلم المراجع ملفات مستقلة لا بيانات دخول أو قاعدة بيانات المنتج.
تحقق مستقل
يفحص المحقق السلامة والارتباطات المعلنة، ولا يصادق على الحدث الواقعي.
سجل الادعاءات المرجعيسجل الادعاءات المرجعي
تتبّع مثالًا موجودًا في المستودع
افحص الحزمة خطوة بخطوة، دون اختلاق إيصال.
اختر حزمة موجودة فعلًا في Kernel، ثم محطة من ست محطات وافتح ملفها الأصلي. المحقق النهائي تجربة عامة مستقلة، وليس إيصالًا صادرًا عن الحزمة المختارة.
اختر حزمة منشورة
حالة CVE: درجة 9.8 متوقعة DENY، ولا يجري فحص حقيقي الآن.
اختر محطة
01 / 06
مدخلات الاختبار
اقرأ المدخلات المحددة في حالة اختبار. ليست قياسًا حيًا.
النتيجة المتوقعة ≠ التنفيذ الفعلي ≠ التحقق المستقل ≠ تفويض الإفراج.