{
  "status": "PURE_EXECUTION_VERIFICATION_GREEN_ACTUAL_CANDIDATE_PARTIAL_MATCH",
  "assertions": 17238,
  "mutation_rejections": [
    "changed SQL",
    "changed runtime input",
    "changed PDO type",
    "missing event",
    "budget expanded",
    "wrong native HEX",
    "unknown metadata",
    "bytes overflow",
    "hide actual mismatch",
    "signed-zero stage sign hidden"
  ],
  "raw_sha256": "7560ebc93bc675dd45fd2b8f293c14f18d1c5e661225aa6668ce9a7bbaea136b",
  "old_and_review_seals_unchanged": [
    {
      "seal": "execution-seal.json",
      "files": 51
    },
    {
      "seal": "research-manifest.json",
      "files": 14
    },
    {
      "seal": "seal.json",
      "files": 17
    },
    {
      "seal": "review-seal.json",
      "files": 19
    }
  ],
  "no_derived_floating_JSON_numbers": true
}