{
  "conditions": {
    "cpu": "x86_64",
    "cpu_count": 2,
    "ram_note": "not separately measured; single small process",
    "os": "Linux-7.0.0-30-generic-x86_64-with-glibc2.43",
    "python": "3.14.4",
    "concurrency": 1,
    "graph_size": {
      "decision_graph": 502
    },
    "warm_state": "warm (objects pre-built once, timed in a loop)",
    "methodology": "single process, in-process library calls, each case timed in a loop of 2000",
    "unit": "microseconds",
    "samples_per_case": 2000
  },
  "results": {
    "decision_construction": {
      "p50_us": 12.907,
      "p95_us": 16.848,
      "p99_us": 32.251,
      "max_us": 1358.259,
      "mean_us": 15.624,
      "samples": 2000
    },
    "policy_compilation": {
      "p50_us": 0.906,
      "p95_us": 1.042,
      "p99_us": 1.42,
      "max_us": 111.867,
      "mean_us": 1.051,
      "samples": 2000
    },
    "policy_evaluation": {
      "p50_us": 7.792,
      "p95_us": 10.04,
      "p99_us": 19.123,
      "max_us": 191.051,
      "mean_us": 8.466,
      "samples": 2000
    },
    "authority_intersection": {
      "p50_us": 2.159,
      "p95_us": 2.529,
      "p99_us": 4.457,
      "max_us": 2610.337,
      "mean_us": 3.965,
      "samples": 2000
    },
    "decision_provenance": {
      "p50_us": 721.601,
      "p95_us": 2117.334,
      "p99_us": 5651.069,
      "max_us": 37476.577,
      "mean_us": 977.4,
      "samples": 2000
    },
    "decision_replay": {
      "p50_us": 58.232,
      "p95_us": 97.175,
      "p99_us": 260.121,
      "max_us": 1254.735,
      "mean_us": 68.415,
      "samples": 2000
    },
    "decision_verification": {
      "p50_us": 174.096,
      "p95_us": 287.044,
      "p99_us": 929.358,
      "max_us": 7779.461,
      "mean_us": 215.252,
      "samples": 2000
    },
    "decision_drift": {
      "p50_us": 0.949,
      "p95_us": 1.892,
      "p99_us": 2.066,
      "max_us": 17.758,
      "mean_us": 1.104,
      "samples": 2000
    },
    "counterfactual": {
      "p50_us": 1.642,
      "p95_us": 3.229,
      "p99_us": 3.699,
      "max_us": 232.123,
      "mean_us": 2.177,
      "samples": 2000
    },
    "large_decision_graph": {
      "p50_us": 715.753,
      "p95_us": 1907.607,
      "p99_us": 5563.086,
      "max_us": 26316.03,
      "mean_us": 949.475,
      "samples": 2000
    }
  },
  "note": "single host, single operator, warm, in-process; not a production benchmark; no extrapolation"
}