التحقق من تغييرات الأمن بأدلة مميزة

allowed = {"read-public-schedules", "write-derived-summaries"}
cases = [("read-public-schedules", True), ("write-derived-summaries", True), ("read-attendee-contacts", False), ("manage-host", False)]
for operation, expected in cases:
    assert (operation in allowed) is expected
assert len(cases) == 4
print("legitimate and excess-authority cases discriminate the policy")

legitimate and excess-authority cases discriminate the policy

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

intended = {"public-input-allowed", "scoped-output-allowed", "mandatory-policy-denial"}
recorded = {"public-input-allowed", "scoped-output-allowed"}
missing = sorted(intended - recorded)
assert missing == ["mandatory-policy-denial"]
assert not intended <= recorded
print("a green subset leaves the required denial check pending")

a green subset leaves the required denial check pending

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