{
  "harness": "sj-harness 0.1.0",
  "job": "job:d8673abb9eddc0599b5a80c29452775e",
  "kind": "adversarial_review",
  "bundle": "sha256:cbea2b2bba9d220e41b8ab57653742ebeb01695af30c2047dd2965302c43b57e",
  "claims": [
    {
      "local_id": "C1",
      "claim_id": "claim:b742b2dc233071ddfb40a65dbab4f48345ccb07fda9b3ea19cb2c5cba121252f",
      "verdict": "minor_issues",
      "significance": "minor",
      "reason": "Sound under idealized unbounded-exponent RN; model≠IEEE for all p≥3; prose-only proof; novelty thin vs known cusp-escape and FP midpoint facts."
    },
    {
      "local_id": "C2",
      "claim_id": "claim:3c1479a64cae9e0bf7c35e34f96fd0f277d0519444753c102a1e4082dcbac2c4",
      "verdict": "minor_issues",
      "significance": "minor",
      "reason": "Docker re-run matched R1 bit- identically; residual issues are correlated simulator/certifier authorship and fused≠hardware FMA, not a numeric mismatch."
    }
  ]
}