Some checks failed
wai-audit collector and player integration / does this change touch it (push) Successful in 21s
wai-quantum clippy / does this change touch it (push) Successful in 21s
wai-quantum docs, course and locales / does this change touch it (push) Successful in 19s
wai-quantum command line / does this change touch it (push) Successful in 27s
wai-quantum for Python / does this change touch it (push) Successful in 15s
wai-quantum error correction and mitigation / does this change touch it (push) Successful in 21s
wai-quantum extension points / does this change touch it (push) Successful in 20s
wai-quantum service / does this change touch it (push) Successful in 18s
wai-quantum studio and desktop / does this change touch it (push) Successful in 16s
wai-quantum verdicts and repairs / does this change touch it (push) Successful in 37s
wai-quantum variational and algorithm library / does this change touch it (push) Successful in 37s
WAI operation catalogue / does this change touch it (push) Successful in 2m51s
wai-quantum contract / does this change touch it (push) Successful in 2m47s
wai-quantum views in agent hosts / does this change touch it (push) Successful in 45s
wai-sink-android native sink library / does this change touch it (push) Successful in 41s
WAI Studio / does this change touch it (push) Successful in 26s
wai-quantum resource estimation / does this change touch it (push) Successful in 5m5s
wai-quantum editors / does this change touch it (push) Successful in 5m8s
wai-quantum for JavaScript / does this change touch it (push) Successful in 4m58s
wai-quantum pulse and dynamics / does this change touch it (push) Successful in 4m53s
wai-quantum OpenQASM reader / does this change touch it (push) Successful in 4m56s
wai-quantum other formats / does this change touch it (push) Successful in 5m1s
wai-sink-swift native sink package / does this change touch it (push) Successful in 2m23s
wai-quantum service / service energy · linux packages (push) Failing after 15s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (push) Has been cancelled
WAI Studio / Studio in WebKit · linux (push) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Has been cancelled
wai-quantum wasmQ / does this change touch it (push) Has been cancelled
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · linux (push) Has been cancelled
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · macos (push) Has been cancelled
wai-quantum wasmQ / the reference modules rebuild to their modules of record · linux (push) Has been cancelled
wai-quantum wasmQ / interpreter and vectors under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (push) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (push) Has been cancelled
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (push) Has been cancelled
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (push) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (push) Has been cancelled
wai-quantum studio and desktop / studio · browser (push) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (push) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (push) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (push) Has been cancelled
wai-quantum extension points / the registry and the example · linux (push) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (push) Has been cancelled
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (push) Has been cancelled
wai-quantum for Python / python · linux (push) Has been cancelled
wai-quantum for Python / python · macos (push) Has been cancelled
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (push) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (push) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (push) Has been cancelled
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum OpenQASM reader / reader and corpus · linux (push) Has been cancelled
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum for JavaScript / javascript · linux (push) Has been cancelled
wai-quantum other formats / readers, writers and the set · linux (push) Has been cancelled
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum resource estimation / estimation and calibration · linux, release (push) Has been cancelled
wai-quantum editors / editors · linux (push) Has been cancelled
wai-quantum editors / editors · macos (push) Has been cancelled
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Has been cancelled
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Has been cancelled
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Has been cancelled
wai-quantum contract / API compatibility · linux (push) Has been cancelled
wai-quantum contract / schemas and the committed tool lists · linux (push) Has been cancelled
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Has been cancelled
wai-quantum clippy / clippy, warnings denied, every feature set · linux (push) Has been cancelled
wai-quantum command line / command line · linux (push) Has been cancelled
wai-quantum command line / command line · macos (push) Has been cancelled
WAI examples / WAI examples · does this change touch them (push) Has been cancelled
WAI examples / WAI examples · portable · linux (push) Has been cancelled
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (push) Has been cancelled
WAI examples / WAI examples · android-app · linux-arm64 (push) Has been cancelled
WAI operation catalogue / the catalogue and every door · linux (push) Has been cancelled
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Has been cancelled
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Has been cancelled
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Has been cancelled
wai-audit collector and player integration / collector · linux (push) Has been cancelled
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Has been cancelled
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Has been cancelled
wai-quantum service / service · linux (push) Successful in 12m2s
wai-quantum service / service · macos (push) Successful in 7m45s
The owner's second run (2026-11-12, a Bell pair on physical 149 and 148) sealed cost.charged as null: its client read the job's metrics once, as the job finished, and a minute later they answered qpu_charge_time_seconds 2, status complete. - While a job's usage is not complete, the metrics are read again, up to 13 reads 5 s apart (SamplerV2::with_metrics_wait), and the charge is sealed in qpu-seconds once it is. - A charge still pending after the last read, metrics that cannot be read, or a complete usage with no seconds is sealed as charged null beside cost.charged_unknown, a sentence saying why (quantum-providers §8.1, new and optional; Stated::charge_unknown carries it from the client). Both verifiers hold it to a string beside a charged of null (§8.4), and three crafted receipts test the rule. - Tested on that job's own record and metrics (user id taken out): complete only on the second read, read again and sealed; pending on every read, read 13 times and said; 404, read once and said. The qpu workflow pins the sampler-v2 binary at 11. Co-Authored-By: Claude Opus 5.5 <[email protected]>
4522 lines
134 KiB
JSON
4522 lines
134 KiB
JSON
{
|
|
"about": "Job receipts and the reasons a verifier must give for each (wai/extensions/quantum-providers.md section 8.4): valid when there are none. made: sealed by the command line, the job service, the provider clients or an earlier engine, kept as made. crafted: made by generate.py from those, each changed in one way and sealed again with the published demo key where the change is inside the seal. Every expectation is written by hand from section 8.4. held: receipts judged held to a trust list (a file of trust/) and a time as well, each when its `held` gives one, and the reasons a verifier must then give (section 8.8); a receipt of jobs/ may be named here too, held to something. trust_lists: every list of trust/, and whether a verifier reads it; one it does not read judges nothing.",
|
|
"entries": [
|
|
{
|
|
"file": "jobs/cli-compile.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a compile, its certificate and its receipt"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-any.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line under a contract that takes any class, the person's providers allowed: a free method here and a free provider tie on money and on time to the millisecond, and the method here comes first"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-auto.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line under a contract that names no class: auto's pick kept, held to a deadline"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-bounded.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line under a contract that wants bounded: a single-precision route does not meet it, and the state vector is chosen"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-fabric-cpu.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line on the CPU it asks for, under a deadline: each route that runs on an accelerator rejected for it"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-local.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line under a contract: exact, a deadline and a ceiling, the cheapest route here chosen and its reasoning sealed"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-provider-priced.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line on a provider it names, allowed by its contract and under a ceiling, confirmed with --yes: the estimate held to the ceiling, the charge to it after, and the shadow"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-pulse.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, a pulse program under a contract that wants bounded and a deadline: its one route"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-routed-seed.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same routed job with the seed 2^53 - 2: its shadow's seed, the request's plus 2^32, wraps at 2^53"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-routed.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line under a contract that allows the person's providers and wants a simulator's counts: the free one chosen, a classical method's counts and their distance beside its own"
|
|
},
|
|
{
|
|
"file": "jobs/cli-contract-target.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line on a device target, the person's providers allowed beside it, under a deadline: the target's method is named, and the providers are not"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-compare.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: an energy-landscape comparison with three classical methods, on a program that fails on purpose"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-provider-priced.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same on the reference provider with a price, confirmed with --yes: charged"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-provider.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, an energy-landscape run on the reference provider over a local process (quantum-providers section 11): the provider, its job and its cost added"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-quench.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: an energy-landscape quench, chains at temperature 0"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-replay.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: an energy-landscape replay of four seeds, one line each"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-run.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: an energy-landscape run (wai.quantum.landscape/1), sampling from the default start, every arrangement checked"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-settle.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: an energy-landscape settle, the deterministic kernel, one end of a chain pinned"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape-sweep.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: an energy-landscape sweep, the program at each temperature"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-compare.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a second-version comparison with three classical methods, on four regions that all touch, which fails on purpose"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-provider-priced.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "a second-version quench on the reference provider with a price, confirmed with --yes: charged"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-provider.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, a second-version run on the reference provider over a local process, whose description lists that version (quantum-providers section 11.1): the provider, its job and its cost added"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-quench.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a second-version quench, four regions coloured from chains at temperature 0, its joules priced"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-replay.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a second-version replay of four seeds, one line each"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-run.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: an energy-landscape run of the second version (wai.quantum.landscape/2), a 3x3 assignment sampled and solved, its joules stated unpriced"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-settle.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a second-version settle of the same assignment, which never comes to rest: failed, its joules priced at the settle rate"
|
|
},
|
|
{
|
|
"file": "jobs/cli-landscape2-sweep.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a second-version sweep, four queens at each temperature, each row priced or not as its temperature says"
|
|
},
|
|
{
|
|
"file": "jobs/cli-provider-reference-priced.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, on the reference provider with a price, confirmed with --yes"
|
|
},
|
|
{
|
|
"file": "jobs/cli-provider-reference.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, on the reference provider over a local process: a simulator's stated result"
|
|
},
|
|
{
|
|
"file": "jobs/cli-qudit-qubits-ghz.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a qudit job of dimension 2, three qubits in a GHZ state by a Fourier gate and two controlled sums"
|
|
},
|
|
{
|
|
"file": "jobs/cli-qudit-ququarts-phase.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: two ququarts, a controlled sum to the third power, a phase on each level and a Fourier gate to the third power"
|
|
},
|
|
{
|
|
"file": "jobs/cli-qudit-qutrit-bell.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a qudit job (wai.quantum.qudit/1, quantum-sim section 9.7), a qutrit Bell pair by a Fourier gate and a controlled sum, its three amplitudes asked for as integers"
|
|
},
|
|
{
|
|
"file": "jobs/cli-qudit-six-levels.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: two qudits of six levels (F_2 x F_3), a Fourier gate, a shift, a controlled sum and a clock, two amplitudes asked for"
|
|
},
|
|
{
|
|
"file": "jobs/cli-run-mps.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: thirty qubits as a matrix product state"
|
|
},
|
|
{
|
|
"file": "jobs/cli-run-observables.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, on this machine, with --demo-key: a Bell pair's expectation values"
|
|
},
|
|
{
|
|
"file": "jobs/cli-run-statevector.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a three-qubit circuit's counts by the state vector"
|
|
},
|
|
{
|
|
"file": "jobs/cli-run-trajectories.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: noisy trajectories, an estimate with its error"
|
|
},
|
|
{
|
|
"file": "jobs/cli-set-programs.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a set of two programs, one receipt over both and each its own (section 8.6)"
|
|
},
|
|
{
|
|
"file": "jobs/cli-set-sweep.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a sweep of an input at three points, sealed as a set"
|
|
},
|
|
{
|
|
"file": "jobs/cli-time-now.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, asked to seal the time (WAI_QUANTUM_RECEIPT_TIME=now): its receipt seals this machine's clock at the seal (section 8.2)"
|
|
},
|
|
{
|
|
"file": "jobs/cli-time-set.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a set of two programs sealed with the time, the set's receipt and each item's own"
|
|
},
|
|
{
|
|
"file": "jobs/cli-time-stated.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line, sealing a time its person states and an end an hour after it (WAI_QUANTUM_RECEIPT_TIME, WAI_QUANTUM_RECEIPT_VALID_MS)"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq-fault-init.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ run that stopped in an instance's init"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq-fault-prior.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ run that stopped while a module read its prior"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq-fault-run.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ run that stopped in its third shot when the run's fuel ran out"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq-fault.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ run that stopped in a call past the call's fuel budget"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq-run.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ run, a surface-code round decoded by WebAssembly between its gates, 32 shots"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq-state-job.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ run of one instance for the whole run, its decoder reading a prior"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq2-angle-arguments.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ/2 run with an angle[8] known on reading and an angle[4] of measured bits, given back by the module"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq2-exact-of-a-clifford-program.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: the same Clifford program by the exact method, the same counts"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq2-feedback-rotation.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ/2 run whose callout turns a measured bit into three eighths of a turn, applied as its bits' phases"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq2-rotations-and-a-reset.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ/2 run of a random reset and each kind of gate the exact method takes"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq2-stabilizer.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ/2 run of a Clifford program by the stabilizer method"
|
|
},
|
|
{
|
|
"file": "jobs/cli-wasmq2-t-toffoli.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line: a wasmQ/2 run by the exact method, h, t, h and a Toffoli under two set controls, its energy as the host read it"
|
|
},
|
|
{
|
|
"file": "jobs/first-form-service-observables.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same service, the same writer: expectation values, doubles in its own text"
|
|
},
|
|
{
|
|
"file": "jobs/first-form-service-run.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the job service as it was on 18 October 2026, commit 72d18742d, sealing with the first form's own writer: counts"
|
|
},
|
|
{
|
|
"file": "jobs/fixture-compile-legacy.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "a compile as an earlier page sealed it (the engine's pinned fixture)"
|
|
},
|
|
{
|
|
"file": "jobs/fixture-job-legacy.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "a run sealed before results named their engine and schema (the engine's pinned fixture)"
|
|
},
|
|
{
|
|
"file": "jobs/fixture-provider-job-legacy.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "a provider job of the earlier form: a simulator's counts sealed as measured, read as simulated"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-cloud-tasks-processor-probabilities.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "cloud-tasks on a processor whose result holds probabilities: counts rebuilt"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-cloud-tasks-processor.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "cloud-tasks on a processor: a verbatim box, rows of shots"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-cloud-tasks-simulator.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "cloud-tasks on its simulator: simulated"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-contract-prx-circuits.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "prx-circuits named under a contract that wants a device's counts, confirmed: its counts, the planner's reasoning, and a classical method's counts and their distance beside them"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-native-turns-leaked.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "native-turns on a processor whose shot records flag 3 of its 400 shots as leaked: each counted as it was read, and the 3, with the qubits flagged, sealed (leakage)"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-native-turns-ms-processor.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "native-turns on a processor whose gates are gpi, gpi2 and ms: the program in gpims, each cz one ms(0, 0, 1/4) between quarter-turn rotations"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-native-turns-noise.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "native-turns, its simulator under a device's noise model"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-native-turns-priced.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "native-turns on a processor priced by its gates, named under a ceiling and confirmed: the rate card's figure for exactly its gates and shots held to the ceiling, and what the service charged held to it after (section 8.7)"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-native-turns-processor.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "native-turns on a processor of gpi, gpi2 and zz, read from the service's list of backends, its pairs from its characterization: counts tallied from the job's shot records, none of them flagged as leaked (leakage, section 8.1)"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-native-turns-seeded.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "native-turns, its simulator under a device's noise model, sent the job's seed so that the simulation is the same at each run of it: the seed sealed among the settings sent (section 8.3), the counts tallied from shot records"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-native-turns.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "native-turns, its simulator, through a service that follows its contract"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-prx-circuits-pinned.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "prx-circuits sent pinned to the calibration set it was compiled against, dynamical decoupling disabled and the service's other modes sent: its second row (section 8.3)"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-prx-circuits-recalibrated.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "prx-circuits through a service that recalibrated between the read of its device and the submission: the job pinned to the set it was compiled against, placed by that set's quality metrics read as a target, and the result's calibration the set the service says it compiled against"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-prx-circuits.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "prx-circuits through a service that follows its contract"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-sampler-v2-post-selected.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "sampler-v2 on a device that answered 13 of its 400 shots fewer, as a post-selected readout does: its counts sealed as the 387 shots it kept (accepted_shots)"
|
|
},
|
|
{
|
|
"file": "jobs/scripted-sampler-v2.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "sampler-v2 through a service that follows its contract"
|
|
},
|
|
{
|
|
"file": "jobs/service-qudit-qutrit-bell.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same service (POST /v1/qudit): a qutrit Bell pair run as a job, its energy what the service read of its worker"
|
|
},
|
|
{
|
|
"file": "jobs/service-run-stabilizer.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the free job service: a stabilizer job with observables"
|
|
},
|
|
{
|
|
"file": "jobs/service-run.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the free job service, signed with its key"
|
|
},
|
|
{
|
|
"file": "jobs/service-time-run.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "a job service built from this checkout (POST /v1/jobs), sealed with its key: every receipt it seals states when it was issued, by its clock"
|
|
},
|
|
{
|
|
"file": "jobs/service-wasmq-fault-fuel.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same service: a wasmQ run that stopped in a call past the call's fuel budget, the fault sealed in the job"
|
|
},
|
|
{
|
|
"file": "jobs/service-wasmq-surface3-decode64.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "a job service built from this checkout (POST /v1/wasmq), sealed with its key: the surface-code round run as a job, the service's report around it, its own members unsealed"
|
|
},
|
|
{
|
|
"file": "jobs/service-wasmq2-t-toffoli.json",
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same service: a wasmQ/2 run by the exact method, its energy what the service read of the worker that ran it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-alg-other.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an alg other than ed25519"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-canon-null.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "canon present and null: no form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-canon-other.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "canon naming no form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-key-upper.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the key in upper-case hex: a second spelling of one key"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-digest-plus.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a + where a hex digit belongs, which a lenient hex reader takes"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-key-two-byte-char.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a two-byte character among the key's hex digits"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-signature-short.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a signature one byte short"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-key-missing.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "no key"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-receipt-string.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a receipt that is not an object"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-weak-key-forgery.json",
|
|
"reasons": [
|
|
"bad_key"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the identity as the key and as R, S = 0: a library's lenient check takes it for any digest, so any content verifies"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-weak-key-any-digest.json",
|
|
"reasons": [
|
|
"bad_key"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the identity as the key, R = [1]B, S = 1: [S]B = R + [k]A for every digest, R of full order"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-key-noncanonical.json",
|
|
"reasons": [
|
|
"bad_key"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a key whose y is p + 1: the identity, spelt a second way"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-key-off-curve.json",
|
|
"reasons": [
|
|
"bad_key"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a key that is no point on the curve"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-key-mixed-order.json",
|
|
"reasons": [
|
|
"bad_key"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the demo key plus a point of order 8: not of small order, outside the prime-order subgroup"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-s-plus-l.json",
|
|
"reasons": [
|
|
"bad_signature"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "S + l: a second spelling of the same signature"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-r-noncanonical.json",
|
|
"reasons": [
|
|
"bad_signature"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "R spelt with y of p or more"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-r-small-order.json",
|
|
"reasons": [
|
|
"bad_signature"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "R the identity, S made so that the equation holds: a lax check takes it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-signature-other-key.json",
|
|
"reasons": [
|
|
"bad_signature"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a signature by another key"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-digest-stale.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the result changed after it was sealed: the digest alone"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-seal-digest-other.json",
|
|
"reasons": [
|
|
"bad_signature",
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a digest of something else, the signature over the first"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a receipt of the first form, sealed over the compact text in the document's order"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first-exponents.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a first-form receipt with numbers its writer wrote with an exponent, signed both ways (1e+16, 1e-7)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first-big-integer.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a first-form receipt sealing 2^53 + 1 by its digits, as its writer wrote it: not inexact"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first-past-its-integers.json",
|
|
"reasons": [
|
|
"inexact_number"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a first-form receipt with 2^64 + 1 written: past the integers its writer kept by their digits, it sealed the double 2^64"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first-past-its-integers-exact.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the same with 2^64 written, which the double holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-none-inexact.json",
|
|
"reasons": [
|
|
"inexact_number",
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a receipt with no canon and another alg names no form, so it is not of the first form, and 2^53 + 1 is inexact"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first-relabelled.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a first-form receipt relabelled as canonical"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-canonical-relabelled.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a canonical receipt relabelled as the first form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first-reordered.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a first-form receipt with its result's members reordered"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-form-first-respelt.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a first-form receipt with 1.0 written 1, which its writer wrote 1.0"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-canon-respelt.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "members reordered, numbers written otherwise (1.0e3, 1), names and strings with escapes"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-canon-strings.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "strings and names that RFC 8785 writes its own way: UTF-16 order, escapes, characters left as they are"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-canon-numbers.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "numbers at the edges of ECMAScript's layout, and 2^64, a whole number a double holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-canon-underflow.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "1e-400 reads as zero, as sealed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-canon-near-max.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a number just below the limit, which rounds to the largest double"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-inexact.json",
|
|
"reasons": [
|
|
"inexact_number"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "2^53 + 1 written, 2^53 sealed: the text says more than the seal"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-inexact-unsealed.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "2^53 + 1 in a member of the receipt, which nothing seals and a verifier ignores"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-inexact-past-u64.json",
|
|
"reasons": [
|
|
"inexact_number"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "2^64 + 1 in the request, 2^64 sealed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-duplicate.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member of the result named twice"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-duplicate-unsealed.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member of the unsealed envelope named twice: still unreadable"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-duplicate-escaped.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "two names that are one once their escapes are read"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-lone-surrogate.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an escaped high surrogate with no low one"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-lone-low-surrogate.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an escaped low surrogate alone"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-byte-order-mark.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a byte order mark"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-raw-control.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a tab not escaped inside a string"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-number-overflow.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a number no double reaches, in the unsealed envelope"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-number-at-limit.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "2^1024 - 2^970 exactly, which rounds to infinity"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-depth-127.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "arrays and objects 127 deep, the most a reader takes"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-depth-128.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "128 deep"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-trailing.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second value after the first"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-not-json.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "not JSON"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-read-not-utf8.json",
|
|
"reasons": [
|
|
"unreadable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a byte that is not UTF-8"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-job-array.json",
|
|
"reasons": [
|
|
"not_a_job"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a value that is not an object"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-job-no-request.json",
|
|
"reasons": [
|
|
"not_a_job"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "no request"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-job-request-string.json",
|
|
"reasons": [
|
|
"not_a_job"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a request that is not an object"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-job-no-receipt.json",
|
|
"reasons": [
|
|
"no_receipt"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a result with no receipt"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-envelope-changed.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the unsealed envelope changed: nothing a verifier takes"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-measured-simulator.json",
|
|
"reasons": [
|
|
"provider_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a simulator's stated result labelled measured"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-approximate-false.json",
|
|
"reasons": [
|
|
"provider_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "approximate given and not true"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-approximate-processor.json",
|
|
"reasons": [
|
|
"provider_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a processor's counts labelled approximate"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-provenance-unknown.json",
|
|
"reasons": [
|
|
"provider_class",
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provenance that is none of silicon, simulator or emulator"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-approximate-simulator.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a simulator's result its provider states is approximate"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-request-provider.json",
|
|
"reasons": [
|
|
"request_provider"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the request names another provider"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-request-shots.json",
|
|
"reasons": [
|
|
"request_shots"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the request asks for other shots"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-request-shots-default.json",
|
|
"reasons": [
|
|
"request_shots"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the request gives no shots (1024), the result others"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-counts-sum.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "counts that do not sum to the shots"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-counts-width.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "outcomes of two lengths"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-counts-zero.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an outcome listed with a count of 0"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-whole-past-safe.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "2^53 polls: a whole number has no ceiling but a count's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-whole-spelt-large.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "1e30 qubits: whole, and absurd, and no rule's to refuse"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-shots-past-safe.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "2^53 shots, counted within a count's ceiling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-count-past-safe.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a count of 2^53, past its ceiling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-shots-same-strings.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "equal strings are the request's shots, and a string is no shots"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-counts-hidden.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "shots left out while fewer than 65,536 outcomes are listed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-counts-distinct.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "distinct_outcomes not the outcomes listed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-accepted-shots.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a processor that kept 27 fewer shots than asked, its counts of those it kept (a post-selected readout)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-accepted-shots-not-the-counts.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "accepted_shots one more than the counts' sum"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-accepted-shots-counts-of-every-shot.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "counts of every shot asked beside an accepted_shots of one fewer"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-accepted-shots-null.json",
|
|
"reasons": [
|
|
"counts"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "accepted_shots null: present, and no whole number"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-accepted-shots-more.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a device that ran 24 more shots than asked, its counts of all it ran"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-members-describe.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the describe hash in upper case"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-members-no-qasm3.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "no compiled program's text"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-members-energy.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "energy as a figure measured here"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-members-kwh-unlabelled.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the provider's energy figure not labelled as its own"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-members-no-schema.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "no schema"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-members-no-charged.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "no charged"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-members-basis.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the provider's basis not the program's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-counts-source-other.json",
|
|
"reasons": [
|
|
"counts_source"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a counts_source of no value"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-execution-default.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider saying default, which only a client says"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-execution-verbatim-remapped.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "run as written and remapped"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-execution-sent.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "sent, which only a client states"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-execution-member.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member execution does not have"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-execution-nobody.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a provider that states nothing: no one's word"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-execution-client-open.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the open protocol's client claiming to state what was set"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-compiled-program.json",
|
|
"reasons": [
|
|
"compiled_program"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a program's text that is not the text its hash names"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-cost-free-confirmed.json",
|
|
"reasons": [
|
|
"cost_confirmation"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a free run that claims a confirmation"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-cost-unconfirmed.json",
|
|
"reasons": [
|
|
"cost_confirmation"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a run that was not free, with no confirmation"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-cost-confirmed-by-submit.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a provider's own record of a run that was not free: it took the submit as the confirmation"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-cost-confirmed-by-free.json",
|
|
"reasons": [
|
|
"cost_confirmation"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a free run that says a submit confirmed it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-cost-confirmed-by-other.json",
|
|
"reasons": [
|
|
"cost_confirmation"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "confirmed_by of no value"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-cost-confirmed-by-null.json",
|
|
"reasons": [
|
|
"cost_confirmation"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "confirmed_by present and null"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-provider-stated-by-a-null.json",
|
|
"reasons": [
|
|
"counts_source",
|
|
"execution",
|
|
"provider_class",
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an earlier-form result given counts_source null: stated by its members, whatever their values"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-earlier-request-shots.json",
|
|
"reasons": [
|
|
"request_shots"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an earlier-form result whose request asks other shots"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-earlier-approximate.json",
|
|
"reasons": [
|
|
"provider_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "approximate on an earlier-form result"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-earlier-simulated.json",
|
|
"reasons": [
|
|
"provider_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the earlier form labelled simulated, which no earlier engine wrote"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-sampler-twirling-default.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "sampler-v2 not stating the twirling it sends off"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-prx-shots.json",
|
|
"reasons": [
|
|
"counts_source"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "prx-circuits claiming shot records it does not read"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-prx-twirling-off.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "prx-circuits claiming a setting it does not send"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-shots.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "native-turns stating shot records: its client tallies them where the service lists them (section 8.3), on any of its rows"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-leakage-past-the-shots.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "leakage of one shot more than the counts are of"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-leakage-beside-vendor-counts.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "leakage beside counts that are not tallied from shot records"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-leakage-qubit-past-the-device.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "leakage of a qubit at the device's own count, past its last"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-leakage-qubit-in-more-shots.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a qubit flagged in more shots than were flagged"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-leakage-qubit-written-01.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a qubit's index written with a leading zero"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-leakage-null.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "leakage present and null"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-leakage-of-none.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "leakage of no shot: a device whose records flag none says so"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-seed-zero.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a noise seed of 0, which no row holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-seed-past-int32.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a noise seed past 2^31 - 1"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-seed-a-string.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a noise seed as a string"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-seed-on-silicon.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the seeded noise row on a processor, which holds for a simulator only"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-turns-seed-dropped.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the noise row without its seed, as an earlier client sent it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-tasks-vendor-counts.json",
|
|
"reasons": [
|
|
"counts_source"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "cloud-tasks claiming the provider's own counts"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-tasks-simulator-boxed.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a simulator's task stating the processor's verbatim box"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-tasks-no-names.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "cloud-tasks, stated by its client, not saying which of the device's qubits its indices were"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-prx-no-names.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "prx-circuits, stated by its client, not saying which of the device's qubits its indices were"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-tasks-names-null.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "null is given, and is no object"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-tasks-name-leading-zero.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an index with a leading zero"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-sampler-names-short.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "names given where they are optional, and not of every index of the layouts"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-sampler-charge-unknown-said.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a charge not known, and why: valid"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-sampler-charge-unknown-not-text.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "why a charge is not known, given as a number"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-sampler-charge-unknown-beside-a-charge.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a charge stated, and said not to be known"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-prx-nobody.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a job recorded before its client said what it sent: stated by nobody, on a kind with rows"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-tasks-processor-unboxed.json",
|
|
"reasons": [
|
|
"execution"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a processor's task not stating its verbatim box"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-kind-tasks-names-short-of-text.json",
|
|
"reasons": [
|
|
"provider_members"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "qasm3 acts on a qubit its names do not name, outside both layouts"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-canonical-spelling.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "2^60 written as RFC 8785 writes it, its shortest digits and zeros: the double's own spelling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-exact-spelling.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "2^60 written by its exact digits"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-exponent-spelling.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "2^60 written with an exponent, as Python writes it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-near-canonical.json",
|
|
"reasons": [
|
|
"inexact_number"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "digits one past the double's canonical text: another spelling of an inexact whole number"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-number-padded-past.json",
|
|
"reasons": [
|
|
"inexact_number"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the digits padded past 10^21, where RFC 8785 writes an exponent: not its spelling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-error-item.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a set whose second item failed: its error is its leaf"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-item-changed.json",
|
|
"reasons": [
|
|
"set_item"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an item's counts changed after it was sealed, the set sealed again over it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-root-other.json",
|
|
"reasons": [
|
|
"set_root"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a root that is no tree's of these items, sealed by the set"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-path-other.json",
|
|
"reasons": [
|
|
"set_root"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an item's path changed: a path is not sealed, and must lead to the root"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-count-other.json",
|
|
"reasons": [
|
|
"set_items"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a count other than the items'"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-index-swapped.json",
|
|
"reasons": [
|
|
"set_items"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "items whose index is not their place"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-item-not-given.json",
|
|
"reasons": [
|
|
"set_items"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an item sealed alone, and not the item the request's programs give"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-head-changed.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the head changed after the set was sealed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-error-item-inexact.json",
|
|
"reasons": [
|
|
"set_item",
|
|
"set_items"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a failed item whose request writes a number its leaf seals as another: no item's number escapes"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-first-form-error-item.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a set of the first form, an item failed: valid"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-first-form-error-item-inexact.json",
|
|
"reasons": [
|
|
"set_item",
|
|
"set_items"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a set of the first form whose failed item writes 2^53 + 1 by its digits: its leaf, the canonical form's digest, seals the double"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-item-other-key.json",
|
|
"reasons": [
|
|
"set_item"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an item sealed by a key other than the set's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-empty.json",
|
|
"reasons": [
|
|
"set_items"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a set of no items, its head sealed so"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-sweep-short.json",
|
|
"reasons": [
|
|
"set_items"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sweep missing its last point, counted and sealed so"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-set-sweep-inexact.json",
|
|
"reasons": [
|
|
"inexact_number"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sweep's value no double holds, in the set's own request"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-method-measured.json",
|
|
"reasons": [
|
|
"provider_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the engine's own result labelled measured"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-method-simulated.json",
|
|
"reasons": [
|
|
"provider_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the engine's own result labelled simulated"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-method-class-unknown.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a class a verifier does not know: not a reason, since a later version may add one"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-counts-short.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ run whose counts add up to one shot fewer than it ran (rule 19)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-ok-before-all-shots.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ run that is ok after 31 of its 32 shots (rule 18)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-fuel-unaccounted.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ run whose instances and calls do not add up to the fuel it used (rule 15)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-fuel-past-job-budget.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ fault that used 400 fuel under a run's budget of 100 (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-instances-past-budget.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "one instance for the whole run, given more fuel for its seed, init and prior than three stretches of 8000 (rule 17)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-fault-unnamed.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ fault of a reason the profile does not name (rule 18)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-result-member-added.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ result with a member the profile does not write (rule 9)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-contract-method.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ contract and result of a method the profile does not have (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-seed-past-exact.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ seed of 2^53: a double holds it, so it is no inexact number, and the profile allows at most 2^53 - 1 (rules 1, 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-modules-other.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ result naming a module the contract does not pin (rule 16)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-transcript-upper.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ transcript digest in upper case (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-first-form.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ job sealed in the first form, older than the profile: the seal holds, and no host wrote it (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-call-fault-uncounted.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a call that stopped the run, which the fuel counts no call of: the stopped call is one of the calls made (rule 18)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-call-fault-past-largest.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a call that stopped after 400 fuel, where the most one call of it used is 399 (rule 18)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-request-member-added.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ request with a member the profile does not write (rule 2)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-contract-member-added.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ contract with a member section 2.2 does not list (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-contract-profile.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ contract of another profile (rule 4)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-program-empty.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ contract whose program is 0 bytes long (rule 5)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-module-empty.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ contract whose module is 0 bytes long (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-callouts-twice.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ contract with two callouts of one extern (rule 7)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-result-seed.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ result whose seed is not its contract's (rule 11)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-call-past-per-call.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ run whose largest call used 21751 fuel under a budget of 21750 a call (rule 14)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-calls-of-no-fuel.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "32 calls that returned having used no fuel, where entering a function weighs 1 (rule 20)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-priors-unpassed.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "32 shots of instances passed a prior of 87 bytes in less fuel than its bytes and its two calls take, cabi_realloc 2 at least and wasmq-prior 1 (rule 21)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-call-fault-other-module.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a call of a callout in the first module, whose fault names the second (rule 22)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-prior-fault-no-prior.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a fault while a prior is passed, in a module with no prior (rule 23)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-bad-result-in-init.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a bad_result from an init, which takes no result (rule 24)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-lifecycle-fuel-past-instances.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an init fault in shot 1 that used 2 fuel, where the instances used 1, shot 0's init 1 of it at least (rule 25)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-job-state-later-instance.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a run of one instance for the run whose instance fails in shot 2 (rule 26)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-first-instance-after-call.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the first shot's instance failing after a call was made, where no shot ran its steps (rules 27 and 32)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-fuel-fault-under-limit.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a call's fuel fault after 10 fuel, under its limit of 400 (rule 28)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-run-budget-not-spent.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a fault of the run's budget with 50 of its 60 used (rule 28)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-results-past-bits.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "2^20 shots of 257 bits, past the 2^28 bits a run's results hold (rule 29)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-work-past-bound.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a run given 2^39 fuel beside a module's code, past the 2^42 operations a run asks (rule 30)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-frames-past-envelope.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a prior of 2^27 bytes beside a program and a module, more than an envelope holds (rule 31)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-fault-null.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an ok result with a fault member whose value is null: a member is present whatever its value (rule 18)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-no-qubit.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ result of a program of no qubit, which no program a reader reads is (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-calls-under-largest.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "32 calls in 21751 fuel, where the most one of them used is 21751 and each other used 1 at least (rule 20)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-calls-past-steps.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "32 shots that made 2^21 calls each and one more, where a shot runs at most 2^21 steps (rule 32)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-prior-past-instance-budget.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a prior of 87 bytes passed whole in one stretch, which takes 90 at least, under a lifecycle call's budget of 89 (rule 33)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-trap-of-no-fuel.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an init that trapped after no fuel, where its entry is charged before it runs (rule 34)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-transcript-of-no-call.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a fault before any call whose transcript is not the run's end alone (rule 35)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-respelt.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ job with its shots written 32.0 and 3.2e1 and a member of its contract named with an escape: the same sealed content"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq-envelope-changed.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a wasmQ fault whose unsealed body says done, another method and an id: a note beside the verdict, not a reason"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-unmetered.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run whose energy is the unmetered form with its reason: a figure (section 11.5)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-reading-of-zero.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run whose energy reads zero joules: a run that read nothing is unmetered (rule 36)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-unmetered-saying-nothing.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run unmetered with no reason (rule 36)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-estimate-as-reading.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run whose figure is an estimate, which is no reading (rule 36)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-below-the-floor.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a reading of 1200 microjoules declared at 240 ppm, below the 288 676 its rounding gives (rule 36)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-callout-without-figure.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run with no figure for a callout it called (rule 36)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-first-version-energy.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run with the first version's energy (rule 36)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-profile-first.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version result under a first-version contract (rule 4)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-method-neither.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run of a method neither version has (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-accuracy-of-the-other-method.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an exact run that states the tableau's accuracy (rule 11)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-exact-past-26-qubits.json",
|
|
"reasons": [
|
|
"wasmq_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the exact method on 27 qubits, past the 26 its state holds (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-wasmq2-stabilizer-at-27-qubits.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the stabilizer method on 27 qubits: the exact method's bound is its own"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-form-member.json",
|
|
"reasons": [
|
|
"contract_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member no contract has: read as absent, a requirement would drop in silence"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-form-exactness.json",
|
|
"reasons": [
|
|
"contract_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an exactness that is no class"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-form-cost.json",
|
|
"reasons": [
|
|
"contract_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a ceiling's amount that is not in decimals"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-form-cost-long.json",
|
|
"reasons": [
|
|
"contract_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a ceiling's amount of 65 characters: at most 64"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-planner-missing.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a contract job sealed without its reasoning"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-planner-format.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a reasoning of another format"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-planner-wanted.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a class wanted that is not the contract's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-planner-wanted-from.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a class said to be the contract's, where the contract names none and the job keeps auto's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-planner-on-plain.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a job with no contract that carries a reasoning"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-on-plain.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a job with no contract that carries a shadow"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-claimed.json",
|
|
"reasons": [
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a heuristic route said to meet exact"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-code.json",
|
|
"reasons": [
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route rejected for a reason the rules do not give it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-choice-dearer.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "another route that meets the contract chosen and run, where the rule picks the cheaper"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-choice-not-run.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the route chosen is not what ran"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stable-digest.json",
|
|
"reasons": [
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a digest that is not what the routes' prices give"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stable-choice.json",
|
|
"reasons": [
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a choice said to depend on the host, where it depends on nothing of it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-price-work.json",
|
|
"reasons": [
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a price changed that the digest covers and the order does not: the rule still picks the route"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-price-memory.json",
|
|
"reasons": [
|
|
"planner_choice",
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a price changed that the digest covers and the order reads: another route that meets the contract now comes first"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-kept-false.json",
|
|
"reasons": [
|
|
"planner_kept"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a deadline said missed that was kept"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-kept-dropped.json",
|
|
"reasons": [
|
|
"planner_kept"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a ceiling the contract gives, and kept does not state"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-kept-missed-stated.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a deadline missed and said so: an answer all the same, and valid"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-class-short.json",
|
|
"reasons": [
|
|
"contract_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a result whose class does not meet the class wanted"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-on-local.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a local route's result that carries a shadow"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-missing.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's answer without its shadow"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-plan-missing.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's answer whose reasoning planned no shadow"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-numerator.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a distance that is not what the two lists of counts give"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-not-computed.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a distance not computed, with every shot listed on both sides"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-seed.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow sampled on the job's own stream, not one of its own"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-said-none.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow said not to have run, where its plan had a route"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-omitted-spelt.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a shadow's omitted_shots of 0 written as 0.0: 0 by value, and valid"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-provider-claimed.json",
|
|
"reasons": [
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider that costs money, with no ceiling to hold it to, said to meet the contract"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-provider-not-chosen.json",
|
|
"reasons": [
|
|
"planner_choice",
|
|
"request_provider"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an answer from a provider the planner did not choose"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-providers-not-allowed.json",
|
|
"reasons": [
|
|
"planner_choice",
|
|
"planner_route",
|
|
"request_provider"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's answer to a contract that does not allow one"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-at-least-false.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "at_least given and not true"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-at-least-claimed.json",
|
|
"reasons": [
|
|
"planner_choice",
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a cost that is the least it can come to, under the ceiling, said to meet it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-charged-over.json",
|
|
"reasons": [
|
|
"planner_kept"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "charged past the ceiling, and kept said to hold"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-charged-over-stated.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "charged past the ceiling, and said so: valid"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-kept-charged-other.json",
|
|
"reasons": [
|
|
"planner_kept"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "kept stating a charge that is not the result's: within the ceiling, and not what was charged"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-kept-member-extra.json",
|
|
"reasons": [
|
|
"planner_kept"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member of kept that its table does not give"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-kept-elapsed-other.json",
|
|
"reasons": [
|
|
"planner_kept"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a method's time in kept that is not the run's own elapsed_ms, within the deadline all the same"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-auto-other.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "auto said to pick a route the ranks do not"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-auto-rank-lowered.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route's rank in auto's order lowered, so that auto would pick it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-auto-rank-other.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a rank that is not the method's, on a route that does not win by it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-auto-rank-missing.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a local route without its rank in auto's order"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-question-other.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a question the request does not ask"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-named-other.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider the request names, said to be named by nothing"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-provider-named-not-allowed.json",
|
|
"reasons": [
|
|
"contract_provider",
|
|
"planner_choice",
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider named under a contract that does not allow one: never is the default"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-named-approximate.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a provider named, its simulator stated approximate, under a contract that names no class: it keeps the named route's class, and the rule against an approximate simulator holds only a class the contract names"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-approximate-rejected.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a simulator stated approximate, where the contract wants simulated: rejected for its class, before its cost is weighed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-price-seconds-past.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time past 10^12 seconds, which a host states as unknown"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-price-amount-long.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an amount of 65 characters, which a host states as unknown"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-local-money.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a method here priced in money: a local route is free"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-memory-at-cap.json",
|
|
"reasons": [
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route that needs exactly the job's memory meets it; the digest covers memory, and is not the routes' now"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-deadline-unknown.json",
|
|
"reasons": [
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route whose time is unknown under a deadline, rejected for it; the digest covers the time, and is not the routes' now"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-currency-other.json",
|
|
"reasons": [
|
|
"planner_choice",
|
|
"planner_kept",
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a ceiling in another currency than the estimate's: no route meets it, and kept states another ceiling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-at-ceiling.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "an energy ceiling met exactly by a figure sealed after the run, every route watched: kept, and the choice depends on the host"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-stable-claimed.json",
|
|
"reasons": [
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the same, the choice said to depend on nothing of the host"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-unwatched.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a route nothing can read while it runs, under a ceiling: refused, though its estimate is under it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-unwatched-claimed.json",
|
|
"reasons": [
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route nothing can stop, said to meet a ceiling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-over-estimate.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "an estimate clearly past the ceiling refuses a watched route"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-estimate-at-ceiling.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "an estimate exactly at the ceiling is not past it, and refuses nothing"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-watch-form.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a watch that is no sentence"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a run stopped at its ceiling by a live reading: no answer, and a receipt that says so"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-kept-claimed.json",
|
|
"reasons": [
|
|
"planner_kept"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stopped run said to have kept its ceiling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-under.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a run said stopped under its ceiling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-with-counts.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stopped run that gives an answer"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-whole-below.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stopped run whose whole figure is less than what stopped it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-whole-above.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a stopped run whose whole figure is a little past what stopped it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-elapsed-fraction.json",
|
|
"reasons": [
|
|
"planner_kept",
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop at a time that is no whole number, the result's the same (a deadline's kept time is whole too)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-elapsed-other.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop at another time than the result's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-with-verdict.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stopped run that gives a verdict, an answer by another name"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-with-outputs.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stopped run that gives outputs"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-other-ceiling.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop at a ceiling the contract does not give"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-at-ceiling.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a reading exactly at the ceiling stops a run"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-class.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stopped run that claims a class"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-on-provider.json",
|
|
"reasons": [
|
|
"contract_form",
|
|
"counts",
|
|
"planner_choice",
|
|
"provider_class",
|
|
"request_provider",
|
|
"request_shots",
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop on a provider's run, which nothing here reads: and a local job's request and route, which no provider's result can have, in the earlier form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-read-form.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop that does not say what read it"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-elapsed-form.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop at a time that is no whole number"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-extra-member.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop with a member its form does not have"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-at-other.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a stop at something other than the energy ceiling"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-energy-watch-both.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route said both to be read and to have no reading"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-stopped-on-plain.json",
|
|
"reasons": [
|
|
"stopped"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a job with no contract said to have been stopped"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-class-gpu.json",
|
|
"reasons": [
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the GPU's single precision stated exact: a class its method does not have"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-class-by-job.json",
|
|
"reasons": [
|
|
"planner_route",
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the stabilizer stated estimate, on a job with no noise and no target"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-host-dependent.json",
|
|
"reasons": [
|
|
"planner_route",
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a built-in on no GPU said to depend on the host, which takes it out of the digest"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-provider-host-independent.json",
|
|
"reasons": [
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's route said not to depend on the host"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-result-class-foreign.json",
|
|
"reasons": [
|
|
"contract_class"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the stabilizer's result stated bit-exact: it meets what is wanted, and its method has no such class"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-price-memory-null.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a method's memory stated null, which passes the memory rule and wins its tie"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-price-provider-memory.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's route stating a memory"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-host-providers-other.json",
|
|
"reasons": [
|
|
"planner_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "host.providers that are not the provider routes"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-route-missing.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow that names no route"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-plan-route-missing.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow planned with no route, where null would say why"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-plan-route-absent.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a plan with neither a route nor null, and a shadow said not to have run"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-route-provider.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider as its own shadow"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-request-extra.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow run under a noise model the job never asked for, on both sides"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-plan-code.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow planned with a code no plan has"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-plan-class.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow planned at a class its route is not listed with"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-plan-budget.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a budget that is not what the contract leaves"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-plan-price-over.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow planned at a time past its budget"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-count-fraction.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow's counts that are not whole, summing to the shots all the same"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-count-sum.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow's counts that sum to more than its shots"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-count-short.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shot said omitted beside counts that are all the shots: they sum to one more, and the distance, not computed, is no help"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-distinct.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow that says more outcomes than it lists, none omitted"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-class-foreign.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow run by mps stated bit-exact: it meets its plan, and mps has no such class"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-bound-other.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a bound on the distance the shots alone leave that is not what the counts give"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-cost-route-free-run-paid.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a run sealed at 50 USD on a route the reasoning calls free: not the route chosen"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-cost-route-paid-run-free.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a paid route chosen, its run sealed as free and unconfirmed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-cost-amount-other.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a run sealed at another estimate than its route's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-cost-unknown-run-free.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route whose cost is not known, its run sealed as free and unconfirmed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-cost-at-least-dropped.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a route's estimate the least it can come to, its run's estimate sealed as the whole"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-device-other.json",
|
|
"reasons": [
|
|
"planner_choice"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the route chosen names another device than the one that ran"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-provenance-class.json",
|
|
"reasons": [
|
|
"planner_route"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's route whose class is not its provenance's"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-width-other.json",
|
|
"reasons": [
|
|
"shadow"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a shadow whose outcomes are wider than the job's, its distance what they give"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-mps-exact.json",
|
|
"reasons": [
|
|
"planner_route",
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the matrix product state's route stated exact, which a route of it never is"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-route-registered-host-independent.json",
|
|
"reasons": [
|
|
"planner_route",
|
|
"planner_stable"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a method the host registered, stated to depend on nothing of the host"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-contract-shadow-said-failed.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a shadow planned and said to have failed: valid to read, and run again by --recheck"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-board-certified.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "an energy-landscape run from a board the host certified bit-exact within a capacity of 64 cells, its audit beside it: every rule holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-board-settle-certified.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a settle from the same board, its audit the reference's whole settle: every rule holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-first-form.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an energy-landscape run sealed in the first form, older than the extension: the seal holds, and no host wrote it (rule 1)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-schema-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an energy-landscape answer named as a circuit job's result (rule 2)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-engine-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an energy-landscape answer naming another engine (rule 2)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-request-seed-text.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a request whose seed is no whole number (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-request-temperature-exponent.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a request whose temperature is written with an exponent (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-request-parity-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a request whose parity is neither bit-exact nor statistical (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-no-operation.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an energy-landscape answer with none of lines, rows and state: of no operation (rule 4)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-label-empty.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an empty label (rule 5)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-member-added.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member holding a member it does not name (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-member-id-class.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member whose id names another class than its own (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-reference-graded.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the reference stated bit-exact, not reference (rule 6), with no audit (rule 9)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-board-reference.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a board stated at the reference's own parity (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-settle-statistical.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a settle kernel graded statistical, which only a sampling kernel can be (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-compare-kernels.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a comparison whose member names the settle kernel beside the sampling kernel (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-demoted-graded.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member the audit demoted, still stated bit-exact (rule 7)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-demoted-uncertified.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a member the audit demoted, stated uncertified, as section 7.3 says: every rule holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-capacity-under-floor.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a board graded bit-exact within 31 cells, under the floor of 32 (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-capacity-side-under-floor.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a board graded bit-exact with a field bound of 40 above temperature 0, under the floor of 41 (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-capacity-uncertified-small.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a board run by name, uncertified, within 8 cells: no grade, so no floor (rule 8 holds)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-capacity-on-reference.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the reference stating a capacity, which it declares none of (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-capacity-unknown-number.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a capacity naming a number section 5 does not have (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-bit-exact-no-audit.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a board graded bit-exact whose answer carries no audit (rule 9)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-audit-on-reference.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an audit on the reference's own answer, which nothing audits (rule 9)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-digest-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a program digest that is not the request's program's (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-seed-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an answer's seed that is not the request's (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-mode-kernel.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sampling run stated as a settle: the kernel and the temperature say otherwise (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-state-hash-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a state hash that is not the state's (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-replay-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a replay digest that is not the one the program, the plan, the state and the energy give (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-energy-lowered.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an energy lowered by one, the replay digest left: the digest binds the energy (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-joules-measured.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "joules stated as measured: they are priced, always (section 4.4, rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-reached-wrong.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the lowest energy said not reached where the energy is the truth's lowest (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-variables-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "as many variables stated as the state has cells and one more (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-replay-line-dropped.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a replay of four seeds with three lines (rule 11)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-replay-seeds-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a replay asked for five seeds, answering four (rule 11)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-sweep-row-parity.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sweep's row stating another parity than the member's for its kernel (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-compare-classical-parity.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a classical method's row stating a parity: it ran on no member (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-local-provider-members.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a job run here, carrying a provider's job (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-provider-name-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's job naming another provider than its request (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-provider-unrequested.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's members on a job whose request names no provider (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-provider-unconfirmed.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a run that was not free, not confirmed: no client sends one (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-provider-kind-builtin.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's job of a built-in kind, which carries no energy-landscape job (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-tampered.json",
|
|
"reasons": [
|
|
"digest_mismatch",
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an energy-landscape run whose state was changed after it was sealed: the seal, and its hash and replay digest (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-board-certified.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run from a board the host graded bit-exact on that version's set, its audit beside it and no capacity: every rule holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-board-uncertified.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a second-version settle from a board run by name, uncertified, with no capacity: every rule holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-first-form.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run sealed in the first form, older than the extension (rule 1)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-schema-first.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version answer whose schema names the first version (rule 2)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-protocol-first.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version answer whose protocol names the first version, its schema the second (rule 2)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-request-no-protocol.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version answer to a request that names no protocol, which is a job of the first version (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-request-protocol-first.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version answer to a request that names the first version (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-request-protocol-null.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version answer to a request whose protocol is null, which is absent (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-kernel-first.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run whose member names the first version's sampling kernel (rule 6, and rule 10's kernel)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-statistical.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version sampling kernel graded statistical, which that version grants no kernel (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-compare-kernels.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version comparison whose member names the settle kernel too (rule 6)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-compare-kernel-first.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version comparison whose member names the first version's sampling kernel (rule 6, and its rows' parity, rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-capacity-uncertified.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version member stating a capacity, which that version holds no member to (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-capacity-certified.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version board graded bit-exact within a capacity of 64 cells, as the first version's would be: no capacity is stated there (rule 8)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-replay-first-name.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run whose replay digest begins with the first version's name (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-replay-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version settle whose replay digest is not the one its program, plan, state and energy give (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-sample-priced.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sampling run priced: no rate with evidence covers a run above temperature 0 (section 4.3, rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-sample-figure-zero.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sampling run unpriced with a figure of 0: an unpriced run gives no figure, of 0 or any other (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-sample-no-why.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sampling run unpriced with an empty why (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-sample-why-null.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sampling run unpriced with no why (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-sample-pj-absent.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sampling run unpriced with no pj at all: it is null, present (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-settle-unpriced.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a settle stated unpriced: a run at temperature 0 is priced (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-settle-no-figure.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a settle priced with no figure (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-quench-figure-negative.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a quench priced below 0 (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-quench-figure-zero.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a quench priced at 0: a number of at least 0 (rule 10 holds)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-joules-measured.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a settle's joules stated as measured: they are priced (section 4.3, rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-metered-absent.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a settle's joules with neither a meter's reading nor null beside them (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-mode-kernel.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version sampling run stated as a settle: the kernel, the temperature and the joules say otherwise (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-replay-line-dropped.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version replay of four seeds with three lines (rule 11)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-sweep-row-kernel-first.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version sweep's row naming the first version's kernel, which its member does not state (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-sweep-row-parity.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version sweep's row stating another parity than the member's for its kernel (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-compare-classical-parity.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a classical method's row stating a parity, in a second-version comparison (rule 12)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-provider-name-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version provider's job naming another provider than its request (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-provider-unrequested.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's members on a second-version job whose request names no provider (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-provider-unconfirmed.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run on a provider that was not free, not confirmed (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-provider-protocol-other.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a provider's job whose provider protocol is the landscape protocol's name, not wai.quantum.provider/1 (rule 13)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape2-tampered.json",
|
|
"reasons": [
|
|
"digest_mismatch",
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a second-version run whose state was changed after it was sealed: the seal, and its hash and replay digest (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-request-protocol-second.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a first-version answer to a request that names the second version (rule 3)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-kernel-second.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a first-version run whose member names the second version's sampling kernel (rule 6, and rule 10's kernel)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-replay-second-name.json",
|
|
"reasons": [
|
|
"landscape_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a first-version run whose replay digest begins with the second version's name (rule 10)"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-landscape-request-protocol-first.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a first-version run whose request names the first version, as it may: every rule holds"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-issued.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a receipt that seals when it was issued"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-until.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a receipt that seals when it was issued and until when it is offered"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-respelt.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the same times written as other numbers of the same value: the same time, and the same digest"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-zero.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "issued at 0, written -0"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-largest.json",
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the largest times a receipt states"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-changed.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time changed after it was sealed"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-end-added.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an end put on a time sealed without one"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-end-removed.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sealed end taken off"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-removed.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a sealed time taken off: the digest is not one of a receipt that seals none"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-put-on.json",
|
|
"reasons": [
|
|
"digest_mismatch"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time put on a receipt that sealed none"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-null.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time that is null: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-number.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time that is a number: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-string.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time that is a string: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-array.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time that is an array: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-empty.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time with no issue: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-end-alone.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an end and no issue: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-issued-null.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an issue that is null: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-issued-negative.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "issued before 1970: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-issued-fraction.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an issue with a fraction: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-issued-string.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an issue that is a string: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-issued-past-safe.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "issued past 2^53 - 1: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-end-at-issue.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an end at the issue: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-end-before-issue.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an end before the issue: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-end-null.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "an end that is null: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-form-member.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a member a time does not have: not a receipt of its form"
|
|
},
|
|
{
|
|
"file": "jobs/crafted-time-first-form.json",
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time on a receipt of the first form, which seals none"
|
|
}
|
|
],
|
|
"held": [
|
|
{
|
|
"file": "jobs/service-time-run.json",
|
|
"held": {
|
|
"trust": "trust/service-keys.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the service's receipt held to the key set that service published: its key is listed, signing from the start with no end"
|
|
},
|
|
{
|
|
"file": "jobs/service-time-run.json",
|
|
"held": {
|
|
"trust": "trust/service-keys.json",
|
|
"at_ms": 1794403403830
|
|
},
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same, held also to the moment it was issued"
|
|
},
|
|
{
|
|
"file": "jobs/service-time-run.json",
|
|
"held": {
|
|
"trust": "trust/service-keys.json",
|
|
"at_ms": 1794403403829
|
|
},
|
|
"reasons": [
|
|
"issued_later"
|
|
],
|
|
"made_by": "made",
|
|
"what": "the same, held to a millisecond before it says it was issued"
|
|
},
|
|
{
|
|
"file": "jobs/service-time-run.json",
|
|
"held": {
|
|
"trust": "trust/demo-open.json"
|
|
},
|
|
"reasons": [
|
|
"key_untrusted"
|
|
],
|
|
"made_by": "made",
|
|
"what": "the service's receipt held to a list that names another key"
|
|
},
|
|
{
|
|
"file": "jobs/cli-time-stated.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json",
|
|
"at_ms": 1762865999999
|
|
},
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the command line's receipt, issued at the first moment of its key's window, held to the last millisecond before the end it seals"
|
|
},
|
|
{
|
|
"file": "jobs/cli-time-stated.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json",
|
|
"at_ms": 1762866000000
|
|
},
|
|
"reasons": [
|
|
"expired"
|
|
],
|
|
"made_by": "made",
|
|
"what": "the same, held to the end it seals"
|
|
},
|
|
{
|
|
"file": "jobs/cli-time-set.json",
|
|
"held": {
|
|
"trust": "trust/demo-revoked.json"
|
|
},
|
|
"reasons": [
|
|
"key_revoked"
|
|
],
|
|
"made_by": "made",
|
|
"what": "a set sealed long after its key was revoked: placed by its own receipt's time"
|
|
},
|
|
{
|
|
"file": "jobs/cli-time-set.json",
|
|
"held": {
|
|
"trust": "trust/demo-open.json",
|
|
"at_ms": 1794403402747
|
|
},
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the set held to a key with no end, and to the moment it was issued"
|
|
},
|
|
{
|
|
"file": "jobs/cli-run-observables.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json"
|
|
},
|
|
"reasons": [
|
|
"key_window"
|
|
],
|
|
"made_by": "made",
|
|
"what": "a receipt made before receipts sealed a time, held to a key whose window has ended: it can be placed in none"
|
|
},
|
|
{
|
|
"file": "jobs/cli-run-observables.json",
|
|
"held": {
|
|
"trust": "trust/demo-open.json",
|
|
"at_ms": 0
|
|
},
|
|
"reasons": [],
|
|
"made_by": "made",
|
|
"what": "the same receipt held to a key with no end, and to a time: it states none to hold to one"
|
|
},
|
|
{
|
|
"file": "held/open-untimed.json",
|
|
"held": {
|
|
"trust": "trust/demo-open.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "no time sealed, by a key whose window has no end: it can have been signed at any time in it"
|
|
},
|
|
{
|
|
"file": "held/open-timed.json",
|
|
"held": {
|
|
"trust": "trust/demo-open.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "a time sealed, by a key signing from the start with no end"
|
|
},
|
|
{
|
|
"file": "held/window-before.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json"
|
|
},
|
|
"reasons": [
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "issued a millisecond before its key's window opened"
|
|
},
|
|
{
|
|
"file": "held/window-first.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "issued at the first moment of its key's window"
|
|
},
|
|
{
|
|
"file": "held/window-last.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "issued in the last millisecond of its key's window"
|
|
},
|
|
{
|
|
"file": "held/window-end.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json"
|
|
},
|
|
"reasons": [
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "issued at its key's window's end, which is its successor's first moment"
|
|
},
|
|
{
|
|
"file": "held/window-untimed.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json"
|
|
},
|
|
"reasons": [
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "no time sealed, by a key whose window has an end: it cannot be placed before it"
|
|
},
|
|
{
|
|
"file": "held/window-respelt.json",
|
|
"held": {
|
|
"trust": "trust/times-respelt.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the same window, its times written as other numbers"
|
|
},
|
|
{
|
|
"file": "held/window-respelt-end.json",
|
|
"held": {
|
|
"trust": "trust/times-respelt.json"
|
|
},
|
|
"reasons": [
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the same window written so, at its end"
|
|
},
|
|
{
|
|
"file": "held/revoked-before.json",
|
|
"held": {
|
|
"trust": "trust/demo-revoked.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "issued a millisecond before its key was revoked: it stands"
|
|
},
|
|
{
|
|
"file": "held/revoked-at.json",
|
|
"held": {
|
|
"trust": "trust/demo-revoked.json"
|
|
},
|
|
"reasons": [
|
|
"key_revoked"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "issued at the moment its key is revoked from"
|
|
},
|
|
{
|
|
"file": "held/revoked-untimed.json",
|
|
"held": {
|
|
"trust": "trust/demo-revoked.json"
|
|
},
|
|
"reasons": [
|
|
"key_revoked"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "no time sealed, by a revoked key: it cannot be placed before the revocation"
|
|
},
|
|
{
|
|
"file": "held/unlisted.json",
|
|
"held": {
|
|
"trust": "trust/other-only.json"
|
|
},
|
|
"reasons": [
|
|
"key_untrusted"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a key the trust list does not name"
|
|
},
|
|
{
|
|
"file": "held/rotated-old.json",
|
|
"held": {
|
|
"trust": "trust/demo-rotated.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the retired key's receipt, issued before the rotation: it stands"
|
|
},
|
|
{
|
|
"file": "held/rotated-old-after.json",
|
|
"held": {
|
|
"trust": "trust/demo-rotated.json"
|
|
},
|
|
"reasons": [
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the retired key's receipt, issued at the rotation"
|
|
},
|
|
{
|
|
"file": "held/rotated-new.json",
|
|
"held": {
|
|
"trust": "trust/demo-rotated.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the successor's receipt, issued at the rotation"
|
|
},
|
|
{
|
|
"file": "held/rotated-new-before.json",
|
|
"held": {
|
|
"trust": "trust/demo-rotated.json"
|
|
},
|
|
"reasons": [
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "the successor's receipt, issued before the rotation"
|
|
},
|
|
{
|
|
"file": "held/rotated-new-untimed.json",
|
|
"held": {
|
|
"trust": "trust/demo-rotated.json"
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "the successor's receipt with no time sealed: its window has no end"
|
|
},
|
|
{
|
|
"file": "held/at-before-end.json",
|
|
"held": {
|
|
"at_ms": 1762865999999
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "held to the last millisecond before the end it seals"
|
|
},
|
|
{
|
|
"file": "held/at-end.json",
|
|
"held": {
|
|
"at_ms": 1762866000000
|
|
},
|
|
"reasons": [
|
|
"expired"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "held to the end it seals"
|
|
},
|
|
{
|
|
"file": "held/at-issue.json",
|
|
"held": {
|
|
"at_ms": 1762862400000
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "held to the moment it was issued"
|
|
},
|
|
{
|
|
"file": "held/at-before-issue.json",
|
|
"held": {
|
|
"at_ms": 1762862399999
|
|
},
|
|
"reasons": [
|
|
"issued_later"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "held to a millisecond before it says it was issued"
|
|
},
|
|
{
|
|
"file": "held/at-within-skew.json",
|
|
"held": {
|
|
"at_ms": 1762862399995,
|
|
"skew_ms": 5
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "issued five milliseconds after the time it is held to, five allowed"
|
|
},
|
|
{
|
|
"file": "held/at-past-skew.json",
|
|
"held": {
|
|
"at_ms": 1762862399994,
|
|
"skew_ms": 5
|
|
},
|
|
"reasons": [
|
|
"issued_later"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "issued six milliseconds after the time it is held to, five allowed"
|
|
},
|
|
{
|
|
"file": "held/at-no-end.json",
|
|
"held": {
|
|
"at_ms": 9007199254740991
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "no end sealed: it does not expire"
|
|
},
|
|
{
|
|
"file": "held/at-untimed.json",
|
|
"held": {
|
|
"at_ms": 0
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "no time sealed: nothing to hold to a time"
|
|
},
|
|
{
|
|
"file": "held/both.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json",
|
|
"at_ms": 1762862405000
|
|
},
|
|
"reasons": [],
|
|
"made_by": "crafted",
|
|
"what": "in its key's window, and held to a later time"
|
|
},
|
|
{
|
|
"file": "held/both-refused.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json",
|
|
"at_ms": 1762862402000
|
|
},
|
|
"reasons": [
|
|
"expired",
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "outside its key's window, and past its end"
|
|
},
|
|
{
|
|
"file": "held/changed.json",
|
|
"held": {
|
|
"trust": "trust/demo-window.json"
|
|
},
|
|
"reasons": [
|
|
"digest_mismatch",
|
|
"key_window"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a time changed after it was sealed, to one outside its key's window: both are said"
|
|
},
|
|
{
|
|
"file": "held/not-of-its-form.json",
|
|
"held": {
|
|
"trust": "trust/other-only.json",
|
|
"at_ms": 0
|
|
},
|
|
"reasons": [
|
|
"receipt_form"
|
|
],
|
|
"made_by": "crafted",
|
|
"what": "a receipt not of its form names no key and no time: it is held to nothing"
|
|
}
|
|
],
|
|
"trust_lists": [
|
|
{
|
|
"file": "trust/demo-open.json",
|
|
"reads": true,
|
|
"made_by": "crafted",
|
|
"what": "the demo key, signing from the start with no end"
|
|
},
|
|
{
|
|
"file": "trust/demo-window.json",
|
|
"reads": true,
|
|
"made_by": "crafted",
|
|
"what": "the demo key in a window of one second from T0"
|
|
},
|
|
{
|
|
"file": "trust/demo-revoked.json",
|
|
"reads": true,
|
|
"made_by": "crafted",
|
|
"what": "the demo key revoked from half a second after T0"
|
|
},
|
|
{
|
|
"file": "trust/demo-rotated.json",
|
|
"reads": true,
|
|
"made_by": "crafted",
|
|
"what": "the demo key retired a second after T0 for another, with the transition both signed"
|
|
},
|
|
{
|
|
"file": "trust/other-only.json",
|
|
"reads": true,
|
|
"made_by": "crafted",
|
|
"what": "another key alone"
|
|
},
|
|
{
|
|
"file": "trust/times-respelt.json",
|
|
"reads": true,
|
|
"made_by": "crafted",
|
|
"what": "the window of demo-window, its times written as other numbers of the same value"
|
|
},
|
|
{
|
|
"file": "trust/refused-format.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "another document's format"
|
|
},
|
|
{
|
|
"file": "trust/refused-no-format.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "no format"
|
|
},
|
|
{
|
|
"file": "trust/refused-algorithm.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "another algorithm"
|
|
},
|
|
{
|
|
"file": "trust/refused-algorithm-null.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "an algorithm that is null"
|
|
},
|
|
{
|
|
"file": "trust/refused-no-keys.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "no keys"
|
|
},
|
|
{
|
|
"file": "trust/refused-keys-object.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "keys that are an object"
|
|
},
|
|
{
|
|
"file": "trust/refused-entry-not-object.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "an entry that is a string"
|
|
},
|
|
{
|
|
"file": "trust/refused-key-upper.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a key in upper-case hex"
|
|
},
|
|
{
|
|
"file": "trust/refused-key-short.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a key of 31 bytes"
|
|
},
|
|
{
|
|
"file": "trust/refused-key-twice.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a key listed twice"
|
|
},
|
|
{
|
|
"file": "trust/refused-time-fraction.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a time with a fraction"
|
|
},
|
|
{
|
|
"file": "trust/refused-time-negative.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a time before 1970"
|
|
},
|
|
{
|
|
"file": "trust/refused-time-past-safe.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a time past 2^53 - 1"
|
|
},
|
|
{
|
|
"file": "trust/refused-time-string.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a time as a string"
|
|
},
|
|
{
|
|
"file": "trust/refused-revoked-true.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a revocation that is no time"
|
|
},
|
|
{
|
|
"file": "trust/refused-transition-unsigned.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a transition with no signatures"
|
|
},
|
|
{
|
|
"file": "trust/refused-transition-changed.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a transition changed after it was signed"
|
|
},
|
|
{
|
|
"file": "trust/refused-transition-other-key.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a transition on its successor's entry, which it does not name as retiring"
|
|
},
|
|
{
|
|
"file": "trust/refused-transition-exchanged.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a transition whose two signatures are exchanged"
|
|
},
|
|
{
|
|
"file": "trust/refused-member-twice.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "a member named twice"
|
|
},
|
|
{
|
|
"file": "trust/refused-not-json.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "not JSON"
|
|
},
|
|
{
|
|
"file": "trust/refused-array.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "an array"
|
|
},
|
|
{
|
|
"file": "trust/refused-two-values.json",
|
|
"reads": false,
|
|
"made_by": "crafted",
|
|
"what": "two values"
|
|
},
|
|
{
|
|
"file": "trust/service-keys.json",
|
|
"reads": true,
|
|
"made_by": "made",
|
|
"what": "the key set a job service built from this checkout published at /.well-known/wai-quantum-receipt-keys, as it gave it: the trust list for that service's receipts"
|
|
}
|
|
]
|
|
}
|