النتائج لا تكون ذات قيمة إلا بناءً على ما يدعمها. يحدد قسم الأمان نوع الدليل الذي يقف وراء كل نتيجة، ولا يمكن للنتيجة أن تحظر pull request أو تُخطِر أحداً أو تُعتبر مؤكدة إلا إذا كان لديها سجل تحقق موثوق به.
الأنواع الثلاثة
| أدلة | معاني | تم التحقق منها بواسطة |
|---|---|---|
| تطابق توصية | تطابق مسح كامل بين إصدار الحزمة المثبتة والنطاق المتأثر بتوصية منشورة. | المسح نفسه: جهاز المسح ونسخته، وإعدادات Coroid الخاصة به، والتوصية مع تاريخ آخر تغيير لها. |
| نتيجة ثابتة تم التحقق منها | يتطابق الكود مع نمط ضعيف. | قاعدة نجحت في عملية المعايرة، أو بالنسبة لمشكلة اكتشفها نموذج AI، فحص مستقل يعيد استنتاج المشكلة من الكود في ذلك الالتزام. هذا الفحص يتم بشكل منفصل، وليس هو الذي اكتشف المشكلة. |
| فشل تم إعادة إنتاجه | تم تنفيذ فشل أمني وملاحظته. | عملية إثبات تمت في بيئة معزولة، وأُعيد تشغيلها بشكل مستقل لتحقيق نفس النتيجة. مخطط: لا يقوم Coroid بتشغيل عمليات الإثبات بعد. |
ينتمي سجل التحقق إلى التزام واحد فقط. لا ينتقل إلى التزام لاحق؛ حيث يقوم المسح التالي بمراقبة الوضع مجدداً.
ما يمكن لكل نوع أن يفعله
- نتائج التبعيات تُطبَّق على تطابقات التوصيات.
- قواعد السرية والكود تُطبَّق فقط مع إصدار كاشف نجح في عملية المعايرة. انظر إلى الحمايات وتطبيق القواعد.
- ادعاءات الأمان في مراجعة Coroid ونتائج التدقيق لا تحظر أو تُخطِر إلا بعد تأكيدها كنتيجة ثابتة تم التحقق منها عبر فحص مستقل.
غير مؤكدة حتى الآن
النتائج التي لا تحتوي على مثل هذه الأدلة تُدرَج تحت غير مؤكدة حتى الآن. تظهر في قسم الأمان مع ما هو معروف، ولا تؤدي إلى أي تأثير آخر: لا تُفشل عملية فحص، ولا تُخطِر أحداً، ولا تُحتسب في نظرة عامة كنتائج مؤكدة. هنا تظل ادعاءات نموذج AI عندما لا يتمكن الفحص المستقل من تأكيدها، مثلاً لأن الكود الذي يحدد المشكلة موجود في ملف آخر.
تنبيه مستورد من GitHub ولم تؤكده مسوحات Coroid تظهر كـ مستورد من GitHub، غير مؤكد حتى الآن، ويتم احتسابه بشكل منفصل في نظرة عامة. لا يُخطِر أو يُحظر إلا بعد تأكيده بمسح خاص بـ Coroid. انظر إلى أذونات GitHub وفحص أمان Coroid.
أين يمكن مشاهدتها؟
تعرض صفحة النتيجة الأدلة الخاصة بها، ومصدر إنتاجها، وما قام بالتحقق منها. كما تحمل طلبات سحب الإصلاحات أدلتها أيضاً: بالنسبة للتبعيات، التوصيات التي تصلحها وقائمة الحزم قبل وبعد التغيير. انظر إلى طلبات سحب الإصلاحات.