{
 "example_3_policies": {
  "cleanroom_verify": {
   "max_ms": 2.96,
   "n": 50,
   "p50_ms": 1.61,
   "p95_ms": 2.21
  },
  "compile_no_equivalence": {
   "max_ms": 3.45,
   "n": 50,
   "p50_ms": 1.83,
   "p95_ms": 2.3
  },
  "compile_with_equivalence": {
   "max_ms": 1988.24,
   "n": 20,
   "p50_ms": 1304.41,
   "p95_ms": 1928.43
  },
  "verify_package_memo_cold_ms": 1365.84,
  "verify_package_memo_warm": {
   "n": 200,
   "p50_ms": 1.092,
   "p95_ms": 1.742
  },
  "verify_package_recompiles": {
   "max_ms": 2488.86,
   "n": 20,
   "p50_ms": 1227.5,
   "p95_ms": 2369.32
  }
 },
 "host": {
  "cpu_count": 4,
  "load_avg_1m": 13.74,
  "load_avg_1m_at_memo_run": 34.42,
  "machine": "x86_64",
  "python": "3.14.4"
 },
 "memory_read_64_policies": {
  "cleanroom_verify": {
   "max_ms": 32.65,
   "n": 10,
   "p50_ms": 26.82,
   "p95_ms": 30.99
  },
  "compile_with_equivalence": {
   "max_ms": 29.32,
   "n": 5,
   "p50_ms": 27.02,
   "p95_ms": 28.98
  }
 },
 "note": "verify_package originally recompiled every time (p50 1.2 s, dominated by the exec equivalence corpus); now memoized by source digest. Host was heavily loaded by other sessions (load avg in host fields).",
 "package_bytes": {
  "64_policies": 97983,
  "example": 6278
 },
 "scope": "single host, single process, in-memory; no network, no cluster"
}