{
  "system": "EcoKure SuperMath",
  "benchmark": "SuperMath ProofBench X",
  "version": "0.1.0",
  "run_id": "pbx_9700357081d0a2c9",
  "bench_filter": "all",
  "seed": 20260621,
  "total_cases": 1116,
  "passed": 1089,
  "failed": 0,
  "refused": 17,
  "blocked": 10,
  "exactness_rate": 0.9082,
  "certificate_drift": 0,
  "model_overrides_accepted": 0,
  "unsafe_proof_claims": 0,
  "warm_lane_hits": 40,
  "average_cold_time_ms": 1.3456,
  "average_warm_time_ms": 0.2031,
  "average_speedup": 2.117,
  "max_speedup": 2.527,
  "math_trust_score": 100.0,
  "dtl_acceleration_score": 100.0,
  "proof_integrity_score": 100.0,
  "model_trap_resistance": 100.0,
  "public_summary": "SuperMath ProofBench X tests deterministic mathematical verification, reproducible certificates, safe refusal and DTL warm-lane acceleration. It is not a model-only reasoning benchmark.",
  "external_rank_claimed": false,
  "per_lane": {
    "exactcore": {
      "PASS": 550
    },
    "symbolicforge": {
      "PASS": 80
    },
    "calculusgate": {
      "PASS": 71
    },
    "matrixvault": {
      "PASS": 38,
      "REFUSED": 10
    },
    "geometrylane": {
      "PASS": 100
    },
    "adversarialparse": {
      "BLOCKED": 10
    },
    "proofrefusal": {
      "REFUSED": 7
    },
    "metamorphic": {
      "PASS": 120
    },
    "reprocert": {
      "PASS": 40
    },
    "warmlane": {
      "PASS": 40
    },
    "modeltrap": {
      "PASS": 30
    },
    "duel": {
      "PASS": 20
    }
  }
}