code/protect_thin_claims.py

"""Fresh CPU protection cells for thin pages already scored good.

The claim-5 audit is separate.  These cells only add new executed regimes to
claims 1--4 and 6; they do not change their registered verdicts.
"""
import json
import sys
import warnings
from pathlib import Path

warnings.filterwarnings("ignore", category=RuntimeWarning)

sys.path.insert(0, str(Path(__file__).resolve().parents[1]))
import run_all
import run_rest


def main():
    run_all.OUT.clear()
    run_all.claim1(reps=20, n=400, p=50, rho=0.6)
    run_all.claim2(reps=20, n=400, p=40, rho=0.6, q=0.2)
    run_all.claim3(ns=(300, 600, 1200, 2400), p=20, reps=10, rho=0.6, lam=0.5)
    fresh = {"claim1": run_all.OUT["claim1"],
             "claim2": run_all.OUT["claim2"],
             "claim3": run_all.OUT["claim3"]}

    run_rest.OUT.clear()
    run_rest.claim4b(ns=(300, 600, 1200, 2400), p=20, reps=10, rho=0.6)
    run_rest.claim6(reps=20)
    fresh["claim4"] = run_rest.OUT["claim4b"]
    fresh["claim6"] = run_rest.OUT["claim6"]

    out = Path("outputs/thin_claim_protection.json")
    out.write_text(json.dumps(fresh, indent=2) + "\n")
    print("saved", out)


if __name__ == "__main__":
    main()