| { |
| "kind": "paired_deterministic_local_replay", |
| "files": [ |
| { |
| "file": "outputs/claim1.json", |
| "replay_a_sha256": "cda7675b2b59deb26050668435bbd6e4d7f5a7fe169e88a851b4a57debd378b6", |
| "replay_b_sha256": "cda7675b2b59deb26050668435bbd6e4d7f5a7fe169e88a851b4a57debd378b6", |
| "byte_identical": true |
| }, |
| { |
| "file": "outputs/claim2.json", |
| "replay_a_sha256": "644f05f4af1131b092a8858a3f4ef9931bab04772b9db1097d5079e5c5fb7fa7", |
| "replay_b_sha256": "644f05f4af1131b092a8858a3f4ef9931bab04772b9db1097d5079e5c5fb7fa7", |
| "byte_identical": true |
| }, |
| { |
| "file": "outputs/claim3.json", |
| "replay_a_sha256": "c2948406cd663b77c0502c23d6da9b71107b5388540f128f99c64e55d5be0d3b", |
| "replay_b_sha256": "c2948406cd663b77c0502c23d6da9b71107b5388540f128f99c64e55d5be0d3b", |
| "byte_identical": true |
| }, |
| { |
| "file": "outputs/claim4.json", |
| "replay_a_sha256": "48c3a0ea60f9e18747607f8ca0b8a40303b32cb6f562407b802dc30c19c0def0", |
| "replay_b_sha256": "48c3a0ea60f9e18747607f8ca0b8a40303b32cb6f562407b802dc30c19c0def0", |
| "byte_identical": true |
| }, |
| { |
| "file": "outputs/claim5.json", |
| "replay_a_sha256": "daa15965236e3c890688d7751916192e6502db072eff9a65869f209e05a7f6cf", |
| "replay_b_sha256": "daa15965236e3c890688d7751916192e6502db072eff9a65869f209e05a7f6cf", |
| "byte_identical": true |
| }, |
| { |
| "file": "outputs/claim6.json", |
| "replay_a_sha256": "ee900bdcd3c603327736e3533fa296c6337b75f2cdc6a50bbb78cf87c22bddc2", |
| "replay_b_sha256": "ee900bdcd3c603327736e3533fa296c6337b75f2cdc6a50bbb78cf87c22bddc2", |
| "byte_identical": true |
| }, |
| { |
| "file": "outputs/claim3_native.json", |
| "replay_a_sha256": "7ba1aee42a132c74b9875edb1a17b43a5f0d9a73cc78ce30cbd407f86ce77d50", |
| "replay_b_sha256": "7ba1aee42a132c74b9875edb1a17b43a5f0d9a73cc78ce30cbd407f86ce77d50", |
| "byte_identical": true |
| }, |
| { |
| "file": "outputs/claim4_native.json", |
| "replay_a_sha256": "4f7266b28d80bc0cc7102d5d6cb6d8eafd278d557487299af97fba71515ab33b", |
| "replay_b_sha256": "4f7266b28d80bc0cc7102d5d6cb6d8eafd278d557487299af97fba71515ab33b", |
| "byte_identical": true |
| } |
| ], |
| "byte_identical": true, |
| "python": "3.13.3", |
| "commands": [ |
| "/Library/Frameworks/Python.framework/Versions/3.13/bin/python3 exp1_ssm_bound.py", |
| "/Library/Frameworks/Python.framework/Versions/3.13/bin/python3 exp2_window_bound.py", |
| "/Library/Frameworks/Python.framework/Versions/3.13/bin/python3 exp3_selcopy_construction.py", |
| "/Library/Frameworks/Python.framework/Versions/3.13/bin/python3 exp4_ar_construction.py", |
| "/Library/Frameworks/Python.framework/Versions/3.13/bin/python3 run_native_constructions.py", |
| "/Library/Frameworks/Python.framework/Versions/3.13/bin/python3 audit_source_claims.py", |
| "/Library/Frameworks/Python.framework/Versions/3.13/bin/python3 build_logbook.py" |
| ] |
| } |
|
|
