{ "profiles": [ "wai.quantum.wasmq/1", "wai.quantum.wasmq/2" ], "note": "every run vector gives exactly `expect` on every engine and every host; every refusal is refused with its code (extensions/quantum-wasmq.md ยง9)", "runs": [ { "file": "envelopes/surface3-decode64.wai", "envelope_blake3": "3a11569a35aa1baad3963b0090c56755638390a8f843bbdf5e34f1d212352236", "expect": { "status": "ok", "fault": null, "fuel_used": 836380, "callouts": 32, "transcript_blake3": "037069c26ac0beba900fefb241e021dec52c77356506cad8ff39d3240c090d82", "result_blake3": "35a686ec1b71982c65d7519e24166353ad35e8114ca03cf0003d38a93f7b06eb", "receipt_digest": "df6d2e83f44afa7db6d7c6a3d4791443525b1778b794023326296050cb47dcb1", "job_blake3": "80676447542d8436b8c26afa4ef13aedb526f13c02c117abf50c970cb589b241" } }, { "file": "envelopes/surface5-decode64-job.wai", "envelope_blake3": "3691fd8cac6fffe58d46a496aeff248a40d654129fe8cd23bae3dd6d3cebf8f4", "expect": { "status": "ok", "fault": null, "fuel_used": 765610, "callouts": 16, "transcript_blake3": "eb5252076ea8bb4c45ccec714a3cc64b89e833fe0a49c36a28881b63b1c3799e", "result_blake3": "c38c0aa8b9f6432b7fe4776d8d58b270893f683901c53a73742a407004f92b66", "receipt_digest": "5109fd0c11be13f637530e8861ec2d625a2985a9a3ad9340e0d00d36aea2346d", "job_blake3": "dcf23b94abc66a4b0ab701c80fa8d0215bbf24e044261211153d330dcf921817" } }, { "file": "envelopes/gross-decode.wai", "envelope_blake3": "0e62b798fc22ee783fcdf318188ab697f50c567487f71b512a5c555a7dd46cda", "expect": { "status": "ok", "fault": null, "fuel_used": 1021912, "callouts": 4, "transcript_blake3": "29b7d81e2ebc5d2dac6413ab3c15a2da2b2dcac03f3c68633a10bde60e59d3c4", "result_blake3": "c193273cf7f0065b75c9a8baaf3c7e91f0f75b427b511a065c1d6ccd0bbded50", "receipt_digest": "7d65a55b4c9839e807f4ee8a8dbc5ff79776967b3c9f828aa0efec8fa36fdb86", "job_blake3": "085e75df38df048ba9198560191639d2f101329d0be38abebfed28a76009f09c" } }, { "file": "envelopes/atoms4x4-plan64.wai", "envelope_blake3": "ef6d0807dc70169b792feec7d08bfe824ec104cebd56ae4df18e5520107ed479", "expect": { "status": "ok", "fault": null, "fuel_used": 576343, "callouts": 32, "transcript_blake3": "927caf8a41a7e9a654471532af1f428ddc86cb5efab5b0d64ba21fae2726d752", "result_blake3": "5d688283421aac7bdb96350844120919d636aa481b6b662392ee132b471c0fe9", "receipt_digest": "51e4e50d256f357866845d7678ed836a39b57e0faf141dd458cd2c69d91f4c47", "job_blake3": "10e89d19dc3b037fc32cb04fdfd928b7b36bb58784182e404223ec8d16516105" } }, { "file": "envelopes/atoms9x9-plan.wai", "envelope_blake3": "43647ef1419dcb7c0e584daa4201f8745f617141d14df8d668f75b35bb39cd44", "expect": { "status": "ok", "fault": null, "fuel_used": 914777, "callouts": 6, "transcript_blake3": "e280bbc8ba046e7f003d173c4c280050d63e1b972ec216c465ce67bed621ed6a", "result_blake3": "bbcdd6333d35a7a59de45c970f39d11a7c08fc32df3abe4fdd211008b4d0e51f", "receipt_digest": "e22f0fca1ff06a0135cf12607bda14a374bf45b393cd563e0795e82c1a41c554", "job_blake3": "452b81e0d98b2fd78f4fd4852033d1c5b6112f6994001de5e09c178a36dba636" } }, { "file": "envelopes/list-echo.wai", "envelope_blake3": "7ae91afc65551149a86ab445d24a28acaf52323f5aaa858d1859b0434ae156bc", "expect": { "status": "ok", "fault": null, "fuel_used": 224, "callouts": 8, "transcript_blake3": "3c53158450b92c3e6f15f7b735d7ef722b6c602d80c8dfd323f3d4f59408f710", "result_blake3": "b934991a387b3cdb81dafe6c14bdbef57999f3954990b4089253796b605debe1", "receipt_digest": "541548abbfe6224fe2523fb2f6133bb61e808e78f2757e635fdda8a395a4c425", "job_blake3": "07eeda7a1acef2897e94c81389e009ef24d4c43c04153ea786ba30d1fc1c40c9" } }, { "file": "envelopes/reset-draws.wai", "envelope_blake3": "8404b85c8109a980a8a8c21a56be5664f193fca55869a53e51fee4d2e466ea70", "expect": { "status": "ok", "fault": null, "fuel_used": 128, "callouts": 64, "transcript_blake3": "6030f402b046fc2ccce71fb0342fc46dd6da2347fabbceda3677815fa82472ed", "result_blake3": "5780a171a07be0f783e2eacd8dc71a1a64d3b32c764f2d25adc148edd9c5ae50", "receipt_digest": "5feb7d5ad3bdafb62a9c88bc4ea50a671a03a0d0e7375fbdabf5fb7260ac3f6b", "job_blake3": "6dd8e6c35b99ca5ccff31681d313372f74f60dda2dbb88536c38b7ff31222d12" } }, { "file": "envelopes/nan-canonical.wai", "envelope_blake3": "70571f247aeb32182ffa65b93404373656f13af4a53d6bd8338b471b2e0d7a31", "expect": { "status": "ok", "fault": null, "fuel_used": 64, "callouts": 8, "transcript_blake3": "d062b788107d413845ef253a9d9265548346393a28faeacfe3ef3be471ebfe7b", "result_blake3": "2b79f2f7e4aa970c1e00dab10a32542337e551a8851c2d6f230b636cb22bd40a", "receipt_digest": "5a3305371c79689531a7cbaab3187ae33bfdb522153537c16c8099c57ae0570a", "job_blake3": "2e76d20a452820058c9bdb73069ca6238ab97a4e33c7c5a88096e99c4e574715" } }, { "file": "envelopes/grow-past-maximum.wai", "envelope_blake3": "221f7185865476a51e4b5b1a483b2ab78392b40a5efc2c4a86dd064623c284cb", "expect": { "status": "ok", "fault": null, "fuel_used": 74896, "callouts": 16, "transcript_blake3": "0fee265d944e8a9d3b6076a0e1c50647847446a3ef01adcfc61b014768cb838a", "result_blake3": "f0d60769b88b7b1916de9c31159015e01d9b628fbe4dde3558d2c022f0742007", "receipt_digest": "c7b6269b9a67c3bc4b55e2f9a55856e52edcb8630a2daa89d5fbe430d33bd90c", "job_blake3": "1c38d94473fcc2c9093db03355eb656e0db5311cc72fc31d11b690fa8625da00" } }, { "file": "envelopes/fault-fuel.wai", "envelope_blake3": "22d84ca179e6f5c69a4a2eb93e9bdc545b021add204c96cb1466c306119b0b35", "expect": { "status": "fault", "fault": { "reason": "fuel_exhausted", "shot": 0, "phase": "call", "module": "m", "fuel": 400, "callout": "f", "budget": "call" }, "fuel_used": 400, "callouts": 1, "transcript_blake3": "47e0790eb680fb9b05637b791d60d2614cf74adea1114bbceb36ee237f9839f7", "result_blake3": "0750cc44f1ec6c1f133f31cd2b63e5e5517b85351294eaf23d68d81ee0f02e86", "receipt_digest": "9cab411ba32a647e5c4b0ce53609a4308c1a07bd26c817fca582e3e04258bff4", "job_blake3": "28ea3f814025c3ac778a726cb4465ca6e24d041515aab9fcebf573766d3bbbb1" } }, { "file": "envelopes/fault-stack.wai", "envelope_blake3": "760fcb114402553db1314cb63c50ff40ea3012aaa3620b0079e1b9684472cb5f", "expect": { "status": "fault", "fault": { "reason": "stack_exhausted", "shot": 0, "phase": "call", "module": "m", "fuel": 71213, "callout": "f" }, "fuel_used": 71213, "callouts": 1, "transcript_blake3": "312cb35563349cf18ce5206254a933ba0e98ac08d15519719347b39126997727", "result_blake3": "d65de2d3cadb96fe4e258057ed230b2e4c9f9ec5c44ae6eea6b08720d3c7d386", "receipt_digest": "6aff4dc5a0cb49865e2234ef66f484b3f5844d3fbffcef5ef3ad420e452d7af1", "job_blake3": "e039a7f6a78a1e16c10cb84fb1dde963140f2ae83d43425ad54af44904dd4ea2" } }, { "file": "envelopes/fault-trap.wai", "envelope_blake3": "8435227e277d8f3fdea2c7847be85aa618389ec9d7432d72d0170f940da7fa66", "expect": { "status": "fault", "fault": { "reason": "integer_divide_by_zero", "shot": 0, "phase": "call", "module": "m", "fuel": 6, "callout": "f" }, "fuel_used": 6, "callouts": 1, "transcript_blake3": "7d4291653436ebc69debfc0881d22799cd6d1e972c2cc81d26d62aa3b8bdb12b", "result_blake3": "87e38f767b2cf5d2648be7626b3e0c3a6fbd94a0020827b2894e6cd650406bd3", "receipt_digest": "baaa13476d446f10eb9adcde00289198f713e0bdd02f886eb8ecfff56087caf4", "job_blake3": "57ab50773e9e77dc909d3cd19d19e87ebde2020ba8abcabcc68eb3c27902843b" } }, { "file": "envelopes/fault-bad-result.wai", "envelope_blake3": "91b61abdd43a815f26055fe5834b2cecc57ebe5951c8a41b55350f5ab6acba4d", "expect": { "status": "fault", "fault": { "reason": "bad_result", "shot": 0, "phase": "call", "module": "m", "fuel": 4, "callout": "f" }, "fuel_used": 4, "callouts": 1, "transcript_blake3": "f64338e17fa3fdc023f35081e59fb8c168742f65e7397d41527c037b587fad8c", "result_blake3": "2a323d102043e328978b9628007e18b34f89dd4ed7e7e36f1b23d5578e3868f4", "receipt_digest": "507ad19b8d4f6db08fa02b931ccf35dd1449dba10370ed17db495e83cb29616e", "job_blake3": "4ebd23da949d94c36566dd46852bb399f6d2754ac399e4c8b232584f5b499a31" } }, { "file": "envelopes/fault-unreachable.wai", "envelope_blake3": "8b952a5fb0fb3372da2348b1007a32b1114cbedae6e9f839bd2882d9744499ae", "expect": { "status": "fault", "fault": { "reason": "unreachable", "shot": 0, "phase": "call", "module": "m", "fuel": 1, "callout": "f" }, "fuel_used": 1, "callouts": 1, "transcript_blake3": "1f9cfb398c872903d55e1962f50421060c42968e524e914e04bb0b971e4d0881", "result_blake3": "d56d9c1bd0b7002f18f229728b12202896e9eb6c99b743a6328fb74b9f99085e", "receipt_digest": "687a172bf36f2ed86fc711216505aa3106547196fa88df296479ad13fb3357a1", "job_blake3": "a71b55d916bfe51b36f48c5343a96ac142a841093f8d54fe2d4946b1ea8d8811" } }, { "file": "envelopes/fault-memory-out-of-bounds.wai", "envelope_blake3": "a822060b2aa7c046e6c2663894fd92dacbb77cf30149895e810e6aebe078a3e3", "expect": { "status": "fault", "fault": { "reason": "memory_out_of_bounds", "shot": 0, "phase": "call", "module": "m", "fuel": 3, "callout": "f" }, "fuel_used": 3, "callouts": 1, "transcript_blake3": "970f77653a32a719ccfc3b7778fb4f1ac30e46b6c3024734047a4910e191bee7", "result_blake3": "2b54ec2727c92bd6eac308dc4b3898799fe510357c6dde77cca3551bf48fffe6", "receipt_digest": "857570955a1dfc37fdbce9b57f98ab46ac6ce2b698d0dbce083bc3baec6972d9", "job_blake3": "8f8df0039509bc30bf54bd6586654cdf019ae6f860f5e3fa53d758a818a42c2d" } }, { "file": "envelopes/fault-table-out-of-bounds.wai", "envelope_blake3": "510a179c4ee42e8d17a98f4700944b276fd3cf344878764afd4ccd91416380dd", "expect": { "status": "fault", "fault": { "reason": "table_out_of_bounds", "shot": 0, "phase": "call", "module": "m", "fuel": 4, "callout": "f" }, "fuel_used": 4, "callouts": 1, "transcript_blake3": "dce5984f8ad188be19430448f3c84d0d74d282b4a688e8c6603e1e2ee3ff9416", "result_blake3": "ce4abd2fe9f2ea73ef9aba52f6a4d8c24a9c37fb080c4847d4127d3d161e80b8", "receipt_digest": "65d8fe86e24123231885301e3b64d045439aacdc16fd730ce5a5f649af60e7af", "job_blake3": "b6c302ceb24eb0ef383a2d1fc8a98548710d88f88e62026edb99af4ce71591d3" } }, { "file": "envelopes/fault-indirect-call-null.wai", "envelope_blake3": "552230daaa158f87386f51d2628aa1ceedf2f04ac287b6ecea7d891f98bfc3fe", "expect": { "status": "fault", "fault": { "reason": "indirect_call_null", "shot": 0, "phase": "call", "module": "m", "fuel": 4, "callout": "f" }, "fuel_used": 4, "callouts": 1, "transcript_blake3": "c7ef604fa47ea8019d723778fd27fa5c1042804271bda01b5af60135a82ee135", "result_blake3": "f334e67b7ca2dea0fca173508c11f7d67eebfb2d0dab861b65f973a7dbc331fc", "receipt_digest": "baceedce8975ac8e97ec3004b2e4e93ec56fde489d778a9a0184804687a2edec", "job_blake3": "6c22b6e4842d9f56965ae68c981513f9fba996a1f823329754adfdc6e48e9b88" } }, { "file": "envelopes/fault-indirect-call-type.wai", "envelope_blake3": "786e91c3d28aa7bcb0c85c4e434791fe75c383efa13aab39954e5364e5126cb7", "expect": { "status": "fault", "fault": { "reason": "indirect_call_type", "shot": 0, "phase": "call", "module": "m", "fuel": 4, "callout": "f" }, "fuel_used": 4, "callouts": 1, "transcript_blake3": "06822065549032408578f034a902cebfb74688d05201bc2b73f2d6f77649ae81", "result_blake3": "5bff1a6a5784c951c6eb23da129ffb6b2c106113ece1c57ec124aecc9ab902df", "receipt_digest": "6081e47cb523257269bb224f024b533083bbbb6fb6f993499f594d22886d5b2f", "job_blake3": "7e80679f7af5d11c6deeef82c88a26bd05ec7501d543e3c9dab318d5845a6bf5" } }, { "file": "envelopes/fault-integer-overflow.wai", "envelope_blake3": "61bb16b03eef03a4fca1df32058ede1ac4c70c616cff6a7da30ed5ee492619c3", "expect": { "status": "fault", "fault": { "reason": "integer_overflow", "shot": 0, "phase": "call", "module": "m", "fuel": 4, "callout": "f" }, "fuel_used": 4, "callouts": 1, "transcript_blake3": "8c4327d3f47ed561a49685961fb287930eef69aa0d1163a4554e6080b1994f00", "result_blake3": "2029400253592096bb95d290cbbdbfc474c270844ae8cac41ddde12c8b967614", "receipt_digest": "cf8576b72620376d1374d6d038db4012106125f0a20586fc17486f24340a9f1e", "job_blake3": "ffbf1a33878511e2fb5b0a12b7e22ff02938913ae2348b7cadeabc29ad937d94" } }, { "file": "envelopes/fault-invalid-conversion.wai", "envelope_blake3": "791ca6b1803e937865518c87b790ab2f69d393013e836dcac54ef84e521e9148", "expect": { "status": "fault", "fault": { "reason": "invalid_conversion_to_integer", "shot": 0, "phase": "call", "module": "m", "fuel": 3, "callout": "f" }, "fuel_used": 3, "callouts": 1, "transcript_blake3": "682221395725ba345f0a06755334e1f369499d137039be09332d1200f189a78f", "result_blake3": "73419905fce695c8e37d772c37d3a31b39a09e3c03e22c9beb2661d71dbd901b", "receipt_digest": "4f8916210f1d09b02e2e36257f1e0265381db91abfe363e798b7c26f386e6d08", "job_blake3": "43840b44a70525340f7a529800029f58c5421cb5f06f61000853a22076f1e664" } }, { "file": "envelopes/fault-in-seed.wai", "envelope_blake3": "755210cc7eb29a5d8552a6bf2cf0907697fc94342ce1b179e1f3f29b15cbe027", "expect": { "status": "fault", "fault": { "reason": "unreachable", "shot": 0, "phase": "seed", "module": "m", "fuel": 1 }, "fuel_used": 1, "callouts": 0, "transcript_blake3": "1f9cfb398c872903d55e1962f50421060c42968e524e914e04bb0b971e4d0881", "result_blake3": "b4a18d79c3a734d523b51237ab88876d6bf817701ddbbd6ba11cd9da2729d20d", "receipt_digest": "7a7c5ccfd180392daabef988f20ef14689263313d52f7283c0fba017c0f63421", "job_blake3": "ef22734d1dd547edfd74146ec6f2be3bda4c8774f825667d9364227ad880fdce" } }, { "file": "envelopes/fault-in-init.wai", "envelope_blake3": "d3cc9387b18e2f2cd1e49379249884bf0cdc58399e3fe031933e4e17a7a538f9", "expect": { "status": "fault", "fault": { "reason": "unreachable", "shot": 0, "phase": "init", "module": "m", "fuel": 1 }, "fuel_used": 1, "callouts": 0, "transcript_blake3": "1f9cfb398c872903d55e1962f50421060c42968e524e914e04bb0b971e4d0881", "result_blake3": "9e627dc2d4d1f23a87dbb51216b71c08a6be658d828cff58b73400f32146f8cd", "receipt_digest": "ac633eb1fb15f62ad6df9b6b7891dc7ada2dac6c1503e5f4d073dc866b40cd6d", "job_blake3": "fcaef3589572a03eeaf086b05bb9219a66e41b9bb418bd1e1bff4fa8ce128294" } }, { "file": "envelopes/fault-in-prior.wai", "envelope_blake3": "6da2c86da1b3d288df324fa7902e4cb10c9c5b21160921907299402466c5d50c", "expect": { "status": "fault", "fault": { "reason": "unreachable", "shot": 0, "phase": "prior", "module": "m", "fuel": 8 }, "fuel_used": 8, "callouts": 0, "transcript_blake3": "3db8f511346d060c257940c086300666c8eb1b27c6083d36066b8d8f38e6408c", "result_blake3": "219f8c11625c397b66e36e095ed5ec283c035d508c6e814fe72d838cb9b768d7", "receipt_digest": "48f6ca3e7cc12a0ac8f277c342bf8098c9ca9d2938f855eb75336a33e0ce29b3", "job_blake3": "0a2d5015081e5f5848684973109cbc1445c6245365aac604ad6f507c59e39ded" } }, { "file": "envelopes/fault-fuel-instance.wai", "envelope_blake3": "36bafc2bdc98839a1e972ad5ffc1f193c64fdac6fdf45aa2c12cde86c887670c", "expect": { "status": "fault", "fault": { "reason": "fuel_exhausted", "shot": 0, "phase": "init", "module": "m", "fuel": 300, "budget": "instance" }, "fuel_used": 300, "callouts": 0, "transcript_blake3": "be6859cdd3b1d9c43644d3b322c875f045610e4230b5a844ad8b44be02166c9e", "result_blake3": "810fac02203ccff06024911ca5a9d516b218a723283097438b4030feddd8bd68", "receipt_digest": "fb1b1f833cf07088f81e2589ee57fefade804bcf86f1464c44db605886e9dd13", "job_blake3": "4bc66941f1fb52cc2e1775d72fd41aafe9b98075f4121e66777bb56c9325240a" } }, { "file": "envelopes/fault-fuel-run.wai", "envelope_blake3": "0a19542a6a9178984a93d9863a1d5e9371e00b86c6e9143e04b5f0fb5b0be177", "expect": { "status": "fault", "fault": { "reason": "fuel_exhausted", "shot": 2, "phase": "call", "module": "m", "fuel": 4, "callout": "f", "budget": "run" }, "fuel_used": 50, "callouts": 3, "transcript_blake3": "3772395e9bb2f9fba3b1a7ef4f5def3e5f10f76a9ba517d16056e5fd7cb7d413", "result_blake3": "2d76e6afbe53c5a7c70efaf9e2718798801abb44db8f8e6ec6dcb41c5deb8f20", "receipt_digest": "39102ed51a3b76f36d8fafb5a7f4d9af7c1d2363e74b5c1d6dfe593770b364ad", "job_blake3": "d5d033c179132599093c62e203564454dbb7d1cedd4066990a4c5a207fd8a784" } }, { "file": "envelopes/list-post.wai", "envelope_blake3": "00550280fb8c8cd69b62d9a72da2dd5e5a31a32c7563841d281d4559f6e33cd9", "expect": { "status": "ok", "fault": null, "fuel_used": 512, "callouts": 8, "transcript_blake3": "4391bccfcad1a60940f034c28422b29455fcb25bb9f01e08d29e2187dc2d1a0a", "result_blake3": "69cdcbe7d145b7ff2a35fec1d9751101d56e8706fd1cd58ffbdf39fddee74811", "receipt_digest": "046596e689946d057732ae72d01605a1b9dbd44f54b617c225a275fcaebb2ade", "job_blake3": "1b8f89ceee027fab32ed7db06d364846fdfa0b74fe19b3e40a4e16710b801010" } }, { "file": "envelopes/fault-list-misaligned.wai", "envelope_blake3": "86d7a11aae4324b6d693f9a4c328ba7d0fdd1356ca8f5745f7341d87a476117a", "expect": { "status": "fault", "fault": { "reason": "bad_result", "shot": 0, "phase": "call", "module": "m", "fuel": 25, "callout": "f" }, "fuel_used": 25, "callouts": 1, "transcript_blake3": "83aeb6066d236324098b0d7505f7d7ac2b33d55efd46c2ab3aa25fe689f25a75", "result_blake3": "3fca45ecabc10a75e9bd79e1a163f43507da91ee884ce9e97a9a2ea6473017e3", "receipt_digest": "dfc140bf150a728b84df0ba88e703a4157728d6dfc4a4165623cd77bc9bbb99e", "job_blake3": "8c508318fb58d5ee7c04197702751e2cc66a236aa5fa34c44284757f1da2c0cc" } }, { "file": "envelopes/fault-list-outside.wai", "envelope_blake3": "50a51289910336b9abfbdcc3c20e4de2f5aeaeb45aedd5222122dad37e550bdc", "expect": { "status": "fault", "fault": { "reason": "bad_result", "shot": 0, "phase": "call", "module": "m", "fuel": 19, "callout": "f" }, "fuel_used": 19, "callouts": 1, "transcript_blake3": "27065fd3a25dd0889a42b72268f297f9aa59762db626da94eb9f7c3f9000411c", "result_blake3": "843876d7b0ea70197ad58158f52c8a926a8d7c6a18b4f8792da2119aab2424c7", "receipt_digest": "5e4d3a2b7291919e7c49a8f9ef2fe1a75fb45de2b5d19800b057e21267f63a4f", "job_blake3": "669dda2297272b8eea9108db7fcbe5138cfc32edcb634495140a2b8010d64b9d" } }, { "file": "envelopes/fault-list-length.wai", "envelope_blake3": "e174412d171634231b2f67750a533c57b9ae3a770bc7cf05bda73ebbd7e35acc", "expect": { "status": "fault", "fault": { "reason": "bad_result", "shot": 0, "phase": "call", "module": "m", "fuel": 22, "callout": "f" }, "fuel_used": 22, "callouts": 1, "transcript_blake3": "7551907ca0fc06cc89ad08083b41e47e182787d0c8e5a33cc3da590472b35cce", "result_blake3": "93ff2af51423c90d07d71aebc1017725505a2616ad9c0b0828422bb6c2c4808a", "receipt_digest": "9825d37bf34c4e19ef9d180b7af2b05fcf95bae26ff68f26df3c2dab8f1bf2c8", "job_blake3": "8d49833a20416857978bf773fb2ca8250ad28b2dd2d59aaf354969a46c187185" } }, { "file": "envelopes/fault-list-past-its-bits.wai", "envelope_blake3": "cf3530cd29b8e7acf002491efef49e048a67baf3359cbddd4df39b0a5253ca92", "expect": { "status": "fault", "fault": { "reason": "bad_result", "shot": 0, "phase": "call", "module": "m", "fuel": 31, "callout": "f" }, "fuel_used": 31, "callouts": 1, "transcript_blake3": "80f92a68b68141246bc2d18e603bb3d9407022e0cc83b3c780e01040ee3d23f3", "result_blake3": "b2ad46955b82125e262e0e91e67f8babecdb7ab297030ba34a57e65bce2d5aaf", "receipt_digest": "7348d189ff128b563d5a0cca72d5d78630005b588dc0b34c0d9ebbaff519722e", "job_blake3": "88e89c1dd2dfb1ac5df60b174c28293be28d6b4b17b5f091c3096214efb8a031" } }, { "file": "envelopes/signed-argument.wai", "envelope_blake3": "e17c523aee4a14a137f1d42e9fd54f03d456e9a9ca347d8217c6da572297d46f", "expect": { "status": "ok", "fault": null, "fuel_used": 12, "callouts": 2, "transcript_blake3": "77633819db5e8f0a3e9c15758ee993940be0d03827d59c4fb2c9c1d2ba57171b", "result_blake3": "df732d850cfb5f877e0adb6b340cacb97fefef59c211058b908db13619c3e3c3", "receipt_digest": "508924a857c8e7cd5b0572ef745d4a7681488bce4f18dadcd6861f8a36e1c43b", "job_blake3": "593401622b16525b8ba54c89e83537f644c594152424ad7c60ffeffdda656a7c" } }, { "file": "envelopes/measures-nothing.wai", "envelope_blake3": "5e78032dc7e8f53a8d7f2682bf4ac710f823b85efe1b2871c7104fc1026ec4d6", "expect": { "status": "ok", "fault": null, "fuel_used": 32, "callouts": 16, "transcript_blake3": "125fff6fc9ef837133e8a32536d72cf17bb2eba5339cb44e0670de28e603c223", "result_blake3": "459a3f37e623b8da48057e7e51b757e32eef2afa63e43feb1741cf3bb121a549", "receipt_digest": "b42926844630b5a6fe803649f349ab027021d17c2ffdcedf77bb09fde80090ac", "job_blake3": "5f5cc09266d9ed83d09ffe65d37e9684ff674af6339ca0919e8bbd169013aec9" } }, { "file": "envelopes/bits-nothing-writes.wai", "envelope_blake3": "6021d8dea3fb04aa33d39bad7d8a3b8d9c9db917b39e7704247ef21a87f0207b", "expect": { "status": "ok", "fault": null, "fuel_used": 4, "callouts": 2, "transcript_blake3": "2d5add095f9856982ef6c371d9bcebc5b151c054e32243b1c216decb192df0fd", "result_blake3": "8d03867d3a6d2942af8db247eb09ec91c612f5b60ca1f585269961e011262bc0", "receipt_digest": "57999dae4d22e2d33dea1aa34c1522d49e751a96f8c41bd6914c1ed099f7dc76", "job_blake3": "34b6358c0e0e00a060de35c1f8b995344ddcb162503e0bc04465986d8876bf3d" } }, { "file": "envelopes/block-bit-not-in-outcome.wai", "envelope_blake3": "8d3bd92000e4f20f1457cc9d945fa6b1b492c47fe97024b69cd4902c65cef293", "expect": { "status": "ok", "fault": null, "fuel_used": 4, "callouts": 2, "transcript_blake3": "1c701f685b85c50710f9fc16977cf32be2383a745259abb8d18127dd5893213a", "result_blake3": "c5b9cc7d75f29d9287b3e82c908ec649b3ea9a4daabb468b3b57bb10551e6158", "receipt_digest": "cc99b5b572b3af6c609f8d1d13c1fa8ce57b7528cc8a7d2dc77dca6e3e0e622b", "job_blake3": "17c7efa810d0205c72b07932da512b8445928a3933b71d99c7e7adfc5742f323" } }, { "file": "envelopes/two-modules-in-order.wai", "envelope_blake3": "31ec7ef4b7522926bb950f0e5e148f9824c5ffb0f19cba103da1a6779c747383", "expect": { "status": "fault", "fault": { "reason": "unreachable", "shot": 0, "phase": "init", "module": "first", "fuel": 1 }, "fuel_used": 1, "callouts": 0, "transcript_blake3": "1f9cfb398c872903d55e1962f50421060c42968e524e914e04bb0b971e4d0881", "result_blake3": "a47f66a5d39469cae3d11ba433004cecda67ec2289ee0082d26bc6da44173771", "receipt_digest": "4188a615da097c3d332a95590d64f546799f44357abb7cdf8dc64e6ded6de71a", "job_blake3": "4fb6e4306cba4a897518f3745155c2bd564fe4387760696d67e24cebcdecf113" } }, { "file": "envelopes/physical-qubits.wai", "envelope_blake3": "4c193ee3085e2812b52d3acd32187f3cad6955b4f437ae3abc9385a4dd192bc0", "expect": { "status": "ok", "fault": null, "fuel_used": 8, "callouts": 4, "transcript_blake3": "4aa09b443e84b2e03863cdbec2c470604aa1c9f6c4833e9bb014772e574e9674", "result_blake3": "92863754bfaf6411b6bf9af47e17565a3bacec1e200822d50428ae8c401d9852", "receipt_digest": "1c64f060044be74c24fe6091d86d0ed6ac51b9255d1455a7b4cc3fc19c054142", "job_blake3": "cab385d980f1b05c04fd45cf4ba2c83fe7e3aeae52ef033dae841d7e6b6a04e0" } }, { "file": "envelopes/v2-t-toffoli.wai", "envelope_blake3": "3298b286d5953c77a9e3e4e2a97453d670c3f1b191ee2858b81823ececf6053c", "expect": { "status": "ok", "fault": null, "fuel_used": 128, "callouts": 64, "transcript_blake3": "5ed08b967ab344654abad8ab16f6f690f71d82db4572b37e55cd5cb4c9f02a19", "result_blake3": "5637f47e7de830dbb8304bf4c8f735ea40af5f26563dc6519fdefb7d23265898", "receipt_digest": "381d756aaa2ed3017087532800d8236a17e7993c2316dc595be6e7f7a0922c3a", "job_blake3": "746e28072328e7208987f66f43faa7643b01408c84b4168149ed2601ec9a0172" } }, { "file": "envelopes/v2-feedback-rotation.wai", "envelope_blake3": "ac71905ca5070c6826302beeec115f904ac1c04db7b616cffef0c00dcd80b142", "expect": { "status": "ok", "fault": null, "fuel_used": 256, "callouts": 64, "transcript_blake3": "19447533a24cb1ddafb7e3fed871db11cf09c711cbab1e3d0199a923cc2b0394", "result_blake3": "c3c375369ea692ce156cbaba8afe74d7210d5e0bd072d8e3a15c26289be6eb01", "receipt_digest": "eaf8bdd804187924ed2eb42774b84df121de98b565f882b561317884fdfed57f", "job_blake3": "48664c52f954e9973f3a6b8b2038b0d9552aeb274d5f075aed9b728f7d68a25e" } }, { "file": "envelopes/v2-angle-arguments.wai", "envelope_blake3": "3e60387c1a0cfbaf67478790ba905d510f9c901ce36f2f2d741b5666714c79c6", "expect": { "status": "ok", "fault": null, "fuel_used": 128, "callouts": 32, "transcript_blake3": "2ba0ec16e9d585ff5b4d1df3a0d2b5feae753e610503e4586e4c0e52ba5edf4b", "result_blake3": "722401a0402d5857cd2735d18051d5c107a5f8578587df0967141169fd6ff16e", "receipt_digest": "5863fc1478fe63f2e290865e364dd1bfb42f2ffed92348a9726fda0731f5f0e3", "job_blake3": "1e348585187339e5c9957733af95588067106ee66e76666a851a421011b2ada7" } }, { "file": "envelopes/v2-stabilizer.wai", "envelope_blake3": "80d60e6d7dd34f07e404ca6fbb8d8f13b90b6d89b59ebfe48ebd4d651f7326f5", "expect": { "status": "ok", "fault": null, "fuel_used": 16, "callouts": 8, "transcript_blake3": "bc479310369e5322b064eb4361686a1004ebeacfd50b204d0c20c59f767bf96a", "result_blake3": "c3946dd4615b88e6542864c3f3d269d7dee4b80680b0a4ad7a78c14099de638b", "receipt_digest": "395510ca01f16e51da75b4f00f2bb25287ec80e485de13bd0517ca3adcaee061", "job_blake3": "e71b2d9d1918e3c0ba2e282eece1f994cf925344cae7cd58f52e22ac4b29deff" } }, { "file": "envelopes/v2-exact-of-a-clifford-program.wai", "envelope_blake3": "34382a3a1e93ffb8bd4f3ba8615e41bb591f7d3132769c95fd4ad07e289a4597", "expect": { "status": "ok", "fault": null, "fuel_used": 16, "callouts": 8, "transcript_blake3": "bc479310369e5322b064eb4361686a1004ebeacfd50b204d0c20c59f767bf96a", "result_blake3": "6f5feca570e0ea86991379763a6eadc254b20192cb87bb15463fbe693f04469b", "receipt_digest": "cc6d4ced083fe3183aac587cd28d00575abc07fdea7d35dddc01c8f62ed93ea3", "job_blake3": "7bd8f455cc09b0db09652a6a075c720a75ee770c5aa296a0e2636f8e9e282d1a" } }, { "file": "envelopes/v2-rotations-and-a-reset.wai", "envelope_blake3": "b416debfcd8605ff3467d025262fbd5fcd5a818d1a372f6ef4359d11ef3d1af5", "expect": { "status": "ok", "fault": null, "fuel_used": 128, "callouts": 64, "transcript_blake3": "ba2b41d89f49f4479d139d03b9d2fd7bb2e6ca55908f55afe7fe04bca73da8bb", "result_blake3": "25275c5ee3346392a7ed8a0bf23641409404632a31707498f1b70344df2b5f72", "receipt_digest": "08dca941042358ab79fc9dca67f4b61e26e29ce87c696bc0622e0e6846122c03", "job_blake3": "a15bf2bb211b5808db10d0ba6cee6c02cb2bfe0404ef548af39f48bcb287b1aa" } } ], "refuse": [ { "file": "refuse/body-without-end.wasm", "code": "W001" }, { "file": "refuse/function-of-no-type.wasm", "code": "W001" }, { "file": "refuse/import-clock.wasm", "code": "W002" }, { "file": "refuse/import-random.wasm", "code": "W002" }, { "file": "refuse/memory-unbounded.wasm", "code": "W003" }, { "file": "refuse/memory-too-large.wasm", "code": "W003" }, { "file": "refuse/start-function.wasm", "code": "W004" }, { "file": "refuse/shared-memory.wasm", "code": "W005" }, { "file": "refuse/atomic.wasm", "code": "W005" }, { "file": "refuse/simd.wasm", "code": "W006" }, { "file": "refuse/relaxed-simd.wasm", "code": "W006" }, { "file": "refuse/tail-call.wasm", "code": "W007" }, { "file": "refuse/ref-null.wasm", "code": "W007" }, { "file": "refuse/reference-type.wasm", "code": "W007" }, { "file": "refuse/table-grow.wasm", "code": "W008" }, { "file": "refuse/table-size.wasm", "code": "W008" }, { "file": "refuse/frame-too-large.wasm", "code": "W009" }, { "file": "refuse/too-many-exports.wasm", "code": "W010" }, { "file": "refuse/data-past-memory.wasm", "code": "W011" }, { "file": "refuse/reserved-export.wasm", "code": "W012" }, { "file": "refuse/seed-of-another-type.wasm", "code": "W012" }, { "file": "refuse/callouts-out-of-order.wai", "code": "W015" }, { "file": "refuse/two-callouts-for-one-extern.wai", "code": "W015" }, { "file": "refuse/callout-of-another-type.wai", "code": "W015" }, { "file": "refuse/memory-not-exported.wai", "code": "W015" }, { "file": "refuse/gate-outside-the-clifford-gates.wai", "code": "W016" }, { "file": "refuse/program-calls-nothing.wai", "code": "W016" }, { "file": "refuse/program-measure-with-no-bit.wai", "code": "W016" }, { "file": "refuse/no-shots.wai", "code": "W017" }, { "file": "refuse/instances-of-no-kind.wai", "code": "W017" }, { "file": "refuse/seed-a-double-cannot-hold.wai", "code": "W017" }, { "file": "refuse/memory-past-a-run-s-among-its-modules.wai", "code": "W003" }, { "file": "refuse/results-past-what-a-host-holds.wai", "code": "W017" }, { "file": "refuse/program-past-its-steps.wai", "code": "W016" }, { "file": "refuse/work-past-what-a-run-may-ask.wai", "code": "W017" }, { "file": "refuse/v2-angle-not-dyadic.wai", "code": "W016" }, { "file": "refuse/v2-angle-off-the-double-s-rounding.wai", "code": "W016" }, { "file": "refuse/v2-gate-outside-the-exact-gates.wai", "code": "W016" }, { "file": "refuse/v2-t-gate-by-the-stabilizer-method.wai", "code": "W016" }, { "file": "refuse/v2-past-the-exact-method-s-qubits.wai", "code": "W016" }, { "file": "refuse/v2-state-vector-work-past-what-a-run-may-ask.wai", "code": "W017" }, { "file": "refuse/v2-angle-argument-off-its-turns.wai", "code": "W016" }, { "file": "refuse/v1-angle-argument.wai", "code": "W016" }, { "file": "refuse/prior-hash-mismatch.wai", "code": "W014" }, { "file": "refuse/module-hash-mismatch.wai", "code": "W014" }, { "file": "refuse/program-hash-mismatch.wai", "code": "W014" }, { "file": "refuse/contract-run-changed.wai", "code": "W013" }, { "file": "refuse/contract-extra-member.wai", "code": "W013" }, { "file": "refuse/contract-not-canonical.wai", "code": "W013" }, { "file": "refuse/payload-of-another-kind.wai", "code": "W013" }, { "file": "refuse/byte-after-the-frames.wai", "code": "W013" }, { "file": "refuse/manifest-changed.wai", "code": "W013" }, { "file": "refuse/other-capability.wai", "code": "W013" }, { "file": "refuse/trailing-byte.wai", "code": "W013" }, { "file": "refuse/truncated.wai", "code": "W013" } ] }