تحقق من حزمة أدلة فيرمانتيا.

الفحوص السبعة

1. الحزمة وكل دفعة فيها بصيغة تقرؤها أداة التحقق.
2. كل سجل يطابق بصمته، ضمن تسلسل مترابط دون انقطاع.
3. كل سجل موجود في دفعة واحدة بالضبط من السلسلة، وكل سجل تذكره دفعة موجود في الحزمة.
4. كل دفعة في السلسلة يُعاد حسابها وترتبط بالدفعة التي قبلها، دون فجوات.
5. كل دفعة مختومة زمنيا لدى جهة تثق بها أداة التحقق: كل رمز ختم زمني صالح تشفيريا، وأي إيصالات من سجلات عامة صحيحة.
6. توقيع كل دفعة صحيح مقابل مفتاح في سجل المفاتيح المختوم داخل تلك الدفعة، وضمن فترة صلاحية ذلك المفتاح.
7. كل موافقة بشرية موقّعة بالمفتاح الخاص بصاحب الموافقة، لا بمفتاح مقدّم الطلب، متى ذكر السجل مقدّم الطلب.

النتيجة VERIFIED، أو FAILED مع السبب الدقيق والسجل المعني بالضبط. الجهات التي تثق بها أداة التحقق مدمجة فيها، ولا تؤخذ أبدا من الحزمة، فلا يستطيع منتج الحزمة أن يختار ما تثق به؛ ويمكنك إضافة جهاتك الخاصة.