{
  "seed": 42521,
  "threads": 2,
  "coverage": 15,
  "results": {
    "R1": {
      "compressed_equal": false,
      "uncompressed_order_equal": false,
      "sorted_records_equal": true,
      "sorted_sha256": [
        "27df2592964531c8c18acfd3f602a07980877ed963a50255b61e5a5aa43ab12d",
        "27df2592964531c8c18acfd3f602a07980877ed963a50255b61e5a5aa43ab12d"
      ]
    },
    "R2": {
      "compressed_equal": false,
      "uncompressed_order_equal": false,
      "sorted_records_equal": true,
      "sorted_sha256": [
        "30c0d6d9d9ee4a9f936501401f48e8d8b809dbc966b23d46d35971492e9e36c4",
        "30c0d6d9d9ee4a9f936501401f48e8d8b809dbc966b23d46d35971492e9e36c4"
      ]
    }
  },
  "gzip": "Python gzip.open embeds timestamp and filename; compressed bytes not deterministic",
  "scope": "200kb toy only; fixed binary/input/profile/seed/thread count",
  "threads8_results": {
    "R1": {
      "uncompressed_order_equal": false,
      "sorted_records_equal": true,
      "sorted_sha256": [
        "75a9595fe2c12f86b2de44190defb26abf7b55c43fdc02b9a8712bdf67e354cb",
        "75a9595fe2c12f86b2de44190defb26abf7b55c43fdc02b9a8712bdf67e354cb"
      ]
    },
    "R2": {
      "uncompressed_order_equal": false,
      "sorted_records_equal": true,
      "sorted_sha256": [
        "e33d985a1b38ddbb9b14e9ac5bbd0df7d84c9e4c5824d7f8c6d40298c4a529c2",
        "e33d985a1b38ddbb9b14e9ac5bbd0df7d84c9e4c5824d7f8c6d40298c4a529c2"
      ]
    }
  }
}