السلامة
اتساق الملفات والالتزامات والربط
PAYGOD V2 / بنية الأدلةالإصدار السابق ↗
CLAIMS / BOUNDARIES
ماذا يثبت اجتياز التحقق تحديدًا؟
افحص حدود كل ادعاء قبل التوسع في المدفوعات والوكلاء والعمليات الصناعية.
لا تثبت أن القياس صحيح.
الأصالة
فحص توقيع ضمن إعداد ثقة صريح
المنشأ
يتطلب نسبة للمصدر مؤيدة بشاهد مستقل
صحة القرار
تتطلب اختبارات المدخلات والقواعد
الزمن الموثوق
يحتاج مصدر وقت خارجيًا موثوقًا
سلطة التنفيذ
تحتاج بوابة إفراج وشاهد تنفيذ فعلي
عدسة الدليل / افحص الادعاء
اقرأ الادعاء، ثم افحص دليله.
لكل عبارة مصدر وشاهد محدود وأمور لا يمكن استنتاجها منه. هذه واجهة استكشاف للمصادر، وليست اختبار سلامة حيًا.
بدّل بين صياغة الادعاء وقيود المصادر الأصلية.
أدلة قابلة للفحص خارج نظام المنتج
يمكن فحص سلامة حزمة الأدلة المنقولة وارتباطاتها المعرّفة دون جلسة في تطبيق المنتج الأصلي.
ما لا يثبته ذلك
يشترط وجود الملفات فعلًا في الحزمة المستلمة؛ ويتعلق الادعاء بفحوص محددة.
عقد المحقق القابل للفحص
يوثق المحقق المستقل فحص الملفات المرتبطة والإيصالات والسجل والتوقيع الاختياري تحت إعداد ثقة محدد.
ما لا يثبته ذلك
لا يثبت حقيقة المصدر الخارجية أو الوقت الموثوق المستقل أو إعادة التنفيذ أو الإفراج المالي.
صاحب قرار مرجعي واحد
ترسل المحولات المسجلة طلباتها إلى النواة؛ ولا تنشئ قرارًا أو إيصالًا أو هوية حزمة محلية مستقلة.
ما لا يثبته ذلك
توجد شواهد CI محددة للمحولات المسجلة، وليس لكل نظام خارجي.
شاهد موثق لحدود السلطة في المستودع
يوضح مستند الحدود بوابة CI للمحولات المسجلة ومنع اختراع قرار أو إيصال أو هوية حزمة خارج النواة.
ما لا يثبته ذلك
لا يشمل محولات خارج المستودع تلقائيًا ولا يثبت تفويض البنك.
قواعد واختبارات يمكن قراءتها
تصرّح حزمة CVE بقواعدها ومدخلات اختبارية؛ ومنها مثال ثغرة حرجة يتوقع منها القرار DENY.
ما لا يثبته ذلك
وجود حالة اختبار لا يثبت فحص ماسح حي أو تكامل نشر أو سلطة إفراج مستقلة.
ملف الحزمة ومدخلات الاختبار الفعلية
تحدد حزمة الثغرات الحرجة عتبة CVSS صحيحة العدد؛ وتتضمن حالاتها مثال 98 من 100 مع توقع DENY.
ما لا يثبته ذلك
نتيجة متوقعة في YAML ليست فحصًا حيًا مشهودًا ولا إيصالًا إنتاجيًا.