Spaces:
Running
Running
File size: 1,183 Bytes
b330840 | 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 31 32 33 34 35 36 37 38 39 40 | """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()
|