File size: 747 Bytes
f791e67
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#!/usr/bin/env python3
"""Fail-closed gate for the exact scientific Claim 4 contract."""
from __future__ import annotations

import json
from pathlib import Path


ROOT = Path(__file__).resolve().parents[1]
ROUTES = ROOT / "evidence/claim4/four_routes.json"


def main() -> None:
    evidence = json.loads(ROUTES.read_text())
    if evidence["final_verdict"] == "VERIFIED":
        print("CLAIM4_EXACT_GATE_VERIFIED")
        return
    if evidence["final_verdict"] == "FALSIFIED":
        print("CLAIM4_EXACT_GATE_FALSIFIED")
        return
    print(
        "CLAIM4_EXACT_GATE_BLOCKED missing target-specific ENAS/NASNet "
        "checkpoints and five-space row manifests"
    )
    raise SystemExit(1)


if __name__ == "__main__":
    main()