{
  "native_execution": false,
  "synthetic_only": true,
  "source_manifest_sha256": "c15b3704d59a3441f2ce203f1b866b62d83a49f553b50afbaa9c6fcc06105876",
  "original_counterexample_digest": "sha256:09bef6f94ad1caf77b9cb39139c59a337b954608da4e205831962cce23050568",
  "repaired_request_digest": "sha256:dcaff2c7d48e04a78ca49f2b0e7c19da3d01868bf432a9ac56170511ae125465",
  "actual_go_request_digest": "sha256:dcaff2c7d48e04a78ca49f2b0e7c19da3d01868bf432a9ac56170511ae125465",
  "repaired_approval_binding_digest": "sha256:dcaff2c7d48e04a78ca49f2b0e7c19da3d01868bf432a9ac56170511ae125465",
  "actual_go_approval_binding_digest": "sha256:dcaff2c7d48e04a78ca49f2b0e7c19da3d01868bf432a9ac56170511ae125465",
  "digests_match": true,
  "independent_focused_passed": 149,
  "independent_additional_passed": 21,
  "additional_binary64_samples": 384,
  "full_suite_green_claimed": false,
  "numeric_profile": "finite binary64 floats; Python integer magnitude <= 2^53-1; all larger integers/nonfinite refused",
  "go_algorithm_changed": false,
  "policy_constant_flipped": false
}