تحقق من الادعاءات المعمارية بأدلة مركزة

edges = [("booking_policy", "reservation_port"), ("mail_adapter", "mail_sdk")]
forbidden = [(a, b) for a, b in edges if a == "booking_policy" and b.endswith("_sdk")]
print(f"forbidden_edges={len(forbidden)}")
assert not forbidden

forbidden_edges=0

لا توجد علاقات ممنوعة في الرسم المعطى وينجح التوكيد. لا يمسح البرنامج مستودعا ولا يدعي التزام تطبيق حقيقي.

Scenario: crash after booking commit, before relay publication
Expected: confirmed reservation plus pending outbox intention
Scenario: relay publishes the same event twice
Expected: consumer applies the repeat-sensitive effect at most once under its declared protocol
Scenario: persistent consumer rejection
Expected: bounded retries plus owned unresolved state

يتوقف توقع المستهلك على تصميم منع التكرار. لا يُنفذ وسيط أو اختبار انهيار هنا؛ وتحتاج الادعاءات دليل التنفيذ المختار.