Digital Drosophila Archive
3771 lines
180 KiB
JSON
3771 lines
180 KiB
JSON
[
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/REPORT.md",
|
|
"copy": "evidence/REPORT.md",
|
|
"sha256": "b868f1af329c95f5c264e42b05f53b13b6a86ef4a8a4ffb728cb8eee1e6f4223",
|
|
"bytes": 2195
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/audit/final-status.json",
|
|
"copy": "evidence/audit/final-status.json",
|
|
"sha256": "ea2305390f21d0aa35de76efae59819cb5548391b6cab57b9d72a3472d017013",
|
|
"bytes": 351
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/fanin_bursts/spec.json",
|
|
"copy": "evidence/cases/fanin_bursts/spec.json",
|
|
"sha256": "90850d6968a7832e415d0966b57e216a65f5ba8f63e488e497148b6525806d79",
|
|
"bytes": 561
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/highest_indegree/anatomical-edges.csv",
|
|
"copy": "evidence/cases/highest_indegree/anatomical-edges.csv",
|
|
"sha256": "aec331ee87f0da905d55b4dbb61a7e72fae734246ae6fbf462d7f6348dcdae1b",
|
|
"bytes": 7936
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/highest_indegree/identities.csv",
|
|
"copy": "evidence/cases/highest_indegree/identities.csv",
|
|
"sha256": "5a837548ac8d45d495765d012f4495f4f68b2c9b0eda3eabd759869fc793fe77",
|
|
"bytes": 3895
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/highest_indegree/spec.json",
|
|
"copy": "evidence/cases/highest_indegree/spec.json",
|
|
"sha256": "eab2c18f120fd3e9f067f489cee0a4c07477607facf3094083d3e3fa60bfd1ef",
|
|
"bytes": 956
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/mixed_high_indegree/anatomical-edges.csv",
|
|
"copy": "evidence/cases/mixed_high_indegree/anatomical-edges.csv",
|
|
"sha256": "4bb7f2b5344916035a87bffec9b26570ef21842010fcf78ff1a71230496c4757",
|
|
"bytes": 6625
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/mixed_high_indegree/identities.csv",
|
|
"copy": "evidence/cases/mixed_high_indegree/identities.csv",
|
|
"sha256": "ad8f92fab6e2c38ed2b369b7f03c5b75d3c26433ad43bde6e2fc76f8058dd009",
|
|
"bytes": 3634
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/mixed_high_indegree/spec.json",
|
|
"copy": "evidence/cases/mixed_high_indegree/spec.json",
|
|
"sha256": "11f07dd0a3e62b6ee66373022539a68daad766dce26fa759654f0201599f6703",
|
|
"bytes": 959
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/motif_feedforward/spec.json",
|
|
"copy": "evidence/cases/motif_feedforward/spec.json",
|
|
"sha256": "1bb9ef28864e46336581d23fc15eaf80a329ee4d1a439abd0fc18c52f87a2b77",
|
|
"bytes": 540
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/motif_five/spec.json",
|
|
"copy": "evidence/cases/motif_five/spec.json",
|
|
"sha256": "f78ba9423ed1dfb686cd79a0a003cda0bf9e7603d37e8d318118e08766ece7b3",
|
|
"bytes": 533
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/motif_no_input/spec.json",
|
|
"copy": "evidence/cases/motif_no_input/spec.json",
|
|
"sha256": "02adfcd0717aa2d98eb571107136eae7186166ce1c7d7eb87df23bedb452fbd9",
|
|
"bytes": 537
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/motif_pair/spec.json",
|
|
"copy": "evidence/cases/motif_pair/spec.json",
|
|
"sha256": "faee4cdcdc93293b4b5e15d852a6a97b76767ce6aa7c534b12c6f204264daa7a",
|
|
"bytes": 533
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/motif_trio/spec.json",
|
|
"copy": "evidence/cases/motif_trio/spec.json",
|
|
"sha256": "da4b6cea0b8a33ca15e552425b55ce699d74ddf81660b02eeb30d5edcc4494cd",
|
|
"bytes": 533
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/ordered_cancellation/spec.json",
|
|
"copy": "evidence/cases/ordered_cancellation/spec.json",
|
|
"sha256": "1866003021cc39ad50858fe0d9f56d74e8dd16bd574eef15c0625b604cd987b2",
|
|
"bytes": 569
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/release_selfloop/spec.json",
|
|
"copy": "evidence/cases/release_selfloop/spec.json",
|
|
"sha256": "f63a2d3a4e99220a42944461a3223c459e3a1e7c02d22dc5e30cd129dd9452d1",
|
|
"bytes": 538
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/signed_random/spec.json",
|
|
"copy": "evidence/cases/signed_random/spec.json",
|
|
"sha256": "7c6af1bf5fd8f68c84fe000ec6b4977d05f6db17f4b9338d8ad49376036cbf32",
|
|
"bytes": 571
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/cases/threshold_rounding/spec.json",
|
|
"copy": "evidence/cases/threshold_rounding/spec.json",
|
|
"sha256": "8a000b9052226e0d4db020cc1dbfc839ac2aa98f01cb9361de2209dbe8706495",
|
|
"bytes": 577
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float32-r0/comparison.json",
|
|
"sha256": "12310d970a3122d98925e90a6ee852f93b89ac7c65740bce766fbdab104ae95e",
|
|
"bytes": 1216
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float32-r0/metrics.json",
|
|
"sha256": "947e74fc7788cd190e804764757beb5f5ac56be1b2b55a4d415c171e33a71e36",
|
|
"bytes": 2153
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float32-r1/comparison.json",
|
|
"sha256": "e5b955928b916af14e464a65207e1a3ce06e74b5b7a92fd7969d0a3f9a7fd18a",
|
|
"bytes": 1216
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float32-r1/metrics.json",
|
|
"sha256": "452d8917e29a03cbd1d217c397dd9e8e085dc33c2ee27517cde6dd7d0c6694ed",
|
|
"bytes": 2155
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float32-r2/comparison.json",
|
|
"sha256": "045405c14e0929e4875ad8be6cd617db29f2367f53b1db03cb80604c081b0857",
|
|
"bytes": 1216
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float32-r2/metrics.json",
|
|
"sha256": "329b1be64ff13f3ef0fe4849ec9ef6bc5d4cf3cfe8bc731d82c8d12e07403f3f",
|
|
"bytes": 2153
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float64-r0/comparison.json",
|
|
"sha256": "eeca2cf7cee7c8a2bb672cc2f9cb8ffe2fee5d7cebef5a7ac2168ce0d0c7bf55",
|
|
"bytes": 1216
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float64-r0/metrics.json",
|
|
"sha256": "0427ff2e3ee46fd3a40a71bfb36af193fc4c30a17d209e288be4f4e21b8d13ef",
|
|
"bytes": 2121
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float64-r1/comparison.json",
|
|
"sha256": "21795525db57f8890dda1d50b7c9dd8988f951127488c2a6da544501c7ed43c4",
|
|
"bytes": 1216
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float64-r1/metrics.json",
|
|
"sha256": "45a9bcbe167e2ef3436060ffc2ea08b11670adc744a3e60db75ac0264de6db36",
|
|
"bytes": 2127
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float64-r2/comparison.json",
|
|
"sha256": "486c36e6e182d820201fd18a1b38b7eedbbd8aa4295a92b3145265dad8f0a170",
|
|
"bytes": 1216
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/fanin_bursts-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/fanin_bursts-float64-r2/metrics.json",
|
|
"sha256": "b28d29cc60d80ddbd76c0bd309141e2eb44fcf00a0dd877ca92a4968530e8254",
|
|
"bytes": 2126
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/highest_indegree-float32-r0/comparison.json",
|
|
"sha256": "1f2def177229390bcde1b9a2c94819da9d68d4336f8dfc73b1be545e44ba9278",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/highest_indegree-float32-r0/metrics.json",
|
|
"sha256": "afff8582869eb807dc43a62d1ec84fd9c6300822afaa839f138cefface1b51ae",
|
|
"bytes": 2144
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/highest_indegree-float32-r1/comparison.json",
|
|
"sha256": "246c89aa41573e512506057ff3f3a827cc0747453515e084e4aff4cd9013d221",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/highest_indegree-float32-r1/metrics.json",
|
|
"sha256": "d5e3527c34e46cc7f46327fdfde3e894e8f10c07b69c9970a327b19a4d096c31",
|
|
"bytes": 2146
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/highest_indegree-float32-r2/comparison.json",
|
|
"sha256": "8ab5759412dda7e8cdba5692ed62e667873e647155ac86ba31e5f539388fd43c",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/highest_indegree-float32-r2/metrics.json",
|
|
"sha256": "c106130ad03b70bca3f31d0074d19ed2f50fe760b57359fec00f682050ff759a",
|
|
"bytes": 2144
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/highest_indegree-float64-r0/comparison.json",
|
|
"sha256": "9bf9fb86fef1ebc866de0e8152f34067cb68e3434d3b232bf02c5207f57ff885",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/highest_indegree-float64-r0/metrics.json",
|
|
"sha256": "a8b920d40fa3366874b08048c6b29dbfa1d1526e462cd3a444c40809e7ba37f2",
|
|
"bytes": 2117
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/highest_indegree-float64-r1/comparison.json",
|
|
"sha256": "462d36b713564bd81ffe28a3707ce208ab1c413437e1fffc869c5c1054728e2f",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/highest_indegree-float64-r1/metrics.json",
|
|
"sha256": "e655f6d65f52678ecd4e5acce372a34c5ea8a52a222cb36496e85dcdb54f5e73",
|
|
"bytes": 2117
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/highest_indegree-float64-r2/comparison.json",
|
|
"sha256": "e3fec806eb2608554720b0bd9667f1aee75c0ad269a613e36104ea4c4d95f82e",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/highest_indegree-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/highest_indegree-float64-r2/metrics.json",
|
|
"sha256": "e1474af65ed69ce0707ca5c4f6fadf97e3606da14dad54664995646d57791012",
|
|
"bytes": 2117
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float32-r0/comparison.json",
|
|
"sha256": "044aac9e7e4d3090c12050da10a3d9d229bf4b0ae1df0cd0535fe942af809d39",
|
|
"bytes": 1215
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float32-r0/metrics.json",
|
|
"sha256": "f813da02775ee2a2afb9a746f296a73f37c9b3f075dafcca2bd3c0419eca633d",
|
|
"bytes": 2145
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float32-r1/comparison.json",
|
|
"sha256": "55f6b0bdb442a9acd960e192afac270ea94c2ca3e98025a6e3079062f7100f5a",
|
|
"bytes": 1215
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float32-r1/metrics.json",
|
|
"sha256": "42a0a24721e7b82b2f4917772e31ef7b44b9e18c2425acf5cac70dbc17e94a76",
|
|
"bytes": 2145
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float32-r2/comparison.json",
|
|
"sha256": "62059fef31d576e96845b35ee83b6c28fab57377b63818fda89dd8ee151c5ebc",
|
|
"bytes": 1215
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float32-r2/metrics.json",
|
|
"sha256": "132437c4c769a5b576b10c846355029af268c337ebfe19e1ae2b2a5ed37cc0c2",
|
|
"bytes": 2146
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float64-r0/comparison.json",
|
|
"sha256": "7a5187b10bdfa9e2af4db7d6597d8aa02faadf4901a233ced2ed0be2450f124d",
|
|
"bytes": 1215
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float64-r0/metrics.json",
|
|
"sha256": "bcc2f3f5918c514523b959f691cde82c3c9f3000c45d17191cc1d77c85edc005",
|
|
"bytes": 2118
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float64-r1/comparison.json",
|
|
"sha256": "73cc0c59195c1a2c3d4bc16da431aff42a885286679ca0cd809bc182c8e8d792",
|
|
"bytes": 1215
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float64-r1/metrics.json",
|
|
"sha256": "f98a32f498450333889a7e486c4d5277b2746f2d206f61ec0b146c6124a0cdd9",
|
|
"bytes": 2118
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float64-r2/comparison.json",
|
|
"sha256": "d5d6ad513373ccc7d48a795f51c7705427c1a92124f8cd75e173575aed40d5dc",
|
|
"bytes": 1215
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/mixed_high_indegree-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/mixed_high_indegree-float64-r2/metrics.json",
|
|
"sha256": "7f893e0fe56dcaa98d3748056c103a7eee7d10139ef8f970dc0f108d356bfeb2",
|
|
"bytes": 2117
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float32-r0/comparison.json",
|
|
"sha256": "f722721c2ed148c0afa53ef49f5914a828b01b877972eb6b56134f7839fb1731",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float32-r0/metrics.json",
|
|
"sha256": "31f5a7526d2d67c8d984c1527a274663c2c365da746132b210bccbf65ea94623",
|
|
"bytes": 2133
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float32-r1/comparison.json",
|
|
"sha256": "450453289e7fb360414c8938478e1780bc935d8d408cc5c4b8bb280b35ec343f",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float32-r1/metrics.json",
|
|
"sha256": "189d25ed00771d2c8d38e72ad63563324f5840c244fda0e7331b380a2fb072bf",
|
|
"bytes": 2132
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float32-r2/comparison.json",
|
|
"sha256": "65471b4a94fde3168e213673053c36031c466c2ff072ffb2152486319fa01acd",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float32-r2/metrics.json",
|
|
"sha256": "bd413aff41252ec4ee5ac7d4da2bc6afbd3a6841e42bccdbe7fc94db0ddaa12a",
|
|
"bytes": 2131
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float64-r0/comparison.json",
|
|
"sha256": "81cab1ca080eeabb69b85affba0a9f14b0106d6eeee58ab7db612d989000a1f0",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float64-r0/metrics.json",
|
|
"sha256": "3e8cde3092183a88c0b060af8db47b0e0f50231e7e36f7aa10c78e5317b7fd36",
|
|
"bytes": 2103
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float64-r1/comparison.json",
|
|
"sha256": "3c0e6b05be5d9bb32fd4f38a2a32524dc8ce3193fe24a9b55fbffc63d37c1573",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float64-r1/metrics.json",
|
|
"sha256": "ff0e89efa83ecc0f81ad09841d2d44de327ce6ede08615b563a7d81d9dc35795",
|
|
"bytes": 2104
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float64-r2/comparison.json",
|
|
"sha256": "171023bfd3fe1fb454affa1f84064422b2b318aa84a28126ce6c2cfc8f99edbb",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_feedforward-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_feedforward-float64-r2/metrics.json",
|
|
"sha256": "a04dbd55eba875b163d0e63f8600bf7d12e54c4fd71df93c620982179da70e4c",
|
|
"bytes": 2105
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_five-float32-r0/comparison.json",
|
|
"sha256": "8e7bf7c087c98d80068f16f8b18cba08e82be69c7c0fe7bd2175fbb1a3e1e127",
|
|
"bytes": 1202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_five-float32-r0/metrics.json",
|
|
"sha256": "1cde729f2b204cb2a0dd2aee5144d68df18d35b2964126cfedef6f276d7e735b",
|
|
"bytes": 2139
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_five-float32-r1/comparison.json",
|
|
"sha256": "2ce1a054f63f1b70e9b517d4804bbce40846a2758a6f225edf8f2d92323097ed",
|
|
"bytes": 1202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_five-float32-r1/metrics.json",
|
|
"sha256": "c77ef2df1ebf63edc5bf05f2ff5dd0a25973b68a445e515cca47f67dc586e0ab",
|
|
"bytes": 2139
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_five-float32-r2/comparison.json",
|
|
"sha256": "a9e790b00eef82de3d39dbc219bd5b893cc751e199dc4d6792488b4098cca0ca",
|
|
"bytes": 1202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_five-float32-r2/metrics.json",
|
|
"sha256": "be2a565f4b3100f4250815a71274723e491495abc561a6c4e477ac1e49946ed9",
|
|
"bytes": 2138
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_five-float64-r0/comparison.json",
|
|
"sha256": "676f5af243f754f5e747f8d66e6308fe2246c119b250432897a6276351a576e8",
|
|
"bytes": 1202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_five-float64-r0/metrics.json",
|
|
"sha256": "b524fea4b29c5575610cbfbf282f7cd0f5e3400ce7b2feae54990eb42236db91",
|
|
"bytes": 2110
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_five-float64-r1/comparison.json",
|
|
"sha256": "5c5fdee60d3131fd6454ec0af496d3f34630314c8b0dc6ba2d7cf6c24b20979d",
|
|
"bytes": 1202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_five-float64-r1/metrics.json",
|
|
"sha256": "91117647bac42fc9d3f234a3380641863fd6b4a51eab24221f2bb8fba852162a",
|
|
"bytes": 2109
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_five-float64-r2/comparison.json",
|
|
"sha256": "a412787c057a232b2d1274cadfa010b5029836a0a6599c0539186c9671f08691",
|
|
"bytes": 1202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_five-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_five-float64-r2/metrics.json",
|
|
"sha256": "6901ec19e9c344c62d9248d707391e5e4fdeec68ab59669049b8aadde35e81be",
|
|
"bytes": 2111
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_no_input-float32-r0/comparison.json",
|
|
"sha256": "069cc644ac74aba235f5de81f8d425b6730fd02111e5fd916dc4a20e5d50f547",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_no_input-float32-r0/metrics.json",
|
|
"sha256": "e76b9edb18ad6665b7eb2e737ac910fdb4e841b8fa5fb474c1263715898c0f24",
|
|
"bytes": 2134
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_no_input-float32-r1/comparison.json",
|
|
"sha256": "0cc735ae6f634ea4427e04f6591b808f057ca44ab33170f5d8e1e7a988fc9e8b",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_no_input-float32-r1/metrics.json",
|
|
"sha256": "4d01c6d9616275aa788a6a485f2278b07e46c114d0c1d7bbf1399f71fc8fe59f",
|
|
"bytes": 2134
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_no_input-float32-r2/comparison.json",
|
|
"sha256": "6696d8a5168715a985464d7893d0261813bacb3eff85b4a3edadd9b781fe5d84",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_no_input-float32-r2/metrics.json",
|
|
"sha256": "4cc9848437df51ac61fc9c9734070f0c09ee87c6fadc48009dd6d8d9fc0610e9",
|
|
"bytes": 2133
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_no_input-float64-r0/comparison.json",
|
|
"sha256": "b9f97cc5134b6506c8ca1bbfcc0e1b5542c7c26051053446128fd29e67eca866",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_no_input-float64-r0/metrics.json",
|
|
"sha256": "e064174f4fc484ea2b6efa3246dd85cb2c8b3113cf9bd199ac25387ecda23e16",
|
|
"bytes": 2105
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_no_input-float64-r1/comparison.json",
|
|
"sha256": "60f034535db6d3d897805cb82c33a702e4d87eeededae8e8af95d7cbcd600ee5",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_no_input-float64-r1/metrics.json",
|
|
"sha256": "7c16b3e776a8ebc161114a76899097c7fe41c94618bc6b21aa1c06e5dcdc6ec8",
|
|
"bytes": 2107
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_no_input-float64-r2/comparison.json",
|
|
"sha256": "aea6fd5b29d1d2b301fad4dcd45baca49d2e68a1b8e236f44d41847565eee984",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_no_input-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_no_input-float64-r2/metrics.json",
|
|
"sha256": "993b0d94f5f35149c25c304f19d453707e21335901fd60affdc2f8e54950f8a5",
|
|
"bytes": 2104
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_pair-float32-r0/comparison.json",
|
|
"sha256": "e19afca3976bf288cff894efc55e7bd8c12f671544031c4c4ea85c0e29c7a095",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_pair-float32-r0/metrics.json",
|
|
"sha256": "f4059a737e317bd31a4fc5444a088c5d16fb8e6ab3dff1a50c97f36229c9737b",
|
|
"bytes": 2135
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_pair-float32-r1/comparison.json",
|
|
"sha256": "79dd0b8acd03a41c9218986b6389bf4361dd61efc219a128310532318532dac5",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_pair-float32-r1/metrics.json",
|
|
"sha256": "58383925af6d7de1043600e27a5be51da709ce00caccaf824883a115715fb671",
|
|
"bytes": 2135
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_pair-float32-r2/comparison.json",
|
|
"sha256": "5bd76b86940c87422c7a45c123943503fb796fc32746e6da9a167378286359fa",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_pair-float32-r2/metrics.json",
|
|
"sha256": "68c7c486c42eea81dcd1f6af2236c422154edfaa21761efec4ccd3a12cc3cd30",
|
|
"bytes": 2136
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_pair-float64-r0/comparison.json",
|
|
"sha256": "9d8c54acd5ae46ebef18e28d0284f9dc5dccfc5548690bb40b463348f7e434da",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_pair-float64-r0/metrics.json",
|
|
"sha256": "4dda6a7c1efb337de1d4045001c34c8c753be1a9f6a2e8b7dd554d2bcaea26c1",
|
|
"bytes": 2106
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_pair-float64-r1/comparison.json",
|
|
"sha256": "7447ab06a506aa0ca2a69c64fedd79973c8249ec120c67e0e882f7f8773b77d8",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_pair-float64-r1/metrics.json",
|
|
"sha256": "3605b358e707431fb11428ff58ded32c0a2a1b580a8a3b30960a361c3092e1eb",
|
|
"bytes": 2105
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_pair-float64-r2/comparison.json",
|
|
"sha256": "ed5ed460d0f71c371f053e0bef2e1434db9733461715075b45135ab51821b896",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_pair-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_pair-float64-r2/metrics.json",
|
|
"sha256": "1bd7c6284304465170973724b3892c3c5fdf7710a4b7bdc1022cd95148385abd",
|
|
"bytes": 2105
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_trio-float32-r0/comparison.json",
|
|
"sha256": "06070c6028ab04a0ff1062021a30aa9916c3d57be951373cd9c5cf85b435e83a",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_trio-float32-r0/metrics.json",
|
|
"sha256": "fdd59ec33881edc9d8e8b7523cd01167da730aa4b4a095cabaf520ba488c623d",
|
|
"bytes": 2135
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_trio-float32-r1/comparison.json",
|
|
"sha256": "2ab4f0357307ec6137eb80bf0e3194d67227fb7bc256b68076effe8e25868db7",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_trio-float32-r1/metrics.json",
|
|
"sha256": "6fb4a69f6963b2541254f0051e9df99a3f32472b9d90cfc775fbe857c50a16f6",
|
|
"bytes": 2136
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_trio-float32-r2/comparison.json",
|
|
"sha256": "c433bb2c1f27208ab7a92577fe5421a0dce9422ad8009251e006d147e94068db",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_trio-float32-r2/metrics.json",
|
|
"sha256": "3e8ccdd69164d8efb32d6c57dca3f9654eed7d7a2251331b1bd3623ef820964b",
|
|
"bytes": 2135
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/motif_trio-float64-r0/comparison.json",
|
|
"sha256": "67dfe0b913635f72363d85a720a93ed95c90f5b554319676ef5d86e366d6d454",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/motif_trio-float64-r0/metrics.json",
|
|
"sha256": "9c7a3e46de47a43265fbc6a0fc3b7fff2dcf638edd1584c78a4af57f9d58ce31",
|
|
"bytes": 2108
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/motif_trio-float64-r1/comparison.json",
|
|
"sha256": "4925f8501521d159702d6b701d815499c9369bb148003afd7a5d3987f913f218",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/motif_trio-float64-r1/metrics.json",
|
|
"sha256": "31fbb95cceb1da812335ca8b9dd7717f65a930359d83bc7a863bd9f25d660220",
|
|
"bytes": 2108
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/motif_trio-float64-r2/comparison.json",
|
|
"sha256": "75734d45ab6bc68268ab2bfa8d1c978e74289f1733f12c3e093e25b0e62c2412",
|
|
"bytes": 1200
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/motif_trio-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/motif_trio-float64-r2/metrics.json",
|
|
"sha256": "6b4701ce099dcdb7847a106437b6a227cc1c7f48e7b943bfd1112b388381e4d8",
|
|
"bytes": 2109
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float32-r0/comparison.json",
|
|
"sha256": "97e70b9338f2bd351f477de44423eaf23dfc096f3763267d6b36ac82f879fd1f",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float32-r0/metrics.json",
|
|
"sha256": "e1c51742ddab9b387935ce91750317ba78ce46384420263fcf7398551c062f6e",
|
|
"bytes": 2141
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float32-r1/comparison.json",
|
|
"sha256": "e08c95274102540fe4201f6d708388853fe87f39a0c1cc54035cccc1f819fc79",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float32-r1/metrics.json",
|
|
"sha256": "d4e1ea55b64bd29dd691c3b61ec51c53d2407190cc3260a6288d86ecc6c5ee0a",
|
|
"bytes": 2141
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float32-r2/comparison.json",
|
|
"sha256": "863173342d260b41f003ea3cf231460390ce62266b4c87bad99940811355f946",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float32-r2/metrics.json",
|
|
"sha256": "3f7e854fe53979703c4641a4be9b22ad91d063885aac8f18bc4883bcfa4aaa6e",
|
|
"bytes": 2141
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float64-r0/comparison.json",
|
|
"sha256": "ce34e9cb3dd179e507d258f6c1dada410890dc609510d2baa1cba2034d7819b7",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float64-r0/metrics.json",
|
|
"sha256": "c783ddcb8f98072d3aeb3d5008cefa52a7df093c1e21c01168ec0d94ad494848",
|
|
"bytes": 2111
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float64-r1/comparison.json",
|
|
"sha256": "f4198ff2aa762a34bf811def8a89f521deea5d348fb6d83c689f6e2e9f7503b6",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float64-r1/metrics.json",
|
|
"sha256": "fe5ab94117a5e9db792fc4b1cd2dcb832d70d3f3f3ca99ed78dae7b05fd4b783",
|
|
"bytes": 2112
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float64-r2/comparison.json",
|
|
"sha256": "62cfbc2eb26389d75968fa6d5e65dfc59293484a947c94a49656e03192953142",
|
|
"bytes": 1212
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/ordered_cancellation-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/ordered_cancellation-float64-r2/metrics.json",
|
|
"sha256": "170294aa0b4eb36d5be2e9bf1e2c8fac999a751263a56e351c07066acfa2e800",
|
|
"bytes": 2112
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/release_selfloop-float32-r0/comparison.json",
|
|
"sha256": "9096f1e0b7bd2f0636f982c7e9d336b335630de1475988507f42570ee5ec8fbc",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/release_selfloop-float32-r0/metrics.json",
|
|
"sha256": "943c2eb1ebb59d266ed472d5ed765f594a7d726d0b0abd36fda0120617d02246",
|
|
"bytes": 2135
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/release_selfloop-float32-r1/comparison.json",
|
|
"sha256": "93d69eba07971c0bdd620b2bf036ffae73c6e2cdba0297ac9c6fa62c58a3f70c",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/release_selfloop-float32-r1/metrics.json",
|
|
"sha256": "a7873bb08820fc2bc1700259cefea2e144d150dee2d63bf9612a066d0a87c7c5",
|
|
"bytes": 2134
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/release_selfloop-float32-r2/comparison.json",
|
|
"sha256": "4dc94196990f8acaa09c656a216d72d2c5da008262da634221466faaed129914",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/release_selfloop-float32-r2/metrics.json",
|
|
"sha256": "762363b9400578440025f92904222bcb5f8d43f9449618c55755d89bf2e60bf2",
|
|
"bytes": 2134
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/release_selfloop-float64-r0/comparison.json",
|
|
"sha256": "0b1d71d2572f4aee6f0860cb7c942007e86385d4b89d86c8bed4781b9a18f693",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/release_selfloop-float64-r0/metrics.json",
|
|
"sha256": "b81cc105366bd6cb500d4a30447250eef46d6c4f4ecfba56476a12a2604cee4a",
|
|
"bytes": 2105
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/release_selfloop-float64-r1/comparison.json",
|
|
"sha256": "31c9f680ff76a56c66aa1c9e931dc5cd20a98466982ba198af898d9a5303b41e",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/release_selfloop-float64-r1/metrics.json",
|
|
"sha256": "3799bdeaef2d1243500774ca38b33e188b9a684e887fb742583e1ea3df19a0b1",
|
|
"bytes": 2106
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/release_selfloop-float64-r2/comparison.json",
|
|
"sha256": "5b8436161d014ac5e8182363dabe071d2fad9c3941773fa850b45dfe6ccafcb6",
|
|
"bytes": 1203
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/release_selfloop-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/release_selfloop-float64-r2/metrics.json",
|
|
"sha256": "786ff8d1e2203fe101596ad802bf3f3aa2fbb75a93c973647d224864ff3d68e9",
|
|
"bytes": 2106
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/signed_random-float32-r0/comparison.json",
|
|
"sha256": "a1ace6d4c542a2bf257f09424dd564caf5f13f876833baf0d213bc301f564740",
|
|
"bytes": 1211
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/signed_random-float32-r0/metrics.json",
|
|
"sha256": "ac2c60aed61a50d169d0f30974c7d609cf05c39604ad10c36807129f05044296",
|
|
"bytes": 2147
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/signed_random-float32-r1/comparison.json",
|
|
"sha256": "293390081bb82b98456e07efb2be5ac2ea75ca61e583c47df3e2893df624eae5",
|
|
"bytes": 1211
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/signed_random-float32-r1/metrics.json",
|
|
"sha256": "42b06a42e3821a6b042b775bd9120a5cd5cd9ae49fc90f233e9f15972390bbc7",
|
|
"bytes": 2145
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/signed_random-float32-r2/comparison.json",
|
|
"sha256": "ab194323647dc23c0f79b310146c4ed63f01634147b41c286337ba4c995747b1",
|
|
"bytes": 1211
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/signed_random-float32-r2/metrics.json",
|
|
"sha256": "4f177d07d8f8510414aba5d75e6de7d9b61a856bae5f2c84ae1484f3275d7b06",
|
|
"bytes": 2148
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/signed_random-float64-r0/comparison.json",
|
|
"sha256": "dcbc03b01b1bab61256546c12bacdabb1067d0cf862198333b56158331d50285",
|
|
"bytes": 1211
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/signed_random-float64-r0/metrics.json",
|
|
"sha256": "2067336a1093ecb37540c92b4d52ba5988a3631b72cc0a41fafbc5f3347ac4be",
|
|
"bytes": 2121
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/signed_random-float64-r1/comparison.json",
|
|
"sha256": "57b6a2e47242160623c0fd85467e0c49987f8c94bb46484047effbebc676c872",
|
|
"bytes": 1211
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/signed_random-float64-r1/metrics.json",
|
|
"sha256": "b22191dccd7f29e70fc5af69a4ef1cbee82054fa47e15155b13871d52a60687f",
|
|
"bytes": 2121
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/signed_random-float64-r2/comparison.json",
|
|
"sha256": "e3a1de9283170ef928d9f9178f8620f5ae251819c8d28b15e567d54d506210c0",
|
|
"bytes": 1211
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/signed_random-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/signed_random-float64-r2/metrics.json",
|
|
"sha256": "a0d5d7816d48e15f19c8343f0c2e7cf9205334c3255baa70c625546dbbcd7ecf",
|
|
"bytes": 2120
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float32-r0/comparison.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float32-r0/comparison.json",
|
|
"sha256": "8739225c90857ab6c2b9e8e486c224e12ec65466e10129f71ce288fab6266c7d",
|
|
"bytes": 1204
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float32-r0/metrics.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float32-r0/metrics.json",
|
|
"sha256": "ae27ea25d3c1e39716bc1ec6c81897efc528398ce45fa39e0e49bdaecac3ca2b",
|
|
"bytes": 2135
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float32-r1/comparison.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float32-r1/comparison.json",
|
|
"sha256": "a10bb1a007ef61c4cb33ff5e0f640ce9a396d7b32b3c80ca6de48bff4f0491ed",
|
|
"bytes": 1204
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float32-r1/metrics.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float32-r1/metrics.json",
|
|
"sha256": "58858c943191b48a6defe7dc9e5171997f06a4cb70b7244d511cf287ba12bf88",
|
|
"bytes": 2135
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float32-r2/comparison.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float32-r2/comparison.json",
|
|
"sha256": "96bdc33ff14f50247dd4a4224ce0bb3d734c80a437147c0baed69588ea3b48f2",
|
|
"bytes": 1204
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float32-r2/metrics.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float32-r2/metrics.json",
|
|
"sha256": "86a77aec3230eea856d5b81f12ad7737807ffbaa9e23e78553208dd3a4f2cb93",
|
|
"bytes": 2134
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float64-r0/comparison.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float64-r0/comparison.json",
|
|
"sha256": "61fede1ddcd6e65c014a6310189521df46f437e711ac7659cf7b1bda068edf41",
|
|
"bytes": 1204
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float64-r0/metrics.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float64-r0/metrics.json",
|
|
"sha256": "ebee8abadabeae92dca41ba2afe81d68d919bf3652320c02d241d3c75834ff4e",
|
|
"bytes": 2107
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float64-r1/comparison.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float64-r1/comparison.json",
|
|
"sha256": "04edfac5ddd74456202aa89df3d3062fd07abe42445b17a038921667715c6a6b",
|
|
"bytes": 1204
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float64-r1/metrics.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float64-r1/metrics.json",
|
|
"sha256": "89324a2e788074ea518da354f93396643ecf16ff16c1ce4fddffa86b4c3323af",
|
|
"bytes": 2106
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float64-r2/comparison.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float64-r2/comparison.json",
|
|
"sha256": "c7c9b6572f20a1478827ce792c139bc49461dc113bd3cacc6be9f508b8b14201",
|
|
"bytes": 1204
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu/threshold_rounding-float64-r2/metrics.json",
|
|
"copy": "evidence/gpu/threshold_rounding-float64-r2/metrics.json",
|
|
"sha256": "c129a9cc8dd60ac96152d5651edc7731851a7812ad48b89441139fdcb87e3aeb",
|
|
"bytes": 2103
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/gpu-reference/extension.json",
|
|
"copy": "evidence/gpu-reference/extension.json",
|
|
"sha256": "fa7fb04108f2688fed47132c0af29c283727a999161c11e219ed010c15d6147c",
|
|
"bytes": 442
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/case.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/case.json",
|
|
"sha256": "859d9f55df89add3344e082081644fd81520756118e9106ecec181d3ba0268f2",
|
|
"bytes": 1265
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/coefficients.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/coefficients.json",
|
|
"sha256": "934af1eecfdadd2a5cca6313b602b9bbba115e87793a68cc36f7352bc38fca65",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/environment.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/instrumented/coefficients.json",
|
|
"sha256": "934af1eecfdadd2a5cca6313b602b9bbba115e87793a68cc36f7352bc38fca65",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/instrumented/compiled-code.json",
|
|
"sha256": "dfbcf815d17465e4c83a54320687e77c3035c5064f6a81a11bffc5ce35ec0dd1",
|
|
"bytes": 14949
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/instrumented/completeness.csv",
|
|
"sha256": "d8163907696aec1bf853ecccbe301c50efb4abd5b1c76b9a3dfa34f0e9e36c20",
|
|
"bytes": 2125
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/instrumented/generated-code.json",
|
|
"sha256": "20705f7f0f81917eb9630b91808b5121c36345e87a7bc9fc026aaf59dcb6cf41",
|
|
"bytes": 14965
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/instrumented/input-audit.json",
|
|
"sha256": "33a8b070a595bbd95b4d1db7db92b73fa3f1b2e07a2065485f2114b9b73e4f56",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/instrumented/queue-audit.json",
|
|
"sha256": "65d8941a3f1ffaa814d17fb334abe65d9ceb851dd3f35e6861bad6aacfe764c8",
|
|
"bytes": 462
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/instrumented/schedule.json",
|
|
"sha256": "8d5492b7968694e913d3321b10d5779137045d4689fe50ec50b1ef7637d8fc04",
|
|
"bytes": 1984
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/summary.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/summary.json",
|
|
"sha256": "16fddc439b2ab0090f17f66231b5e2f293f5e9d1d29bcb608434bca256a81cb7",
|
|
"bytes": 586
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "2caa1990718d199f371dbf5e685543bc61df67e08a5ad9a2c8bb1e2834a153a4",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "82868f03604ec2a12efea07718960e3bfb1c8152950c3b6bc4fd8e1b1d46cf8d",
|
|
"bytes": 14785
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "d8163907696aec1bf853ecccbe301c50efb4abd5b1c76b9a3dfa34f0e9e36c20",
|
|
"bytes": 2125
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "d0a06d99f840cee691987410486bf9537202d3b57177bbd1a9ae8602232b89a4",
|
|
"bytes": 14801
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "aa47b175208838c2cc1f99a3d4b7317c4f5e3158901c11a86b957aa64a23ac5e",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "42679bfcc102a0ec20fafe7fdf9cc82b02a0b8809931a49502ac6efd669fc9cd",
|
|
"bytes": 1807
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/case.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/case.json",
|
|
"sha256": "c5403a077e0a8ab4836f49de38fec39080b73b4571ec55d2440995b5aae48218",
|
|
"bytes": 1265
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/coefficients.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/coefficients.json",
|
|
"sha256": "bde79d95ef0097b827d5faf4d5658eafc009d8e9fcef1fddd645c953823e3f64",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/environment.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/instrumented/coefficients.json",
|
|
"sha256": "bde79d95ef0097b827d5faf4d5658eafc009d8e9fcef1fddd645c953823e3f64",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/instrumented/compiled-code.json",
|
|
"sha256": "dfbcf815d17465e4c83a54320687e77c3035c5064f6a81a11bffc5ce35ec0dd1",
|
|
"bytes": 14949
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/instrumented/completeness.csv",
|
|
"sha256": "d8163907696aec1bf853ecccbe301c50efb4abd5b1c76b9a3dfa34f0e9e36c20",
|
|
"bytes": 2125
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/instrumented/generated-code.json",
|
|
"sha256": "c2767fee958084c4c7b6ebd99e8863ac01cdf8da2c315e77124480853ba4aa3e",
|
|
"bytes": 14965
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/instrumented/input-audit.json",
|
|
"sha256": "81ae40f8b9d83c115b2cbfcdbd1f11f0e00856dea3f0c7b8aab81f7079449cec",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/instrumented/queue-audit.json",
|
|
"sha256": "7aa923702ed6527afc381ed6c13c94faea41dbf81f75fd9b596265eb3c31588a",
|
|
"bytes": 462
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/instrumented/schedule.json",
|
|
"sha256": "8d5492b7968694e913d3321b10d5779137045d4689fe50ec50b1ef7637d8fc04",
|
|
"bytes": 1984
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/summary.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/summary.json",
|
|
"sha256": "d8fc44ae9ed135ef63ae84b5901282c987bfb6daa7a1d912402a940f74a2c179",
|
|
"bytes": 586
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "934af1eecfdadd2a5cca6313b602b9bbba115e87793a68cc36f7352bc38fca65",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "82868f03604ec2a12efea07718960e3bfb1c8152950c3b6bc4fd8e1b1d46cf8d",
|
|
"bytes": 14785
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "d8163907696aec1bf853ecccbe301c50efb4abd5b1c76b9a3dfa34f0e9e36c20",
|
|
"bytes": 2125
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "f131e05fd1393703981f20a4efb5330eb1ec59a6d35688e5a1f2cdc7805e2d74",
|
|
"bytes": 14801
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "32eb33dcf7559fd63fc25806236b5e5328ab6ebb4fd7602b0cd4786bbde28822",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/fanin_bursts-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/fanin_bursts-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "42679bfcc102a0ec20fafe7fdf9cc82b02a0b8809931a49502ac6efd669fc9cd",
|
|
"bytes": 1807
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/case.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/case.json",
|
|
"sha256": "69211934e3e3f935bc3425652d6c38eeb6513353a88383973a7182078dd26abc",
|
|
"bytes": 1708
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/coefficients.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/coefficients.json",
|
|
"sha256": "75bd398fd03ade662c9ca5fd3be0f0e745fd0e8deb87354bd3c0c116386a9f3a",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/environment.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/instrumented/coefficients.json",
|
|
"sha256": "75bd398fd03ade662c9ca5fd3be0f0e745fd0e8deb87354bd3c0c116386a9f3a",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/highest_indegree-float32/instrumented/completeness.csv",
|
|
"sha256": "e90a4d12741fbd0bd0b5fdcf447c2664f7dfcdba7930f4e9e7f05811f0b530f4",
|
|
"bytes": 1196
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/instrumented/generated-code.json",
|
|
"sha256": "d75ed5f1158d321ceadcdad048ba8a5e65a38d62bfa99f04d50c25bfca6b98c9",
|
|
"bytes": 11214
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/instrumented/input-audit.json",
|
|
"sha256": "d60cc4f72357f4669296c0e49c7f9ae387a044fd2d5faf53868566775c919359",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/instrumented/queue-audit.json",
|
|
"sha256": "fe89d26cc141038c4741f890ac07043d24dfc0bc9101a05c2bddbd1d0cd5411e",
|
|
"bytes": 460
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/summary.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/summary.json",
|
|
"sha256": "d5b91ade99a1407bfa464c75af655c36fb8329ba252967de13ed4829560a788d",
|
|
"bytes": 590
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "7cfc3cd553fcac4fe52bfa455c5f440a8e98a1a621a135500e9a4b16551f6297",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/highest_indegree-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "e90a4d12741fbd0bd0b5fdcf447c2664f7dfcdba7930f4e9e7f05811f0b530f4",
|
|
"bytes": 1196
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "1d622ac2f0e046e2edde7dfb62b3fb7b2ce247c3324410782300eeabb1db4253",
|
|
"bytes": 11050
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "38747cbcc998615df238c4b2497b88b85bc706e4e95ecde3ef0ed5029a104a39",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/highest_indegree-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/case.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/case.json",
|
|
"sha256": "f838e4bdc1ed3b3641c4da1414bf0d83f788c7f91a5dc18caef9851685a8ca5e",
|
|
"bytes": 1708
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/coefficients.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/coefficients.json",
|
|
"sha256": "2caa1990718d199f371dbf5e685543bc61df67e08a5ad9a2c8bb1e2834a153a4",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/environment.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/instrumented/coefficients.json",
|
|
"sha256": "2caa1990718d199f371dbf5e685543bc61df67e08a5ad9a2c8bb1e2834a153a4",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/highest_indegree-float64/instrumented/completeness.csv",
|
|
"sha256": "e90a4d12741fbd0bd0b5fdcf447c2664f7dfcdba7930f4e9e7f05811f0b530f4",
|
|
"bytes": 1196
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/instrumented/generated-code.json",
|
|
"sha256": "4d9691fc82adf6450724f20815681730f7103910537d43c0255fc617cc9d3ef1",
|
|
"bytes": 11214
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/instrumented/input-audit.json",
|
|
"sha256": "ee66710153714e771bc38056901694ecf0eeb56c302fa2ef83f8ba43ca4ef432",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/instrumented/queue-audit.json",
|
|
"sha256": "05e668a0b1691bc44d4a2a363a5511afe4d8c930b70e7c24642316eb74226b97",
|
|
"bytes": 460
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/summary.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/summary.json",
|
|
"sha256": "42ce5d10de1b489f5bd17201b7123fe2361f63f0d82ef9cac3c7250461f47b57",
|
|
"bytes": 590
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "75bd398fd03ade662c9ca5fd3be0f0e745fd0e8deb87354bd3c0c116386a9f3a",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/highest_indegree-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "e90a4d12741fbd0bd0b5fdcf447c2664f7dfcdba7930f4e9e7f05811f0b530f4",
|
|
"bytes": 1196
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "1cc7dd07015c0edd32145475c9d07b106b43b029636a1b33ba9df39a079c26a3",
|
|
"bytes": 11050
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "f051b4f6988c9f27e955d416e38fb077d8172e80605e0c306cfdc6d9a4006791",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/highest_indegree-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/highest_indegree-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/case.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/case.json",
|
|
"sha256": "ff8f69144e361d8e27616e8755a01cace95850383bc337025639f24abd7b31c5",
|
|
"bytes": 1711
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/coefficients.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/coefficients.json",
|
|
"sha256": "74615669642e49f242e93e6a9c42d22c21438cbcbc0143d6ddca294465e543da",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/environment.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/instrumented/coefficients.json",
|
|
"sha256": "74615669642e49f242e93e6a9c42d22c21438cbcbc0143d6ddca294465e543da",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/instrumented/completeness.csv",
|
|
"sha256": "1f01bd89fa27a1fc11336336d420c1100171017febe074713369fcf51db27363",
|
|
"bytes": 1188
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/instrumented/generated-code.json",
|
|
"sha256": "200ebe53ec57bdf2edf72a520a4a32468d99dc813b1a3720cc72bb3c973dec5a",
|
|
"bytes": 11214
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/instrumented/input-audit.json",
|
|
"sha256": "45d8d642b41dd122cb262e54654784511353488320cce35add03becabc059912",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/instrumented/queue-audit.json",
|
|
"sha256": "e6b73b067ea95c9bd09c21dd9c83da230b7923edabc41a9a7c0ff00d8c1e5ca4",
|
|
"bytes": 460
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/summary.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/summary.json",
|
|
"sha256": "2984b25862d977a9158164931e10f987fc6eb9364e2ab714df1c3c3fe45af415",
|
|
"bytes": 599
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "ec5e4c7e313291d044a1447c276582cbb16ade5cc052675bd83c1016a924942e",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "1f01bd89fa27a1fc11336336d420c1100171017febe074713369fcf51db27363",
|
|
"bytes": 1188
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "0711324a1fd18d75f5b243deba0dae9dd992aa54ecd12d5727b91331c1d7faf0",
|
|
"bytes": 11050
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "ce31b2c18c0c434c9d09ad8428945de9db815145d7cd97ac6cf64c8319830ddd",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/case.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/case.json",
|
|
"sha256": "73216eb4215f0caa690415f883ee1d1edafbab28701a1c0b2dfa0efc6202c622",
|
|
"bytes": 1711
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/coefficients.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/coefficients.json",
|
|
"sha256": "5e605becd694eac6bfd450c8590626dce715dc0de442c3e98272567a81503e12",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/environment.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/instrumented/coefficients.json",
|
|
"sha256": "5e605becd694eac6bfd450c8590626dce715dc0de442c3e98272567a81503e12",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/instrumented/completeness.csv",
|
|
"sha256": "1f01bd89fa27a1fc11336336d420c1100171017febe074713369fcf51db27363",
|
|
"bytes": 1188
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/instrumented/generated-code.json",
|
|
"sha256": "c342dd96ec558d76650bc92d6e3905b2dca5f984757a65e7313eb7b5fc879d8e",
|
|
"bytes": 11214
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/instrumented/input-audit.json",
|
|
"sha256": "2ede5c192bca9326d35a9d24ec98eb460e120684d8d25f37223afdfdcd010f2e",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/instrumented/queue-audit.json",
|
|
"sha256": "7dbd83f1582516800c4fa4fc7f4a843bf72cff4666556177a42aea474dd0f720",
|
|
"bytes": 460
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/summary.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/summary.json",
|
|
"sha256": "d7e89190cf331bd4624b12e4863a72abe6c330ba205f72e3a1adba6976d2b1e1",
|
|
"bytes": 599
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "7cfc3cd553fcac4fe52bfa455c5f440a8e98a1a621a135500e9a4b16551f6297",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "1f01bd89fa27a1fc11336336d420c1100171017febe074713369fcf51db27363",
|
|
"bytes": 1188
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "1d622ac2f0e046e2edde7dfb62b3fb7b2ce247c3324410782300eeabb1db4253",
|
|
"bytes": 11050
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "a4324de251964451d25ce4cd4bbe1a3383de9a9930108d22959ac1303655be6f",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/mixed_high_indegree-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/mixed_high_indegree-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/case.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/case.json",
|
|
"sha256": "514451ef42e4a1eef22998de3fe9263d84cdc45e83771194d855859b05057eef",
|
|
"bytes": 1244
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/coefficients.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/coefficients.json",
|
|
"sha256": "ec5e4c7e313291d044a1447c276582cbb16ade5cc052675bd83c1016a924942e",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/environment.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/instrumented/coefficients.json",
|
|
"sha256": "ec5e4c7e313291d044a1447c276582cbb16ade5cc052675bd83c1016a924942e",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/instrumented/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/instrumented/generated-code.json",
|
|
"sha256": "9587d16853d78dac3cc8193142de3210c1b2bd3eddd076e0da070cb8544ebd6a",
|
|
"bytes": 11214
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/instrumented/input-audit.json",
|
|
"sha256": "7198a08c9241603eb8f0c5c89272ff19c0b8bb4ed7ecc44f3fcdd25a37224287",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/instrumented/queue-audit.json",
|
|
"sha256": "b4a57dfcb794a3168dbcc76688e07696769def8bada0bd896ddba7355a3a2fdd",
|
|
"bytes": 458
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/summary.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/summary.json",
|
|
"sha256": "ebb76b8c5795e16816072f00049b59182e6dc8b2dad826d76e65f5fbd4711f4b",
|
|
"bytes": 584
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "0bf9991cf8a66dc9eed742d7e613b3f1e3ee89bf59e37080324c8f84cbd34a2d",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "aa9a755267ea52baca9275599baef199f7a12023b030e9727821fc4ba34cfa89",
|
|
"bytes": 11050
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "85af6959aad3022a8db686ab9b6b295c231d88c85a3b5eeb7cde56bc09438014",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/case.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/case.json",
|
|
"sha256": "9cee3048169b8298e2510b1578a762939cff01f14ff213de17e1a862b6a2362c",
|
|
"bytes": 1244
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/coefficients.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/coefficients.json",
|
|
"sha256": "7cfc3cd553fcac4fe52bfa455c5f440a8e98a1a621a135500e9a4b16551f6297",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/environment.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/instrumented/coefficients.json",
|
|
"sha256": "7cfc3cd553fcac4fe52bfa455c5f440a8e98a1a621a135500e9a4b16551f6297",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/instrumented/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/instrumented/generated-code.json",
|
|
"sha256": "f0e4d7b069925eb0132b7ef2e8779d64cfa4eb2fabed7664222944d7338fbff6",
|
|
"bytes": 11214
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/instrumented/input-audit.json",
|
|
"sha256": "df729fbad17510beab496ddd2801ecfc3aa0c17e5e3034bbdd2011a544c174c3",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/instrumented/queue-audit.json",
|
|
"sha256": "9cb637d33e2e387f22516c317c6e07f622f03b077af0dc2023e14138f0d900d1",
|
|
"bytes": 458
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/summary.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/summary.json",
|
|
"sha256": "6b600b1c3aca917738398e5ed03b0cc7dc4793df7c03b5a2dbdd07747e331b1f",
|
|
"bytes": 584
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "ec5e4c7e313291d044a1447c276582cbb16ade5cc052675bd83c1016a924942e",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "0711324a1fd18d75f5b243deba0dae9dd992aa54ecd12d5727b91331c1d7faf0",
|
|
"bytes": 11050
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "da721733ca6e25552066d11eab447b8ca7f5494fd9780f98b1a10f43d705ffef",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_feedforward-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_feedforward-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/case.json",
|
|
"copy": "evidence/oracle/motif_five-float32/case.json",
|
|
"sha256": "0ba654448ad73f8a7d93d026822d4847d107ebdd887e689c3d73b29355ea46b2",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/coefficients.json",
|
|
"copy": "evidence/oracle/motif_five-float32/coefficients.json",
|
|
"sha256": "d98eee7b93f944578eebb05b33e94c2515ee82b5753af1eec756a596e7201ac6",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/environment.json",
|
|
"copy": "evidence/oracle/motif_five-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_five-float32/instrumented/coefficients.json",
|
|
"sha256": "d98eee7b93f944578eebb05b33e94c2515ee82b5753af1eec756a596e7201ac6",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_five-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_five-float32/instrumented/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_five-float32/instrumented/generated-code.json",
|
|
"sha256": "b5bff1e1272f13317e217bebe95a6f8b85713a59d2fcc3c81cfbdf316f56a839",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float32/instrumented/input-audit.json",
|
|
"sha256": "3ae9c6d4d215251c5f6b0386e853230174156167bcf5c684e9ff0884af12c632",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float32/instrumented/queue-audit.json",
|
|
"sha256": "649034e2f1ad4fbdcbc7bc671166e16d5d742629ca65fececf8929a8c2c52e01",
|
|
"bytes": 463
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_five-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_five-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/summary.json",
|
|
"copy": "evidence/oracle/motif_five-float32/summary.json",
|
|
"sha256": "9b650e977f4858b37ffc0884920d4143f6f9704921dd6fc1f42ec71f981eef89",
|
|
"bytes": 567
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_five-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "d01a405ef9b9be1675c66875d972578ff4c506a468388d8e980f8d449e6dc333",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_five-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_five-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_five-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "e7486df9bef2f372e8d69062750e92ff5e458d772e3b634443b3d9b66d68eccd",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "7ef4d06198b0ce68e84e6e4c793839ead0d9d3d4e4fe573ed1b4f66e7f828a76",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_five-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/case.json",
|
|
"copy": "evidence/oracle/motif_five-float64/case.json",
|
|
"sha256": "02428504cba1b7275e6fab9e521d4f417b3d6125996836714347534b567afa66",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/coefficients.json",
|
|
"copy": "evidence/oracle/motif_five-float64/coefficients.json",
|
|
"sha256": "a75717c29fc1ccf7beb7496183952821a4990365eab5b3c97c7339981903aad4",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/environment.json",
|
|
"copy": "evidence/oracle/motif_five-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_five-float64/instrumented/coefficients.json",
|
|
"sha256": "a75717c29fc1ccf7beb7496183952821a4990365eab5b3c97c7339981903aad4",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_five-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_five-float64/instrumented/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_five-float64/instrumented/generated-code.json",
|
|
"sha256": "c8ff56101e28a5c44128e24bef4f2b9fdb133c2f934c3c359b841dd9f309607e",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float64/instrumented/input-audit.json",
|
|
"sha256": "570ddf1c205c30f84634851ba251525855538d1b3ec9ca95227474960076d62a",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float64/instrumented/queue-audit.json",
|
|
"sha256": "405762068db98becc1843db0bf506cfcfb9b3d33353ac9e4e168c0f52d9b49e7",
|
|
"bytes": 463
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_five-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_five-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/summary.json",
|
|
"copy": "evidence/oracle/motif_five-float64/summary.json",
|
|
"sha256": "df9c6c8221fdaf65ea5117c650378bcf1b9d53c80c6f4b1b05481d3aa582fef9",
|
|
"bytes": 567
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_five-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "0bf9991cf8a66dc9eed742d7e613b3f1e3ee89bf59e37080324c8f84cbd34a2d",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_five-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_five-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_five-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "aa9a755267ea52baca9275599baef199f7a12023b030e9727821fc4ba34cfa89",
|
|
"bytes": 11050
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "f1ca7891f879fd508bd42f8bdc919deea0c204dbaf694b3e5d7117f7a263c3d9",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_five-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_five-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_five-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/case.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/case.json",
|
|
"sha256": "9d179420654413ca1abfb05f22dee6cfb7d51ad2cd6eef69dffc4005c16f0fd6",
|
|
"bytes": 1241
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/coefficients.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/coefficients.json",
|
|
"sha256": "de979150b8c18ea8a46a876778327a49353eb5a87e5c1d7d9cafb11c9f6d8483",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/environment.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/instrumented/coefficients.json",
|
|
"sha256": "de979150b8c18ea8a46a876778327a49353eb5a87e5c1d7d9cafb11c9f6d8483",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_no_input-float32/instrumented/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/instrumented/generated-code.json",
|
|
"sha256": "e5aa1ab2a7909ec49496dbef2284053c3e1e879b11a18e0fc77e864f12501818",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/instrumented/input-audit.json",
|
|
"sha256": "3ae9c6d4d215251c5f6b0386e853230174156167bcf5c684e9ff0884af12c632",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/instrumented/queue-audit.json",
|
|
"sha256": "cee965022108973f9b9da6aeb880f6eb1dfb3d75bd613658f7164784da3adb00",
|
|
"bytes": 459
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/summary.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/summary.json",
|
|
"sha256": "f6714c8b34ba46595deb08f2b87623d8ffb94dbbea423d8319136948e1b2dea1",
|
|
"bytes": 576
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "a45521c8cc13306fa535adf1cbf9f476b88061351774660f680abf04ee65899d",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_no_input-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "27e213d76a91871c492e28be66c7a093fd4e1ba5920b7fd87a59f3b5ccca1b05",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "7ef4d06198b0ce68e84e6e4c793839ead0d9d3d4e4fe573ed1b4f66e7f828a76",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_no_input-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/case.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/case.json",
|
|
"sha256": "e09512d3a290d1b67017d8041beee4445dff7338d25ee5a419662ce0fa1e0294",
|
|
"bytes": 1241
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/coefficients.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/coefficients.json",
|
|
"sha256": "0bf9991cf8a66dc9eed742d7e613b3f1e3ee89bf59e37080324c8f84cbd34a2d",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/environment.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/instrumented/coefficients.json",
|
|
"sha256": "0bf9991cf8a66dc9eed742d7e613b3f1e3ee89bf59e37080324c8f84cbd34a2d",
|
|
"bytes": 2329
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_no_input-float64/instrumented/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/instrumented/generated-code.json",
|
|
"sha256": "e2863283352ed45e14e825141be421dc603061254dd7676cd5db972b676990a9",
|
|
"bytes": 11214
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/instrumented/input-audit.json",
|
|
"sha256": "570ddf1c205c30f84634851ba251525855538d1b3ec9ca95227474960076d62a",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/instrumented/queue-audit.json",
|
|
"sha256": "d7d8e6eba191b4fb6a8876896c9b932e2a908e66cf6e419065d6b7f1cbeda73e",
|
|
"bytes": 458
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/summary.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/summary.json",
|
|
"sha256": "5f27219565e45f42327bdf33e08d0c38373d6719f932d88454ab0bc5be7c9f7d",
|
|
"bytes": 576
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "d01a405ef9b9be1675c66875d972578ff4c506a468388d8e980f8d449e6dc333",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_no_input-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "301ae4572c658aa307fc998e009377e9c82467d97d66aa1ac4b3f518385ec5a5",
|
|
"bytes": 68
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "e7486df9bef2f372e8d69062750e92ff5e458d772e3b634443b3d9b66d68eccd",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "f1ca7891f879fd508bd42f8bdc919deea0c204dbaf694b3e5d7117f7a263c3d9",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_no_input-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_no_input-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/case.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/case.json",
|
|
"sha256": "7c2e51163cc02ade1ad547b0f80b72e3a2ce41e9ddbc8488c0963ae8cb8b25fd",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/coefficients.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/coefficients.json",
|
|
"sha256": "a96c603914560bec97c4da88bdc22a77ba3feaf49c83226793b258c67c856b91",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/environment.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/instrumented/coefficients.json",
|
|
"sha256": "a96c603914560bec97c4da88bdc22a77ba3feaf49c83226793b258c67c856b91",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_pair-float32/instrumented/completeness.csv",
|
|
"sha256": "5af02939034e66e7a8e7c361555203906d69bbba0042b1ab549041db1626f02b",
|
|
"bytes": 44
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/instrumented/generated-code.json",
|
|
"sha256": "04dd8561cbfca6932ddc94ffbf3228449a7ab8676b153db775cf1514af9f61cb",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/instrumented/input-audit.json",
|
|
"sha256": "c6618376a52844263736e9dd031ff5745543d4db39d51072381d2230a9c61076",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/instrumented/queue-audit.json",
|
|
"sha256": "e7aade6f0cedd94c4c07fbe6eb69dbfb345cb2793bf819cc7fd995d708df83e5",
|
|
"bytes": 461
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/summary.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/summary.json",
|
|
"sha256": "c282c963d6a2e7c80a70aa20d339f57ea46cdb9a4c296ae1017f37c42f71a66b",
|
|
"bytes": 565
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "7de7395618cc75c739c64aa06e9b5111270a04f6e38e4fead6f42bc9838b24d9",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_pair-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "5af02939034e66e7a8e7c361555203906d69bbba0042b1ab549041db1626f02b",
|
|
"bytes": 44
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "6285bf3f565631bb13f61df1de231f6431e9dbba62c9390a770a481fecf434d4",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "38494b8726f5685faae5116251a91c775d036f984a7d6685d5512b8cc4730197",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_pair-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/case.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/case.json",
|
|
"sha256": "2c3139962eace310ec0592d1e507efc799658ea0fcdde723c5238e5af214915f",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/coefficients.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/coefficients.json",
|
|
"sha256": "d01a405ef9b9be1675c66875d972578ff4c506a468388d8e980f8d449e6dc333",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/environment.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/instrumented/coefficients.json",
|
|
"sha256": "d01a405ef9b9be1675c66875d972578ff4c506a468388d8e980f8d449e6dc333",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_pair-float64/instrumented/completeness.csv",
|
|
"sha256": "5af02939034e66e7a8e7c361555203906d69bbba0042b1ab549041db1626f02b",
|
|
"bytes": 44
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/instrumented/generated-code.json",
|
|
"sha256": "6218cb7a5561987d8a5f4b50df6b8ab178f97d9c8a3b0c2281592030323d19ad",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/instrumented/input-audit.json",
|
|
"sha256": "05822e9cca61f7cf9b21e6eb6334e39c783e94d260cb526ac42fd17da4a55bae",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/instrumented/queue-audit.json",
|
|
"sha256": "f20253a8c675f99d0b51612f0faa6ffe968e63f6059b7e0f865d4730de411d75",
|
|
"bytes": 461
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/summary.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/summary.json",
|
|
"sha256": "d31801b7409b61b11c039dcedb57695447c170d280ff6bae80836a70710eb9d9",
|
|
"bytes": 565
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "a45521c8cc13306fa535adf1cbf9f476b88061351774660f680abf04ee65899d",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_pair-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "5af02939034e66e7a8e7c361555203906d69bbba0042b1ab549041db1626f02b",
|
|
"bytes": 44
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "27e213d76a91871c492e28be66c7a093fd4e1ba5920b7fd87a59f3b5ccca1b05",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "5ad9da04ebc86c451a2dc3ee1ae515048da3d0517a2772766e948be58a87cf9e",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_pair-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_pair-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/case.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/case.json",
|
|
"sha256": "a8cfb8d4d18e0619d6da058dae7e8488e22eaf1c78d79e30b7950cef9805392e",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/coefficients.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/coefficients.json",
|
|
"sha256": "7c1b1089b738c3acbca361d026af0818c2bedd1058226a4b1613107835f7e063",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/environment.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/instrumented/coefficients.json",
|
|
"sha256": "7c1b1089b738c3acbca361d026af0818c2bedd1058226a4b1613107835f7e063",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_trio-float32/instrumented/completeness.csv",
|
|
"sha256": "e8795d5efb2eebefaae419c6df6d18d3cea3c390d9df7987f55823f5a860169e",
|
|
"bytes": 51
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/instrumented/generated-code.json",
|
|
"sha256": "8c8e0ef283417f030223be90143fe431a2e55c00e197ccfb42a603bcb8e0ac6d",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/instrumented/input-audit.json",
|
|
"sha256": "aeb9de630a338539ef77e631d6fad439b8c8bac45f72c9b1ea5a746762f1478e",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/instrumented/queue-audit.json",
|
|
"sha256": "b4e878392aba4af8d5f54a972a0345a1e5ae61f02d3cecd84c66ee16e1c14070",
|
|
"bytes": 461
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/summary.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/summary.json",
|
|
"sha256": "d854013887eb352536cebd66f3060cb0b7d7048f170a415e56e58641d27c8be7",
|
|
"bytes": 565
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "e93700e27b476c87d3bd9631847df5930580d588188f2d6356f8fd4278640c62",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_trio-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "e8795d5efb2eebefaae419c6df6d18d3cea3c390d9df7987f55823f5a860169e",
|
|
"bytes": 51
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "9f4389a017bd872ea48ce57dce09ff7feddc58e4d3e3de3e91a485d8e4efe661",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "b66ee25f7bb8b96360c9c0c3b919cca442eaf90f83644e6ec7ad42f0a5644691",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_trio-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/case.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/case.json",
|
|
"sha256": "a72c3e1c5887c5174e5bc1bdd488e21652c2d40e1a64c17bec055d1c33ad8163",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/coefficients.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/coefficients.json",
|
|
"sha256": "7de7395618cc75c739c64aa06e9b5111270a04f6e38e4fead6f42bc9838b24d9",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/environment.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/instrumented/coefficients.json",
|
|
"sha256": "7de7395618cc75c739c64aa06e9b5111270a04f6e38e4fead6f42bc9838b24d9",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/motif_trio-float64/instrumented/completeness.csv",
|
|
"sha256": "e8795d5efb2eebefaae419c6df6d18d3cea3c390d9df7987f55823f5a860169e",
|
|
"bytes": 51
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/instrumented/generated-code.json",
|
|
"sha256": "6219a02ab212b7391b8686191afcdf1189aa04c3eb60c3d6faffe54f2130c232",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/instrumented/input-audit.json",
|
|
"sha256": "dca8d6b6f6e544292d87ece37af55ea38f48e26265132984c82293a83d3a5126",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/instrumented/queue-audit.json",
|
|
"sha256": "29957621c31b54a95a988fe4a82363c02c7726b27778870b80dc9d63c1741c7f",
|
|
"bytes": 461
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/summary.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/summary.json",
|
|
"sha256": "96f65fd87b834a3b4e79be2017c42f7e28aea8588393f3ba64ef92d2c9d5e4f7",
|
|
"bytes": 565
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "7c1b1089b738c3acbca361d026af0818c2bedd1058226a4b1613107835f7e063",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/motif_trio-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "e8795d5efb2eebefaae419c6df6d18d3cea3c390d9df7987f55823f5a860169e",
|
|
"bytes": 51
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "3dfe75cb3a716d21a5c93328ca9afebf1540f68bf873af5005720b8b41a81231",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "eca8ca955d53b8e6e0568c3f0020bcfd40b8b536f64f74040623dd50235c62ef",
|
|
"bytes": 1238
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/motif_trio-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/motif_trio-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/case.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/case.json",
|
|
"sha256": "83987a7bbeb3dde14fac3de2f73ce9270b0be4d0d1a444212e0a42fea8099df9",
|
|
"bytes": 1273
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/coefficients.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/coefficients.json",
|
|
"sha256": "25028e6abaf2d0674eff984499f9b03e540ea7ec39006e1792242a71a662654c",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/environment.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/instrumented/coefficients.json",
|
|
"sha256": "25028e6abaf2d0674eff984499f9b03e540ea7ec39006e1792242a71a662654c",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/instrumented/completeness.csv",
|
|
"sha256": "d861bdcdccde99f4c49e489f5f22e274a3e810fa365d0858513d91092f6ddeed",
|
|
"bytes": 242
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/instrumented/generated-code.json",
|
|
"sha256": "7f4e8f22ed3dcdf089914e79c574bbbb404f4eb6bb3fecca4a680e3f9d3c0857",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/instrumented/input-audit.json",
|
|
"sha256": "6375f3b8727a3b9023eb16a811cb2ab95ca75f0d039190faa015801f0fa472ce",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/instrumented/queue-audit.json",
|
|
"sha256": "215e1d7357f2adbd81c2dc4e71948d1341cda30ec05ea55adc46e546c3952780",
|
|
"bytes": 459
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/summary.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/summary.json",
|
|
"sha256": "5fde5e19bb7f3ea8bace360458c67652575827fd2f8f493cafade16537c7efcf",
|
|
"bytes": 598
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "5c7757cd44e4f994f9d1496a3533ffc3ae993d3f9327764e57183e4167a02ef6",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "d861bdcdccde99f4c49e489f5f22e274a3e810fa365d0858513d91092f6ddeed",
|
|
"bytes": 242
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "78041f723fdc221809a9202f586abfb828114e0c60101e72b8f82dbb7b349b4e",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "853eb8557130dd59256f4d8b53ba1f104aea43f6e6d2aab68e12f2d3fced8e90",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/case.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/case.json",
|
|
"sha256": "42a5b1bd97192138c1aa231a7cc200fb4cd50e2eaf71ca79ba50005444272761",
|
|
"bytes": 1273
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/coefficients.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/coefficients.json",
|
|
"sha256": "e93700e27b476c87d3bd9631847df5930580d588188f2d6356f8fd4278640c62",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/environment.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/instrumented/coefficients.json",
|
|
"sha256": "e93700e27b476c87d3bd9631847df5930580d588188f2d6356f8fd4278640c62",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/instrumented/completeness.csv",
|
|
"sha256": "d861bdcdccde99f4c49e489f5f22e274a3e810fa365d0858513d91092f6ddeed",
|
|
"bytes": 242
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/instrumented/generated-code.json",
|
|
"sha256": "ce982dd6dd2bf6f81d608e820add84fbe611d51a6157fbae6fb2b9e1e30dd571",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/instrumented/input-audit.json",
|
|
"sha256": "4969d3f0ae5857d3eca879568c757e6d4b631d4fb0f90212eb5951836b41d1f3",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/instrumented/queue-audit.json",
|
|
"sha256": "0de23642c9438c99c3c1f93efb4ee282ba55e2ebb9d04b77ae93d4a10fd92fa4",
|
|
"bytes": 459
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/summary.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/summary.json",
|
|
"sha256": "538d114715e29bfe83252cd5ce86bdc69e416f643422d7d66bc3b9cc634a2382",
|
|
"bytes": 598
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "25028e6abaf2d0674eff984499f9b03e540ea7ec39006e1792242a71a662654c",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "d861bdcdccde99f4c49e489f5f22e274a3e810fa365d0858513d91092f6ddeed",
|
|
"bytes": 242
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "2e921b0a8d0b8be1bc83ece8d54edc08bc8e5c746c765b917f88cd3517ffea92",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "859874145af010d744d285cf471ae9cb7f410e02666dedd15abb189ced0dd22d",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/ordered_cancellation-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/ordered_cancellation-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/case.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/case.json",
|
|
"sha256": "fd295fc5ccc133bfa70d2e9f7b4d9ca839b23beb337b5fdd4183be00987c6dd4",
|
|
"bytes": 1242
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/coefficients.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/coefficients.json",
|
|
"sha256": "641e4016edb1690746a62aab09485c91852d5862d25fe85dab390121fb21779f",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/environment.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/instrumented/coefficients.json",
|
|
"sha256": "641e4016edb1690746a62aab09485c91852d5862d25fe85dab390121fb21779f",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/instrumented/compiled-code.json",
|
|
"sha256": "dfbcf815d17465e4c83a54320687e77c3035c5064f6a81a11bffc5ce35ec0dd1",
|
|
"bytes": 14949
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/release_selfloop-float32/instrumented/completeness.csv",
|
|
"sha256": "c79ddcee44e7786a8805ed8bd4685d8107764e5dff4952b204e5163f8630ce80",
|
|
"bytes": 50
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/instrumented/generated-code.json",
|
|
"sha256": "94ba0cc5f884ff7e332d1859286ba39e4bc7fa684546db29088e22a5fb96a14b",
|
|
"bytes": 14969
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/instrumented/input-audit.json",
|
|
"sha256": "4047c46214a2c9d06289ed7db728e2f1afa23cb1e1e9437634d4c4f56540d3a2",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/instrumented/queue-audit.json",
|
|
"sha256": "40bf803d062804b7bb6ce070743fc805423f873311d8bb453d2cc5db2ea62bb3",
|
|
"bytes": 458
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/instrumented/schedule.json",
|
|
"sha256": "8d5492b7968694e913d3321b10d5779137045d4689fe50ec50b1ef7637d8fc04",
|
|
"bytes": 1984
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/summary.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/summary.json",
|
|
"sha256": "979d2a0d15f9d6f746e930fa5c0eb8def666713669026b69140c65687630401e",
|
|
"bytes": 581
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "b31b081bcc455e5a3e29ab3c7094c020e9a4f56f47cbd108bfa12c23abb4f83a",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "82868f03604ec2a12efea07718960e3bfb1c8152950c3b6bc4fd8e1b1d46cf8d",
|
|
"bytes": 14785
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/release_selfloop-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "c79ddcee44e7786a8805ed8bd4685d8107764e5dff4952b204e5163f8630ce80",
|
|
"bytes": 50
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "7fb472acf561ca1c043f0fc3a46941cdb7846d1ca8df820a15b725ad1f144ed9",
|
|
"bytes": 14805
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "35a01e501ae88e4350583ba961a0e67e3be2c486c2fc9c2c49905924e2bc004f",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/release_selfloop-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "42679bfcc102a0ec20fafe7fdf9cc82b02a0b8809931a49502ac6efd669fc9cd",
|
|
"bytes": 1807
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/case.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/case.json",
|
|
"sha256": "6a7d03115b6dbff20bcca4708f5ffea8de006e9f091bac804e8f1d2db168220c",
|
|
"bytes": 1242
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/coefficients.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/coefficients.json",
|
|
"sha256": "5c7757cd44e4f994f9d1496a3533ffc3ae993d3f9327764e57183e4167a02ef6",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/environment.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/instrumented/coefficients.json",
|
|
"sha256": "5c7757cd44e4f994f9d1496a3533ffc3ae993d3f9327764e57183e4167a02ef6",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/instrumented/compiled-code.json",
|
|
"sha256": "dfbcf815d17465e4c83a54320687e77c3035c5064f6a81a11bffc5ce35ec0dd1",
|
|
"bytes": 14949
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/release_selfloop-float64/instrumented/completeness.csv",
|
|
"sha256": "c79ddcee44e7786a8805ed8bd4685d8107764e5dff4952b204e5163f8630ce80",
|
|
"bytes": 50
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/instrumented/generated-code.json",
|
|
"sha256": "0d51e9ee6cad7494f92e4f90c362be175b66388d4bed51c1ef14a7aba6822eee",
|
|
"bytes": 14969
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/instrumented/input-audit.json",
|
|
"sha256": "adcc4735605e955cc3f82c52e078c3aa0ed6a5f6134a536431efa5595af0b553",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/instrumented/queue-audit.json",
|
|
"sha256": "d1b7304bec0a1b2ffd069cc04b16aa05c19aff71104ccd1fa6324ac80683c6c6",
|
|
"bytes": 458
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/instrumented/schedule.json",
|
|
"sha256": "8d5492b7968694e913d3321b10d5779137045d4689fe50ec50b1ef7637d8fc04",
|
|
"bytes": 1984
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/summary.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/summary.json",
|
|
"sha256": "4312b4466d22b9ea9d4e797dee7ffece32356d0483a12e6886df48a4b68a83a9",
|
|
"bytes": 581
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "641e4016edb1690746a62aab09485c91852d5862d25fe85dab390121fb21779f",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "82868f03604ec2a12efea07718960e3bfb1c8152950c3b6bc4fd8e1b1d46cf8d",
|
|
"bytes": 14785
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/release_selfloop-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "c79ddcee44e7786a8805ed8bd4685d8107764e5dff4952b204e5163f8630ce80",
|
|
"bytes": 50
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "59f811addd08ca9edd87e10f52560ea5c7fffcfcb3fe809b2a35222b73788586",
|
|
"bytes": 14805
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "149bcf4eccdde513b08be26169d1fb502a65436ec56b8bdabb0c36be4bab1949",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/release_selfloop-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/release_selfloop-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "42679bfcc102a0ec20fafe7fdf9cc82b02a0b8809931a49502ac6efd669fc9cd",
|
|
"bytes": 1807
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/case.json",
|
|
"copy": "evidence/oracle/signed_random-float32/case.json",
|
|
"sha256": "41ffb65d2bb6c0cbce029a2bcc9c13a3d9cdd26bd1d2c38cad0f02d71ca33ad9",
|
|
"bytes": 1275
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/coefficients.json",
|
|
"copy": "evidence/oracle/signed_random-float32/coefficients.json",
|
|
"sha256": "b31b081bcc455e5a3e29ab3c7094c020e9a4f56f47cbd108bfa12c23abb4f83a",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/environment.json",
|
|
"copy": "evidence/oracle/signed_random-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/signed_random-float32/instrumented/coefficients.json",
|
|
"sha256": "b31b081bcc455e5a3e29ab3c7094c020e9a4f56f47cbd108bfa12c23abb4f83a",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/signed_random-float32/instrumented/compiled-code.json",
|
|
"sha256": "dfbcf815d17465e4c83a54320687e77c3035c5064f6a81a11bffc5ce35ec0dd1",
|
|
"bytes": 14949
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/signed_random-float32/instrumented/completeness.csv",
|
|
"sha256": "847d1cf9168f7309567f41a98b9258003eb1174f46d3b61f19fab79c8a629c4f",
|
|
"bytes": 964
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/signed_random-float32/instrumented/generated-code.json",
|
|
"sha256": "a1fc01a10b78668091c0e85a41fe5e090b886631237f155dc7e2203f12a86a2f",
|
|
"bytes": 14969
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float32/instrumented/input-audit.json",
|
|
"sha256": "1e75500b3d33a04cb3ebdb8978dec818f5c609e3528ed896b76225b461bed4c8",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float32/instrumented/queue-audit.json",
|
|
"sha256": "632d60b3927ca573c01d427658b25d3a7c5b8dab6a95957e29ea5512ccf40c45",
|
|
"bytes": 463
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/signed_random-float32/instrumented/schedule.json",
|
|
"sha256": "8d5492b7968694e913d3321b10d5779137045d4689fe50ec50b1ef7637d8fc04",
|
|
"bytes": 1984
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/signed_random-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/summary.json",
|
|
"copy": "evidence/oracle/signed_random-float32/summary.json",
|
|
"sha256": "1b09126a1c80ec7e1239ebbc5ba7e8654644e091a9f4d1f86ef5fe1bea7942c1",
|
|
"bytes": 583
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/signed_random-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "d87699f97f7e1c60379593c077990e8267d55c01a4b87c62a754764b3c67edde",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/signed_random-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "82868f03604ec2a12efea07718960e3bfb1c8152950c3b6bc4fd8e1b1d46cf8d",
|
|
"bytes": 14785
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/signed_random-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "847d1cf9168f7309567f41a98b9258003eb1174f46d3b61f19fab79c8a629c4f",
|
|
"bytes": 964
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/signed_random-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "4392e7f76087a91d08e8143261cb912d5489dcccfb0bd8b2f6edb9759f24b119",
|
|
"bytes": 14805
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "55acf52e153a3c1427954dab23d11d2b5de39b842d56b302b744f40b5300093f",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/signed_random-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "42679bfcc102a0ec20fafe7fdf9cc82b02a0b8809931a49502ac6efd669fc9cd",
|
|
"bytes": 1807
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/case.json",
|
|
"copy": "evidence/oracle/signed_random-float64/case.json",
|
|
"sha256": "3a998345bf8746c0e2229574005dc64647a9911ed54e3db709d01e0c5400db50",
|
|
"bytes": 1275
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/coefficients.json",
|
|
"copy": "evidence/oracle/signed_random-float64/coefficients.json",
|
|
"sha256": "18c982eeea655a6efb2ab684941ed13dcbea4cf8bf5add0bde564e1991c46918",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/environment.json",
|
|
"copy": "evidence/oracle/signed_random-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/signed_random-float64/instrumented/coefficients.json",
|
|
"sha256": "18c982eeea655a6efb2ab684941ed13dcbea4cf8bf5add0bde564e1991c46918",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/signed_random-float64/instrumented/compiled-code.json",
|
|
"sha256": "dfbcf815d17465e4c83a54320687e77c3035c5064f6a81a11bffc5ce35ec0dd1",
|
|
"bytes": 14949
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/signed_random-float64/instrumented/completeness.csv",
|
|
"sha256": "847d1cf9168f7309567f41a98b9258003eb1174f46d3b61f19fab79c8a629c4f",
|
|
"bytes": 964
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/signed_random-float64/instrumented/generated-code.json",
|
|
"sha256": "016c7778c92643344b85c0d4a02c4a3596e8fd96bef364b074d3bca217268b40",
|
|
"bytes": 14969
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float64/instrumented/input-audit.json",
|
|
"sha256": "5c0283e72857d6b597fae4b7ae6e170a49b578c249ab61297b0abcb3a3dd08d2",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float64/instrumented/queue-audit.json",
|
|
"sha256": "20a4213741e9ef87ab021f779e259129a49e89708d44c74717dc284b90264c52",
|
|
"bytes": 463
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/signed_random-float64/instrumented/schedule.json",
|
|
"sha256": "8d5492b7968694e913d3321b10d5779137045d4689fe50ec50b1ef7637d8fc04",
|
|
"bytes": 1984
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/signed_random-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/summary.json",
|
|
"copy": "evidence/oracle/signed_random-float64/summary.json",
|
|
"sha256": "c6ab83e4fe4b7758f74af24407a1df22f1283115d561e410c4ffda58e4fcc0d7",
|
|
"bytes": 583
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/signed_random-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "d87699f97f7e1c60379593c077990e8267d55c01a4b87c62a754764b3c67edde",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/signed_random-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "82868f03604ec2a12efea07718960e3bfb1c8152950c3b6bc4fd8e1b1d46cf8d",
|
|
"bytes": 14785
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/signed_random-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "847d1cf9168f7309567f41a98b9258003eb1174f46d3b61f19fab79c8a629c4f",
|
|
"bytes": 964
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/signed_random-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "89c9d663e1a33f36044a05d58ca417669c3d4a8746b2580127e75778a991711d",
|
|
"bytes": 14805
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "0bbea9b06c74e659398f117e2a3d9c444d3e16fcf8ce9c2042cdc09d99318e4c",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/signed_random-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/signed_random-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/signed_random-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "42679bfcc102a0ec20fafe7fdf9cc82b02a0b8809931a49502ac6efd669fc9cd",
|
|
"bytes": 1807
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/case.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/case.json",
|
|
"sha256": "a5eb5baa4ca36263c75f80c348dd444836241cd270598ca660a9a4176557eb8c",
|
|
"bytes": 1281
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/coefficients.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/coefficients.json",
|
|
"sha256": "c463f321c25ce79fbb95756ca3fcc8b4b9e2b36a31ce074439b6a45d0641fcff",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/environment.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/instrumented/coefficients.json",
|
|
"sha256": "c463f321c25ce79fbb95756ca3fcc8b4b9e2b36a31ce074439b6a45d0641fcff",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/instrumented/completeness.csv",
|
|
"sha256": "c391cd11c54130ce647d85f3b175256f1bfc2d5b50601ede4231cb7038cea401",
|
|
"bytes": 81
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/instrumented/generated-code.json",
|
|
"sha256": "80aba5afd83fd57e943ad930e58d25290488f32c47d1cfc6d807130462e0b9ee",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/instrumented/input-audit.json",
|
|
"sha256": "61743ad6576a8d4d0dab49f2989cdf4e33bd0c6dc6205411b4b9ce446b671150",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/instrumented/queue-audit.json",
|
|
"sha256": "42db107c806b29780165845cf05e63f4e300b6c2352fa933454d5b7eef9d0f86",
|
|
"bytes": 457
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/proxy-validation.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/summary.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/summary.json",
|
|
"sha256": "ed9025646a6f6cbfcdb542dfd4ad700b68f3ddf6e4dca4156843b7c4658a0115",
|
|
"bytes": 587
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/unwrapped-audit/coefficients.json",
|
|
"sha256": "e034e68f3a14e480bbef791cef03d2ebb4f654675663035c0788c8d4c4fe00e2",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/unwrapped-audit/completeness.csv",
|
|
"sha256": "c391cd11c54130ce647d85f3b175256f1bfc2d5b50601ede4231cb7038cea401",
|
|
"bytes": 81
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/unwrapped-audit/generated-code.json",
|
|
"sha256": "5dba98727c043059d343a65c895990307c5e34cfe1d17d7f6a439a21cba5bf7c",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/unwrapped-audit/input-audit.json",
|
|
"sha256": "9ff3841577d5755a5108c77147464655b07fb9fba2879d647cd0c94f96183548",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float32/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float32/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/case.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/case.json",
|
|
"sha256": "f2d7a8d5a067f0356ce106def5e8e1cde709e080837cfd87844cecfc6c7df884",
|
|
"bytes": 1281
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/coefficients.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/coefficients.json",
|
|
"sha256": "d87699f97f7e1c60379593c077990e8267d55c01a4b87c62a754764b3c67edde",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/environment.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/environment.json",
|
|
"sha256": "8b311324a95f9598401ccdb8037611ab10bc420acc577ee0580b5abadcff49c6",
|
|
"bytes": 352
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/instrumented/coefficients.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/instrumented/coefficients.json",
|
|
"sha256": "d87699f97f7e1c60379593c077990e8267d55c01a4b87c62a754764b3c67edde",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/instrumented/compiled-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/instrumented/compiled-code.json",
|
|
"sha256": "d37bbac320791543bdc13106f71c8aab50c345ca93aeee06d49ce26131e5e198",
|
|
"bytes": 11202
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/instrumented/completeness.csv",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/instrumented/completeness.csv",
|
|
"sha256": "c391cd11c54130ce647d85f3b175256f1bfc2d5b50601ede4231cb7038cea401",
|
|
"bytes": 81
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/instrumented/generated-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/instrumented/generated-code.json",
|
|
"sha256": "f8855c24be8282f84e30d36e1d94c37389f0fb3a65537b121407311c25596f6b",
|
|
"bytes": 11218
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/instrumented/input-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/instrumented/input-audit.json",
|
|
"sha256": "8e10d2ac7488b62aacd4de02d4a0c16605b7ea3767c5c14678ce02919f0b24f0",
|
|
"bytes": 1236
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/instrumented/queue-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/instrumented/queue-audit.json",
|
|
"sha256": "242f188267ccd2c787842ebb71e00d0eeac1c05abfb60beddc88f1ce629d46ba",
|
|
"bytes": 457
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/instrumented/schedule.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/instrumented/schedule.json",
|
|
"sha256": "0db2d5f73709934bf7a91db2908a8dc3301614d09490769bf369aad96ee4f0fb",
|
|
"bytes": 1574
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/proxy-validation.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/proxy-validation.json",
|
|
"sha256": "87b24b8ce62842b681fc7b470572025b3fdee5cd0abe66bf6404fee5136c2f09",
|
|
"bytes": 774
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/summary.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/summary.json",
|
|
"sha256": "4f5705946624e474f686ce2ec300cbc743b4cf4984281bf0c28394d8af2fd9ad",
|
|
"bytes": 587
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/unwrapped-audit/coefficients.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/unwrapped-audit/coefficients.json",
|
|
"sha256": "c463f321c25ce79fbb95756ca3fcc8b4b9e2b36a31ce074439b6a45d0641fcff",
|
|
"bytes": 2335
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/unwrapped-audit/compiled-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/unwrapped-audit/compiled-code.json",
|
|
"sha256": "9ef07e82240727c9761386ecdd054475050156677e9b0a3a6bc37b845c1f602c",
|
|
"bytes": 11038
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/unwrapped-audit/completeness.csv",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/unwrapped-audit/completeness.csv",
|
|
"sha256": "c391cd11c54130ce647d85f3b175256f1bfc2d5b50601ede4231cb7038cea401",
|
|
"bytes": 81
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/unwrapped-audit/generated-code.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/unwrapped-audit/generated-code.json",
|
|
"sha256": "679659ac5f0f6f82d0f7e130c37d640b5ffc22211191cdf56c350929cf539c58",
|
|
"bytes": 11054
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/unwrapped-audit/input-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/unwrapped-audit/input-audit.json",
|
|
"sha256": "b3a74657044ee0f3dbc4190b453dc4b8d6615f9be27d94141075de1e18095fa2",
|
|
"bytes": 1237
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/unwrapped-audit/queue-audit.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/unwrapped-audit/queue-audit.json",
|
|
"sha256": "33ba2db10e5c65015d82d88ef1d0d704d46923677e0d4f9c8242136a31c86cd7",
|
|
"bytes": 371
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/oracle/threshold_rounding-float64/unwrapped-audit/schedule.json",
|
|
"copy": "evidence/oracle/threshold_rounding-float64/unwrapped-audit/schedule.json",
|
|
"sha256": "af9f8f7b182f3c780b23e1448888728ad89be2bbaf7ebe5631d6bff7c7ae77db",
|
|
"bytes": 1411
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/protocol/case-hashes.json",
|
|
"copy": "evidence/protocol/case-hashes.json",
|
|
"sha256": "3b0095dd04f6467323150497ac84c4d375a83f9ed3130250955eb65f8d406063",
|
|
"bytes": 3883
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/protocol/preregistered.json",
|
|
"copy": "evidence/protocol/preregistered.json",
|
|
"sha256": "f2cbcbf0dd85a61a7267a7567332b00f162d42e69d655792c1bf980d3f1b7c90",
|
|
"bytes": 3395
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/regression/frozen-five.json",
|
|
"copy": "evidence/regression/frozen-five.json",
|
|
"sha256": "863d7c13334f75e0dd270f1bb870c4a2d86dbf2ff7324a4146560509aab1abd0",
|
|
"bytes": 1282
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/regression/gpu-complete.json",
|
|
"copy": "evidence/regression/gpu-complete.json",
|
|
"sha256": "9ac57b06217a4d7d75a36a8611df398381b4313772ba39b6af0b92a0dd2cd073",
|
|
"bytes": 101768
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/regression/old-integrity-after.json",
|
|
"copy": "evidence/regression/old-integrity-after.json",
|
|
"sha256": "c4dba5e26a96277f128887d20734705675507395755747f4af1e8a36dc36a538",
|
|
"bytes": 3130
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/regression/old-integrity-before.json",
|
|
"copy": "evidence/regression/old-integrity-before.json",
|
|
"sha256": "c4dba5e26a96277f128887d20734705675507395755747f4af1e8a36dc36a538",
|
|
"bytes": 3130
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/regression/oracle-complete.json",
|
|
"copy": "evidence/regression/oracle-complete.json",
|
|
"sha256": "58f6d1c1afe4f96a82a247ae46d8a987d74cc6f59a79eded650bf24ca2a18751",
|
|
"bytes": 2330
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/manifest.json",
|
|
"copy": "evidence/manifest.json",
|
|
"sha256": "a86caca4ecbd96c2b7cf24371b28f80f37170fa8769cdd9a31c822434be1eef5",
|
|
"bytes": 171109
|
|
},
|
|
{
|
|
"source": "experiments/phase4ae-author-runtime/checksums.sha256",
|
|
"copy": "evidence/checksums.sha256",
|
|
"sha256": "7bd84b8365953964b24684830e1fd97fca04bef8f8c051dcad3ff95633a1ae82",
|
|
"bytes": 108789
|
|
}
|
|
]
|