e52bf1154f
Some checks failed
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 34s
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Successful in 38s
WAI operation catalogue / does this change touch it (push) Successful in 29s
wai-fleet service / does this change touch it (push) Successful in 28s
joule-moq-remote host agent / joule-moq-remote · does this change touch it (push) Successful in 48s
wai-quantum docs, course and locales / does this change touch it (push) Successful in 1m9s
wai-quantum command line / does this change touch it (push) Successful in 53s
joule-moq-room room service / joule-moq-room · does this change touch it (push) Successful in 1m38s
wai-quantum energy-landscape jobs / does this change touch it (push) Successful in 14s
wai-app and Create / wai-app · does this change touch it (push) Successful in 1m24s
wai-quantum editors / does this change touch it (push) Successful in 58s
wai-quantum contract / does this change touch it (push) Successful in 1m13s
wai-ledger service / does this change touch it (push) Successful in 1m14s
wai-audit collector and player integration / does this change touch it (push) Successful in 1m25s
wai-quantum OpenQASM reader / does this change touch it (push) Successful in 15s
wai-quantum resource estimation / does this change touch it (push) Successful in 23s
wai-quantum for JavaScript / does this change touch it (push) Successful in 16s
wai-quantum other formats / does this change touch it (push) Successful in 15s
wai-quantum pulse and dynamics / does this change touch it (push) Successful in 24s
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Successful in 29s
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Successful in 43s
wai-quantum service / does this change touch it (push) Successful in 23s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Successful in 35s
wai-quantum verdicts and repairs / does this change touch it (push) Successful in 22s
wai-quantum service / service energy · linux packages (push) Failing after 17s
wai-sink-swift native sink package / does this change touch it (push) Successful in 28s
WAI Studio / does this change touch it (push) Successful in 24s
wai-quantum wasmQ / does this change touch it (push) Successful in 23s
wai-quantum for Python / does this change touch it (push) Successful in 1m30s
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (push) Successful in 2m3s
wai-quantum error correction and mitigation / does this change touch it (push) Successful in 1m24s
wai-quantum variational and algorithm library / does this change touch it (push) Successful in 1m13s
wai-quantum views in agent hosts / does this change touch it (push) Successful in 1m9s
wai-sink-android native sink library / does this change touch it (push) Successful in 1m9s
wai-quantum extension points / does this change touch it (push) Successful in 1m22s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Failing after 2m14s
wai-quantum studio and desktop / does this change touch it (push) Successful in 1m17s
wai-fleet service / service · macos (push) Successful in 2m29s
joule-moq-remote host agent / joule-moq-remote, every target (macos) (push) Successful in 2m36s
wai-quantum editors / editors · linux (push) Successful in 3m6s
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (push) Successful in 54s
wai-quantum OpenQASM reader / reader and corpus · linux (push) Successful in 2m47s
wai-quantum command line / command line · macos (push) Successful in 4m54s
wai-quantum contract / API compatibility · linux (push) Successful in 4m45s
wai-audit collector and player integration / collector · linux (push) Successful in 4m55s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (push) Successful in 4m30s
wai-fleet service / service · linux (push) Successful in 6m0s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Successful in 3m23s
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Successful in 5m57s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Failing after 8m14s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (push) Successful in 1m29s
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (push) Successful in 1m49s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Successful in 4m51s
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Successful in 6m43s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (push) Successful in 2m0s
wai-ledger service / service · linux (push) Successful in 2m9s
wai-quantum extension points / the registry and the example · linux-arm64 (push) Successful in 5m1s
wai-quantum editors / editors · macos (push) Successful in 2m15s
joule-moq-room room service / joule-moq-room, every target (push) Successful in 7m23s
wai-ledger service / service · macos (push) Successful in 1m37s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Successful in 54s
wai-quantum pulse and dynamics / the same bits · macos (push) Successful in 1m8s
wai-quantum for JavaScript / javascript · linux (push) Successful in 6m21s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (push) Successful in 2m58s
wai-quantum wasmQ / the reference modules rebuild to their modules of record · linux (push) Successful in 31s
wai-quantum other formats / readers, writers and the set · linux (push) Successful in 4m19s
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (push) Successful in 2m31s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (push) Successful in 8m45s
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (push) Successful in 3m53s
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · linux (push) Successful in 3m49s
wai-quantum service / service · macos (push) Failing after 4m1s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 11m53s
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (push) Successful in 3m33s
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (push) Successful in 2m0s
wai-quantum energy-landscape jobs / the same bits · macos (push) Successful in 10m6s
wai-quantum for Python / python · linux (push) Successful in 4m31s
wai-quantum views in agent hosts / views · the page and its engine (push) Successful in 4m42s
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Successful in 13m30s
wai-quantum wasmQ / interpreter and vectors under wasm32-wasip2 (wasmtime) (push) Successful in 5m22s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (push) Successful in 2m21s
WAI operation catalogue / the catalogue and every door · linux (push) Successful in 15m23s
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · macos (push) Successful in 4m18s
wai-quantum studio and desktop / studio · browser (push) Successful in 4m55s
wai-quantum extension points / the registry and the example · linux (push) Successful in 6m54s
WAI Studio / Studio in Chromium and Firefox · macos (push) Successful in 8m4s
wai-quantum contract / schemas and the committed tool lists · linux (push) Successful in 16m13s
wai-quantum resource estimation / estimation and calibration · linux, release (push) Successful in 15m19s
wai-quantum views in agent hosts / views · a scripted host (push) Successful in 7m21s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (push) Successful in 17m3s
wai-quantum service / service · linux (push) Successful in 11m54s
wai-quantum for Python / python · macos (push) Successful in 4m45s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Successful in 5m10s
wai-quantum studio and desktop / desktop app · windows (push) Successful in 10m35s
WAI Studio / Studio in WebKit · linux (push) Successful in 12m22s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (push) Successful in 20m38s
wai-quantum studio and desktop / desktop app · linux (push) Successful in 10m5s
wai-quantum studio and desktop / desktop app · macos (push) Successful in 5m51s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (push) Successful in 23m18s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Successful in 20m39s
wai-quantum command line / command line · linux (push) Successful in 29m19s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Successful in 41m7s
The profile's second version, wai.quantum.wasmq/2 (extensions/quantum-wasmq.md §11), beside the first, which runs, seals and verifies as it did: its 83 vectors are unchanged. - The method `exact`: t, tdg, p, rz, rx, ry, ch, cp, crz, rzz, ccx, ccz and cswap beside the Clifford gates, on the engine's whole-number state vector (circuit2's arithmetic and phase table), the same bits on every host. An angle is the engine's dyadic reading of the reader's double, taken only within the double's own rounding (qasm::dyadic_exact); a measurement draws 1 when floor(x*W/2^64) < W1, exactly, and renormalises in whole numbers. At most 26 qubits: 27 cannot be one allocation on a 32-bit host, and the largest bundle at 26 runs under wasm32 beside every other bound (2.1 GB resident). A gate weighs 8 units of §4.8 an amplitude, from measured times (H: 20.7 ns an amplitude under wasm32 on x86_64, 11.0 on arm64), so a run at the bound ends in about three hours on either. - Angle arguments: `angle[k]` (k <= 64) passed as the m of 2*pi*m/2^k, a u64, exactly or refused; no float crosses into a module. - Energy: a /2 result seals the run's figure (a reading where the host meters it, the unmetered form with why where it does not, never 0 J) and each callout's (unmetered: no meter resolves one call). `wai-quantum run` runs a /2 envelope in a worker process and seals its whole reading (macOS process CPU energy, Linux packages). Rule 36 holds the form; engine::wasmq2 holds a /2 job to rules 1-36 for every surface that verifies. - Vectors v2-* (6 runs, 8 refusals): one digest on macOS arm64 and Linux x86_64, each native on three engines and under wasm32-wasip2: 3567857873430427cf50589739321b7c435 80d549efbb6f461789135e386980b. - wai.quantum.wasmq/2 is now a defined contract revision in the registry, and wai.quantum.wasmq.result/2 its result's format; a /1 job that names /2 still breaks rule 4 or 11, since the result's format decides the rules. Also: tests/reading.rs counts one reading at a time, since its two tests shared the process's allocation counters and could count each other's. Co-Authored-By: Claude Opus 5.5 <[email protected]>
964 lines
35 KiB
JSON
964 lines
35 KiB
JSON
{
|
|
"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"
|
|
}
|
|
]
|
|
}
|