مراجعة جاهزية الإصدار والتعافي

critical = {"organizer-scope", "field-projection", "artifact-binding"}
results = {"organizer-scope":"verified", "field-projection":"verified", "artifact-binding":"not-executed"}
missing = sorted(name for name in critical if results.get(name) != "verified")
assert missing == ["artifact-binding"]
assert bool(missing) is True
print("pending artifact-binding evidence preserved")

pending artifact-binding evidence preserved

يفحص البرنامج الكامل الحالات المعلنة فقط ولا ينفذ الفحوص المسماة أو إجراء إصدار. يسمي المخرج الحد الناقص كي يجمع المسؤول دليله أو يتخذ قرار سياسة صريحا.

def recovery_candidate(facts):
    return facts["dataCompatible"] is True and facts["securityDefectReintroduced"] is False and facts["procedureReviewed"] is True

case = {"dataCompatible":True, "securityDefectReintroduced":False, "procedureReviewed":True}
assert recovery_candidate(case) is True
assert recovery_candidate({**case, "dataCompatible":False}) is False
assert recovery_candidate({**case, "securityDefectReintroduced":True}) is False
print("fictional recovery constraints checked")

fictional recovery constraints checked

يفحص البرنامج الكامل ثلاث مجموعات حقائق معلنة. لا يستعيد نسخة أو يشغل ترحيلا أو يقيم ضعفا حقيقيا أو يثبت هدف زمن تعاف. تحتاج تلك الادعاءات دليلا معتمدا خاصا بالبيئة.