{
  "scope": "Post-hoc retained-record consistency check of repeated wide control; no new native calls or old-value substitution",
  "cases": 120,
  "classification_equal": 120,
  "native_status_equal": 120,
  "state_hash_pairs": 113,
  "state_hash_equal": 0,
  "rows": [
    {
      "case_id": "librispeech_1089-134686-0008",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1089-134686-0011",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1089-134686-0032",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1188-133604-0003",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1188-133604-0031",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1188-133604-0037",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_121-121726-0012",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_121-123852-0000",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_121-127105-0035",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1221-135766-0005",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1221-135767-0006",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1221-135767-0019",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1284-1180-0020",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1284-1180-0027",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1284-1180-0028",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1320-122617-0019",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1320-122617-0023",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1320-122617-0039",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1580-141083-0010",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1580-141084-0016",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1580-141084-0047",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1995-1836-0000",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1995-1836-0014",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_1995-1837-0023",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2094-142345-0032",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2094-142345-0039",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2094-142345-0040",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2300-131720-0022",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": null
    },
    {
      "case_id": "librispeech_2300-131720-0028",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2300-131720-0041",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_237-126133-0003",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_237-134500-0029",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_237-134500-0031",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_260-123286-0008",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_260-123288-0003",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_260-123440-0020",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": null
    },
    {
      "case_id": "librispeech_2830-3980-0000",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2830-3980-0038",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2830-3980-0042",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2961-960-0010",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2961-960-0019",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_2961-961-0011",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_3570-5694-0001",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_3570-5694-0004",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_3570-5696-0010",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_3575-170457-0034",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": null
    },
    {
      "case_id": "librispeech_3575-170457-0041",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_3575-170457-0054",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": null
    },
    {
      "case_id": "librispeech_3729-6852-0000",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_3729-6852-0007",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_3729-6852-0017",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4077-13751-0001",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4077-13754-0002",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4077-13754-0012",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4446-2271-0003",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4446-2271-0022",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4446-2273-0010",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4507-16021-0016",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": null
    },
    {
      "case_id": "librispeech_4507-16021-0032",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4507-16021-0045",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4970-29093-0004",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4970-29093-0005",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4970-29095-0008",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4992-23283-0016",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4992-41797-0000",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_4992-41806-0000",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5105-28240-0011",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5105-28241-0004",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5105-28241-0019",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5142-33396-0019",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5142-33396-0030",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5142-33396-0065",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5639-40744-0013",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5639-40744-0023",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5639-40744-0030",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5683-32865-0017",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5683-32879-0009",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_5683-32879-0019",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_61-70968-0042",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_61-70968-0043",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_61-70968-0054",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_672-122797-0003",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_672-122797-0044",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_672-122797-0056",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_6829-68769-0014",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_6829-68769-0038",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_6829-68769-0041",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_6930-75918-0013",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_6930-76324-0024",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_6930-81414-0026",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7021-79740-0002",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7021-79740-0011",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": null
    },
    {
      "case_id": "librispeech_7021-85628-0025",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7127-75946-0002",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7127-75946-0029",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7127-75947-0011",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7176-88083-0002",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7176-88083-0004",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7176-88083-0026",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7729-102255-0028",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7729-102255-0038",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_7729-102255-0042",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8224-274381-0010",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8224-274381-0013",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8224-274384-0010",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8230-279154-0018",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8230-279154-0032",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8230-279154-0033",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8455-210777-0010",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8455-210777-0049",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8455-210777-0060",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8463-294828-0003",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8463-294828-0014",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8463-294828-0022",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8555-284447-0007",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8555-284449-0020",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_8555-292519-0001",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": null
    },
    {
      "case_id": "librispeech_908-157963-0018",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_908-31957-0002",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    },
    {
      "case_id": "librispeech_908-31957-0016",
      "classification_equal": true,
      "native_status_equal": true,
      "whole_state_hash_equal": false
    }
  ]
}