import json
from pathlib import Path
from evaluator import evaluate
r=Path(__file__).resolve().parent
cases=json.loads((r/'fixtures/cases.json').read_text(encoding='utf-8'))['cases']
for c in cases:
    o=evaluate(c); print(c['case_id'],o['isolation_state'],o['reason_code'],o['tenant_context_bound'],o['cross_tenant_test_ok'])
print('Executed',len(cases),'fixtures. Explain the failed plane or decisive evidence before submission.')