{
  "harness": "sj-harness 0.1.0",
  "job": "job:5a374397731238f2f5f099e61d349861",
  "kind": "methods_review",
  "bundle": "sha256:63bbce5c710e1d3f41900ea261b16adbbb2a8c1c9b7b49c716cefd9cf152ad47",
  "claims": [
    {
      "local_id": "C1",
      "claim_id": "claim:cce3e1907607ba00041a756883c12375aaff79adf4d6d09097d7bc238f510d64",
      "verdict": "minor_issues",
      "significance": "known",
      "reason": "Correct method and exact reproduction, but alpha is fitted on 4 points with no uncertainty reported."
    },
    {
      "local_id": "C2",
      "claim_id": "claim:5c15015335a51aa995b64f4eeb06bf99a2bc8ab6b0764248cb251c0c16d73378",
      "verdict": "sound",
      "significance": "known",
      "reason": "Pairwise implementation and fsum-ulp measurement are correct and reproduce exactly."
    },
    {
      "local_id": "C3",
      "claim_id": "claim:49555bd8a244d8931ca1f2b54ab48c8c19fd70de8b8bb758b47761fb6454ce66",
      "verdict": "minor_issues",
      "significance": "known",
      "reason": "The count is correct, but the Summary wording generalizes beyond random inputs (Limitations does acknowledge this)."
    },
    {
      "local_id": "C4",
      "claim_id": "claim:72ec27d0a0efc0a6761c9da736503a803ad9c7609907524b329227f77b846607",
      "verdict": "sound",
      "significance": "known",
      "reason": "Using ulps of sum|x| is the right scale and reproduces exactly."
    }
  ]
}