{
  "supplied_sources": [
    {
      "name": "p04-01-shift-end-repro-r03.gd",
      "sha256": "97e20c3f68b85bbb85fd37e85e97dec277cca5ebc791107120b0606d1138cc0a",
      "bytes": 9518,
      "historical_only": true
    },
    {
      "name": "p04-01-shift-end-repro-native-r03.py",
      "sha256": "995a9b159533f40f79a4ef639c1338b689e8e98720eed638f8eae169d8a03e11",
      "bytes": 6268,
      "historical_only": true
    },
    {
      "name": "p04-01-midnight-boundary-r01.gd",
      "sha256": "4f587cc90a3bbd310b53c6216e54cda1deacfa87fa4312411b41288e534de527",
      "bytes": 11677,
      "historical_only": true
    },
    {
      "name": "p04-01-midnight-boundary-native-r01.py",
      "sha256": "3da084530941658ee396b05b9343f0342bf2a981962ef3361ed0f82475dd73dd",
      "bytes": 6317,
      "historical_only": true
    },
    {
      "name": "p04-01-power-formal-recovery-r04.gd",
      "sha256": "887d3097fa4178675caf253c428d56cc842b506b8c32d6f7925505f17c32e2ff",
      "bytes": 10062,
      "historical_only": true
    },
    {
      "name": "p04-01-power-formal-recovery-native-r04.py",
      "sha256": "d115a1ec5f985cfa4d7bd751eace0f2f5e93e1f4809434a0e2685c0fe0b8b23e",
      "bytes": 8425,
      "historical_only": true
    },
    {
      "name": "p04-01-formal-boundary-reload-r01.gd",
      "sha256": "56e193a2c1d44c62c83374442b61c63935a69fdc1665ffa09bb549b0dfd8d14b",
      "bytes": 7624,
      "historical_only": true
    },
    {
      "name": "p04-01-formal-boundary-reload-native-r03.py",
      "sha256": "fcd22729c9d045eb9656fae5db6c2116a27ab54fdb24f91c8125925b02a9d47a",
      "bytes": 8677,
      "historical_only": true
    },
    {
      "name": "p04-01-destruction-completion-boundary-r02.gd",
      "sha256": "a9d58e7d5fcdf4793075552ae5be1ba6f5c2d45423b245b3d4617530260df37b",
      "bytes": 12257,
      "historical_only": true
    },
    {
      "name": "p04-01-exit-boundary-r01.gd",
      "sha256": "6d7f32d801e4d8fb241a5e5695d6e31a8e7c47ad8021228ded460efcb1967254",
      "bytes": 12726,
      "historical_only": true
    }
  ],
  "evidence_references": 39,
  "raw_reuse_confirmed": 0,
  "engine_runs": 0,
  "runner_operations": 0,
  "formal_acceptance": false
}