70 lines
2.1 KiB
JSON
70 lines
2.1 KiB
JSON
{
|
|
"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
|
|
}
|