تصميم تحقق أمني يستطيع كشف الفشل

from collections import Counter
expected = ["registration-1", "registration-2"]
def accepted(observed):
    return Counter(observed) == Counter(expected)

assert accepted(["registration-2", "registration-1"]) is True
assert accepted(["registration-1", "registration-2", "registration-2"]) is False
assert accepted(["registration-1", "other-scope"]) is False
print("oracle rejects duplicate and cross-scope observations")

oracle rejects duplicate and cross-scope observations

يفحص البرنامج الكامل ثلاث ملاحظات بعقد خيالي غير مرتب ويحفظ التعدد. لا يثبت تطبيق النطاق في نقطة نهاية، ولا يناسب وعد ترتيب محدد.

intended = {"assigned-export", "different-organizer-denied", "duplicate-no-notice"}
executed = {"assigned-export", "duplicate-no-notice"}
missing = sorted(intended - executed)
assert missing == ["different-organizer-denied"]
assert not intended <= executed
print("missing denial case detected")

missing denial case detected

يكشف البرنامج الكامل حالة ناقصة معلنة ولا يشغل الحالات أو يفحص CI. الأسماء خيالية وتبقى النتيجة منتظرة حتى يوفر تنفيذ مصرح به دليلا.