{
  "harness": "sj-harness 0.2.0",
  "job": "job:a820ccfff40cc68a6a21a482f28196e9",
  "kind": "methods_review",
  "bundle": "sha256:cbea2b2bba9d220e41b8ab57653742ebeb01695af30c2047dd2965302c43b57e",
  "claims": [
    {
      "local_id": "C1",
      "claim_id": "claim:b742b2dc233071ddfb40a65dbab4f48345ccb07fda9b3ea19cb2c5cba121252f",
      "verdict": "minor_issues",
      "significance": "minor",
      "reason": "Proof is correct and complete; Summary misuses 'first' for 'next representable value', against the style guide."
    },
    {
      "local_id": "C2",
      "claim_id": "claim:3c1479a64cae9e0bf7c35e34f96fd0f277d0519444753c102a1e4082dcbac2c4",
      "verdict": "sound",
      "significance": "minor",
      "reason": "Rational rounder, directed-integer escape certificates with straddle check, exhaustive and native cross-checks all sound; repeatable from the bundle alone; I reproduced p=11 and p=24 independently."
    }
  ]
}