تصميم واجهات هوية وصلاحية موثوقة

workshop = {"id":"w1", "tenant":"community-a", "organizers":{"o1"}}
def allowed(subject, item, action):
    return subject["active"] is True and subject["tenant"] == item["tenant"] and subject["id"] in item["organizers"] and action == "export-contacts"

owner = {"id":"o1", "tenant":"community-a", "active":True}
assert allowed(owner, workshop, "export-contacts") is True
assert allowed({**owner, "tenant":"community-b"}, workshop, "export-contacts") is False
assert allowed({**owner, "active":False}, workshop, "export-contacts") is False
assert allowed(owner, workshop, "cancel-registration") is False
print("four action-policy cases checked")

four action-policy cases checked

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

stored = {"id":"w1", "title":"Paper Gardens", "contactMarker":"lab-contact-only", "moderationNote":"lab-internal-only"}
public = {name: stored[name] for name in ("id", "title")}
assert set(public) == {"id", "title"}
assert "contactMarker" not in public
assert "moderationNote" not in public
print("public workshop fields checked")

public workshop fields checked

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