أدلة قابلة للفحص خارج نظام المنتج
يمكن فحص سلامة حزمة الأدلة المنقولة وارتباطاتها المعرّفة دون جلسة في تطبيق المنتج الأصلي.
ما لا يثبته ذلك
يشترط وجود الملفات فعلًا في الحزمة المستلمة؛ ويتعلق الادعاء بفحوص محددة.
PAYGOD V2 / بنية الأدلةالإصدار السابق ↗
أدلة قرار قابلة للنقل
PayGod
الدليل ينتقل.
ومسؤولية القرار تبقى واضحة.
القرار ليس إثبات صحته. ننقل الأدلة وسياق القرار المتاحين فعلاً ليتمكن طرف مستقل من فحص الحزمة خارج نظام المنتج. صحة المصدر والتفويض والتنفيذ الفعلي تحتاج شواهد أخرى مستقلة.
نواة قرار حتميةحزمة أدلة متنقلةفحوص مستقلة
جرّب مختبر الأدلة: سياسة CVE والتحقق من العبث 01 / 06المصدرما تم قياسه أو التصريح بهالمدخلات المعلنة ليست موثوقة تلقائيًا.افتح الصفحة ↗02 / 06الدليلملفات والتزامات محتوىسلامة الملف لا تثبت حقيقة المصدر.افتح الصفحة ↗03 / 06السياسةقواعد صريحة ومؤرخةحزم قابلة للتنفيذ مع اختبارات موثقة.افتح الصفحة ↗04 / 06القرارسلطة قرار واحدة للنواةلا يحق للمحول اختراع قرار نيابة عن النواة.افتح الصفحة ↗05 / 06الإيصالربط نتيجة القرار بالأدلةيحمل الإيصال السياق المعلن للقرار.افتح الصفحة ↗06 / 06التحققبيئة استقبال مستقلةفحص سلامة الحزمة دون إعادة تنفيذ السياسة.افتح الصفحة ↗
حرّك الشرائح بالأسهم، واضغط على أي شريحة للانتقال إلى الصفحة أو ملف المستودع الحقيقي.
تتبّع مثالًا موجودًا في المستودع
افحص الحزمة خطوة بخطوة، دون اختلاق إيصال.
اختر حزمة موجودة فعلًا في Kernel، ثم محطة من ست محطات وافتح ملفها الأصلي. المحقق النهائي تجربة عامة مستقلة، وليس إيصالًا صادرًا عن الحزمة المختارة.
اختر حزمة منشورة
حالة CVE: درجة 9.8 متوقعة DENY، ولا يجري فحص حقيقي الآن.
اختر محطة
01 / 06
مدخلات الاختبار
اقرأ المدخلات المحددة في حالة اختبار. ليست قياسًا حيًا.
النتيجة المتوقعة ≠ التنفيذ الفعلي ≠ التحقق المستقل ≠ تفويض الإفراج.
عدسة الدليل / افحص الادعاء
اقرأ الادعاء، ثم افحص دليله.
لكل عبارة مصدر وشاهد محدود وأمور لا يمكن استنتاجها منه. هذه واجهة استكشاف للمصادر، وليست اختبار سلامة حيًا.
بدّل بين صياغة الادعاء وقيود المصادر الأصلية.
عقد المحقق القابل للفحص
يوثق المحقق المستقل فحص الملفات المرتبطة والإيصالات والسجل والتوقيع الاختياري تحت إعداد ثقة محدد.
ما لا يثبته ذلك
لا يثبت حقيقة المصدر الخارجية أو الوقت الموثوق المستقل أو إعادة التنفيذ أو الإفراج المالي.
صاحب قرار مرجعي واحد
ترسل المحولات المسجلة طلباتها إلى النواة؛ ولا تنشئ قرارًا أو إيصالًا أو هوية حزمة محلية مستقلة.
ما لا يثبته ذلك
توجد شواهد CI محددة للمحولات المسجلة، وليس لكل نظام خارجي.
شاهد موثق لحدود السلطة في المستودع
يوضح مستند الحدود بوابة CI للمحولات المسجلة ومنع اختراع قرار أو إيصال أو هوية حزمة خارج النواة.
ما لا يثبته ذلك
لا يشمل محولات خارج المستودع تلقائيًا ولا يثبت تفويض البنك.
قواعد واختبارات يمكن قراءتها
تصرّح حزمة CVE بقواعدها ومدخلات اختبارية؛ ومنها مثال ثغرة حرجة يتوقع منها القرار DENY.
ما لا يثبته ذلك
وجود حالة اختبار لا يثبت فحص ماسح حي أو تكامل نشر أو سلطة إفراج مستقلة.
ملف الحزمة ومدخلات الاختبار الفعلية
تحدد حزمة الثغرات الحرجة عتبة CVSS صحيحة العدد؛ وتتضمن حالاتها مثال 98 من 100 مع توقع DENY.
ما لا يثبته ذلك
نتيجة متوقعة في YAML ليست فحصًا حيًا مشهودًا ولا إيصالًا إنتاجيًا.
BOUNDARY PRINCIPLES
حدود قابلة للفحص، لا وعود واسعة.
الدليل أولًا
ننقل الملفات والتزاماتها، لا مجرد صور من الشاشة.
مسار قرار واحد
تبقى سلطة القرار في النواة المرجعية.
تحقق مستقل
يمكن للمستلم فحص سلامة الأدلة دون جلسة داخل التطبيق.
حدود صريحة
الأصالة والزمن والصحة والسلطة ادعاءات مختلفة.
IMPLEMENTED FIXTURES / NOT DEPLOYED INTEGRATIONS
أمثلة فعلية لحزم النواة
حزم واختبارات بمستودع المصدر، وليست تكاملات إنتاجية مثبتة.
DEVELOPERS / EIK
تكامل مرجعي اصطناعي؛ دون ماسح حي أو تفويض نشر.
ابنِ Pack خاصًا بك — دليل EIK للمطورين والوكلاء ↗