القرار والأدلة
ما ينشره كل تشغيل، وماذا تعني نتيجته، وكيف تتحقق منه بنفسك.
النتائج الثلاث
ينتهي الفحص بإحدى النتائج الثلاث:
نجاحتم التحقق من الأدلة ونشرها، وكان القرار نظيفًا أو كانت نتائجه استشارية فقط.
فشلنتائج حاجبة في وضع الإنفاذ، أو مدخل مرفوض، أو فشل في التحقق من الأدلة. حاجبة افتراضيًا: مجموعة قواعد يتعذّر قراءتها، أو تغيير يتعذّر الحصول عليه، أو خطأ في واجهة GitHub لا يُعدّ نجاحًا أبدًا.
محايدوضع الظل مع نتائج حاجبة، أو فشل بنيوي قبل القرار أثناء تفعيل وضع الظل.
ما الذي يحتويه ملف الأدلة
ملف swazona-evidence.json ملف JSON واحد مُرقّم الإصدار حسب المخطط يُسجّل تشغيلًا واحدًا. ملخص الفحص وتعليق طلب الدمج مخرجان منفصلان يمكن قراءتهما، والملف نفسه هو القطعة المُسمّاة التي تُنزّلها للتحقق من تشغيل. من بين حقول ملف الأدلة نفسه في المستوى الأعلى:
- head_sha وbase_sha وresult_sha256 تربط السجل بالالتزام والتغيير المُراجَعين بالضبط.
- digests يحمل بصمات التغيير ومجموعة القواعد ومفتاح التخزين المؤقت والمحفزات المستخدمة.
- findings وrefuted وdiscarded وunknowns وnot_checked تُسجّل ما وجده الفحص وما لم يفحصه.
- cost وtrust وattestation تُسجّل إنفاق النموذج وإشارات المصدر ووضع التصديق وما إذا كان مطلوبًا — أمّا نتيجة التصديق نفسها فتُكتب في قطعة أثرية منفصلة باسم swazona-attestation.
التصديق
يُسجّل التصديق أن GitHub نفسها هي من بنت ملف الأدلة الذي تنظر إليه. يعمل في أحد ثلاثة أوضاع:
autoيُحاول عندما يكون المستودع عامًا ولدى سير العمل الإذن اللازم؛ ويُسجَّل ويُتخطى في غير ذلك.
trueمطلوب؛ يفشل التشغيل إذا فشل التصديق أو تعذّر.
falseيُتخطى التصديق. كما يتخطى auto المستودعات الخاصة افتراضيًا.
gh run download <run-id> -R <owner>/<repo> -n swazona-evidence-<invocation-id> -D swazona-evidence
cd swazona-evidencegh attestation verify swazona-evidence.json -R <owner>/<repo>مُعرّف الاستدعاء داخل أسماء الملفات أعلاه (swazona-evidence-<invocation-id>) يربط الفحص بأدلته، وبتصديقه إن وُجد. تشغيل بلا سجل تصديق ليس لديه ما يتحقق منه سوى الملف نفسه.
المستودعات الخاصة
يتخطى attest: auto المستودعات الخاصة والداخلية، لأن الفحص لا يستطيع رؤية نوع الخطة؛ وتسجل الأدلة أن التصديق لم يكن متاحًا. على GitHub Enterprise Cloud يمكنك ضبط attest: true لطلبه هناك أيضًا.
ما الذي لا يُفحص
نتائج مستوى النموذج استشارية ما لم تختر السماح لها بالحجب، وحين يبلغ إنفاق النموذج في تشغيل ما سقفه، تُسجَّل الملفات المتبقية على أنها لم تُراجَع بدلًا من تخطيها بصمت.