مراجعة حزمة أدلة واجهة ذات إصدار

required = {"old-request-accepted", "owner-from-context", "duplicate-no-effect"}
evidence = {"old-request-accepted":{"case":"omit-note","status":"local-pass"}, "owner-from-context":{"case":"trusted-owner","status":"local-pass"}, "duplicate-no-effect":{"case":"duplicate-state","status":"pending-integration"}}
assert required <= evidence.keys()
assert all(evidence[key]["case"] and evidence[key]["status"] for key in required)
assert evidence["duplicate-no-effect"]["status"] != "local-pass"
print("coverage inventory complete; integration remains pending")

coverage inventory complete; integration remains pending

يفحص البرنامج الكامل وجود عناصر القائمة ويحفظ انتظار التكامل. الحالات بيانات تدريب لا نتائج خدمة. يفصل المخرج اكتمال الجدول عن اكتمال التحقق صراحة.

critical = {"contract", "permission", "persistence"}
def readiness(states):
    missing = sorted(key for key in critical if states.get(key) != "verified")
    return {"ready": not missing, "needsEvidence": missing}

result = readiness({"contract":"verified", "permission":"verified", "persistence":"not-executed"})
assert result == {"ready": False, "needsEvidence": ["persistence"]}
print("readiness blocked by unverified persistence")

readiness blocked by unverified persistence

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