تصميم افتراضات آمنة وثوابت قابلة للإنفاذ

def export_decision(assignment_state):
    if assignment_state == "assigned":
        return {"allow": True, "reason": "policy-satisfied"}
    if assignment_state == "not-assigned":
        return {"allow": False, "reason": "policy-denial"}
    return {"allow": False, "reason": "policy-unavailable"}

assert export_decision("assigned")["allow"] is True
assert export_decision("not-assigned")["reason"] == "policy-denial"
assert export_decision("unknown")["reason"] == "policy-unavailable"
print("three policy states distinguished")

three policy states distinguished

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

def cancel(state):
    if state["status"] == "cancelled":
        return dict(state), 0
    return {**state, "status": "cancelled"}, 1

first, notices = cancel({"id":"registration-1", "status":"active"})
second, repeated_notices = cancel(first)
assert first == second
assert (notices, repeated_notices) == (1, 0)
print("cancellation invariant checked sequentially")

cancellation invariant checked sequentially

يعيد البرنامج الكامل عدد آثار بدلا من إرسال إشعار. يفحص السياسة المتسلسلة فقط ولا يثبت إزالة التكرار بين العمليات أو التسليم المعاملي أو صحة كل حالات التسجيل.