{
 "environment": {
  "caveat": "shared host with other workloads running; single run; no isolation from noisy neighbours",
  "cpus": 6,
  "loadavg_at_end": [
   9.6640625,
   9.73095703125,
   10.29345703125
  ],
  "platform": "Linux-7.0.0-38-generic-x86_64-with-glibc2.43",
  "python": "3.14.4",
  "samples": 300,
  "storage": "local disk, SQLite WAL synchronous=FULL, fsync per ledger record",
  "z3": "5.1.0"
 },
 "results": {
  "canonicalize_and_hash_action": {
   "max_ms": 0.502,
   "mean_ms": 0.0233,
   "n": 300,
   "p50_ms": 0.0207,
   "p95_ms": 0.0229,
   "p99_ms": 0.051
  },
  "challenge_nonce": {
   "max_ms": 0.0088,
   "mean_ms": 0.0005,
   "n": 300,
   "p50_ms": 0.0004,
   "p95_ms": 0.0006,
   "p99_ms": 0.0037
  },
  "ed25519_verify_approval": {
   "max_ms": 2.9041,
   "mean_ms": 0.321,
   "n": 300,
   "p50_ms": 0.2857,
   "p95_ms": 0.3771,
   "p99_ms": 1.6206
  },
  "end_to_end_flow": {
   "max_ms": 60.3236,
   "mean_ms": 26.5071,
   "n": 100,
   "p50_ms": 22.0297,
   "p95_ms": 44.6148,
   "p99_ms": 57.181
  },
  "ledger_append_fsync": {
   "max_ms": 3.0365,
   "mean_ms": 0.6493,
   "n": 300,
   "p50_ms": 0.6038,
   "p95_ms": 0.8105,
   "p99_ms": 1.7157
  },
  "ledger_verify_full": {
   "ok": true,
   "records": 5087,
   "seconds": 2.2077
  },
  "permit_consume_contended_8x200": {
   "attempts": 1600,
   "completed": 200,
   "max_ms": 542.0612,
   "mean_ms": 12.1342,
   "n": 1600,
   "p50_ms": 7.5015,
   "p95_ms": 36.9777,
   "p99_ms": 94.7888,
   "rejected": 1400,
   "throughput_attempts_per_s": 639.7
  },
  "propose": {
   "max_ms": 10.4813,
   "mean_ms": 4.0114,
   "n": 100,
   "note": "includes one cancel() per sample, so the pending-request limit is never hit",
   "p50_ms": 3.6138,
   "p95_ms": 6.0841,
   "p99_ms": 10.2544
  },
  "python_policy_decide": {
   "max_ms": 0.1698,
   "mean_ms": 0.0057,
   "n": 300,
   "p50_ms": 0.0049,
   "p95_ms": 0.0052,
   "p99_ms": 0.0106
  },
  "z3_decide_plus_crosscheck": {
   "max_ms": 276.5576,
   "mean_ms": 12.5319,
   "n": 300,
   "p50_ms": 8.1642,
   "p95_ms": 27.3866,
   "p99_ms": 65.2565
  },
  "z3_prove_all_15_plus_sensitivity": {
   "all_as_expected": true,
   "seconds": 0.29
  }
 },
 "schema": "ihvrk.benchmark/1"
}