Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 77
open-standards/wai/quantum-conformance/answers/bundle.json
Transaction Science 9258a0739f wai-quantum contract over views, the answer layer, correctness records and the harness: their schemas, the view's tool, the basis in the views, and the stored seal for 0.7.0 
The apps branch's documents join the version contract. The answer layer's
documents (wai.quantum.answer/1: an answer read, carried out, a seal's
request and result, a stored answer checked), described as a draft whose form
may change before the extension settles; a correctness record and its corpus
(wai.quantum.telemetry/1); the views page's manifest
(wai.quantum.views-bundle/1); and the command line's harness report, corpus
and token counts (wai.quantum.eval-report/1, eval-answers/1, token-cost/1).
The engine's test holds every answer of the layer's conformance set (read,
carried out, half arrived, and stored and verified), records, the corpus and
the committed manifest to them; the eval tests hold a scripted run's report,
a model server's, the corpus and the committed token counts; check_schemas.py
holds the committed documents too. The tool and diagnostic schemas take the
answer layer's outcomes, dropped and defaulted.

The result view's own tool, poll_quantum_job, listed only to a host that
draws views, answers to the job's schema, and the strict test holds it.

The basis rename reaches the views: a compile's words and its view name the
gate set by its basis (both read the certificate's old target), and a test in
each holds it.

The service's job summary now lives in engine::views (the apps branch moved
it there); it carries the durable branch's set summary and the processor
packages' energy wording with it.

The answer set's stored seal was made at 0.6.16; the values it seals name
their engine, so it is written again at 0.7.0 (WAI_ANSWER_BUNDLE_WRITE=1).
The views crate's lock moves to wai-quantum 0.7.0.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-28 08:42:54 -04:00

462 lines
15 KiB
JSON
Raw Permalink Blame History

{
"format": "wai.quantum-answer-conformance-bundle/1",
"about": "manifest.json's cases with every answer inline, for builds that read no files (the browser, the edge); a test holds it equal to the files",
"cases": [
{
"name": "bell",
"file": "cases/bell.wqa",
"covers": [
"a well-formed answer: a program, a sample, a verdict and a seal"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"bell",
"counts",
"check",
"seal"
],
"run": {
"counts": {
"total": 1000,
"outcomes": [
"00",
"11"
]
},
"check": {
"level": "proof",
"holds": true
},
"seal": {
"sealed": [
"bell",
"counts",
"check"
]
}
}
},
"answer": "root = Answer([bell, counts, check, seal])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncounts = Histogram(@Sample(bell, 1000))\ncheck = Verdict(@Check(bell, {\"00\": 0.5, \"11\": 0.5}))\nseal = Receipt(@Seal([bell, counts, check]))\n"
},
{
"name": "bell-crlf",
"file": "cases/bell-crlf.wqa",
"covers": [
"CRLF line ends read as LF: the same answer and the same digest"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"bell",
"counts",
"check",
"seal"
],
"same_as": "bell"
},
"answer": "root = Answer([bell, counts, check, seal])\r\n```qasm bell\r\nOPENQASM 3.0;\r\nqubit[2] q;\r\nbit[2] c;\r\nh q[0];\r\ncx q[0], q[1];\r\nc = measure q;\r\n```\r\ncounts = Histogram(@Sample(bell, 1000))\r\ncheck = Verdict(@Check(bell, {\"00\": 0.5, \"11\": 0.5}))\r\nseal = Receipt(@Seal([bell, counts, check]))\r\n"
},
{
"name": "ghz-prepares",
"file": "cases/ghz-prepares.wqa",
"covers": [
"an intent named by a reference program whose state it must prepare"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"ghz",
"check"
],
"run": {
"check": {
"level": "proof",
"holds": true
}
}
},
"answer": "root = Answer([ghz, check])\n```qasm ghz\nOPENQASM 3.0;\ninclude \"stdgates.inc\";\nqubit[4] q;\nbit[4] c;\nh q[0];\ncx q[0], q[1];\ncx q[0], q[2];\ncx q[1], q[3];\nc = measure q;\n```\n```qasm chain\nOPENQASM 3.0;\ninclude \"stdgates.inc\";\nqubit[4] q;\nbit[4] c;\nh q[0];\ncx q[0], q[1];\ncx q[1], q[2];\ncx q[2], q[3];\nc = measure q;\n```\ncheck = Verdict(@Check(ghz, {\"prepares\": chain}))\n"
},
{
"name": "grover-equivalent",
"file": "cases/grover-equivalent.wqa",
"covers": [
"the equivalence ladder, and a distribution of one outcome"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"same",
"check"
],
"run": {
"same": {
"verdict": "equivalent"
},
"check": {
"level": "proof",
"holds": true
}
}
},
"answer": "root = Answer([same, check])\n```qasm grover\nOPENQASM 3.0;\ninclude \"stdgates.inc\";\nqubit[2] q;\nbit[2] c;\nh q;\ncz q[0], q[1];\nh q;\nx q;\ncz q[0], q[1];\nx q;\nh q;\nc = measure q;\n```\n```qasm grover_cx\nOPENQASM 3.0;\ninclude \"stdgates.inc\";\nqubit[2] q;\nbit[2] c;\nh q;\nh q[1];\ncx q[0], q[1];\nh q[1];\nh q;\nx q;\nh q[1];\ncx q[0], q[1];\nh q[1];\nx q;\nh q;\nc = measure q;\n```\nsame = Equivalence(@Equivalent(grover, grover_cx))\ncheck = Verdict(@Check(grover, {\"11\": 1.0}))\n"
},
{
"name": "wrong-distribution",
"file": "cases/wrong-distribution.wqa",
"covers": [
"an intent that fails, decided by proof"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"check"
],
"run": {
"check": {
"level": "proof",
"holds": false
}
}
},
"answer": "root = Answer([check])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncheck = Verdict(@Check(bell, {\"00\": 1.0}))\n"
},
{
"name": "state-views",
"file": "cases/state-views.wqa",
"covers": [
"a circuit, expectation values, amplitudes and a Bloch vector, each the engine's"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"circ",
"z",
"amps",
"plus"
],
"run": {
"z": {
"expectations": [
1.0,
1.0
]
},
"plus": {
"bloch_x": 1.0
}
}
},
"answer": "root = Answer([circ, z, amps, plus])\n```qasm p\nOPENQASM 3.0;\nqubit[2] q;\nh q[0];\ncx q[0], q[1];\n```\n```qasm one\nOPENQASM 3.0;\nqubit[1] q;\nh q[0];\n```\ncirc = Circuit(p)\nz = Expectation(@Expect(p, [\"Z0 Z1\", \"X0 X1\"]))\namps = Amplitudes(@Amplitudes(p, [\"00\", \"11\"]))\nplus = Bloch(@State(one, 0))\n"
},
{
"name": "calls-named-apart",
"file": "cases/calls-named-apart.wqa",
"covers": [
"an engine call as a statement of its own, named by the view; a forward reference; a value no view uses"
],
"expect": {
"errors": [],
"warnings": [
"J112"
],
"root": "root",
"order": [
"counts",
"check"
],
"run": {
"counts": {
"total": 200,
"outcomes": [
"00",
"11"
]
}
}
},
"answer": "root = Answer([counts, check])\ns = @Sample(bell, 200, 7)\ncounts = Histogram(s)\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\nwant = {\"00\": 0.5, \"11\": 0.5}\ncheck = Verdict(@Check(bell, {\"00\": 0.5, \"11\": 0.5}, 1e-9))\n"
},
{
"name": "no-root",
"file": "cases/no-root.wqa",
"covers": [
"no root: the views in the order written"
],
"expect": {
"errors": [],
"warnings": [
"J107"
],
"root": null,
"order": [
"circ",
"counts"
]
},
"answer": "```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncirc = Circuit(bell)\ncounts = Histogram(@Sample(bell, 100))\n"
},
{
"name": "number-in-a-view",
"file": "cases/number-in-a-view.wqa",
"covers": [
"a number where a view takes the engine's call"
],
"expect": {
"errors": [
"J106",
"J104"
],
"warnings": [
"J112"
],
"root": "root",
"order": []
},
"answer": "root = Answer([counts])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncounts = Histogram(1000)\n"
},
{
"name": "unknown-view-and-call",
"file": "cases/unknown-view-and-call.wqa",
"covers": [
"a view and engine calls the layer does not have; the root listing an engine call, which it does not take, leaves it out"
],
"expect": {
"errors": [
"J104",
"J106",
"J101",
"J102",
"J102"
],
"warnings": [
"J112"
],
"root": "root",
"order": []
},
"answer": "root = Answer([a, b, c])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\na = Barchart(@Sample(bell, 10))\nb = Histogram(@Run(bell, 10))\nc = @Simulate(bell)\n"
},
{
"name": "missing-and-extra-arguments",
"file": "cases/missing-and-extra-arguments.wqa",
"covers": [
"an argument missing, and one too many"
],
"expect": {
"errors": [
"J106",
"J103"
],
"warnings": [
"J105"
],
"root": "root",
"order": [
"b"
]
},
"answer": "root = Answer([a, b])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\na = Histogram(@Sample(bell))\nb = Circuit(bell, bell)\n"
},
{
"name": "a-program-that-does-not-read",
"file": "cases/a-program-that-does-not-read.wqa",
"covers": [
"the reader's refusal keeps its code; what names the program falls with it; a name nothing declares"
],
"expect": {
"errors": [
"J106",
"Q103",
"J106",
"J106"
],
"warnings": [],
"root": "root",
"order": []
},
"answer": "root = Answer([counts, circ])\n```qasm bad\nOPENQASM 3.0;\nqubit[1] q;\nfoo q[0];\n```\ncounts = Histogram(@Sample(bad, 10))\ncirc = Circuit(nowhere)\n"
},
{
"name": "truncated-program",
"file": "cases/truncated-program.wqa",
"covers": [
"the text ends inside a program"
],
"expect": {
"errors": [
"J106",
"J106",
"J108"
],
"warnings": [],
"root": "root",
"order": []
},
"answer": "root = Answer([bell, counts])\ncounts = Histogram(@Sample(bell, 10))\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nh q[0];\n"
},
{
"name": "truncated-statement",
"file": "cases/truncated-statement.wqa",
"covers": [
"the text ends inside a statement"
],
"expect": {
"errors": [
"J106",
"J108"
],
"warnings": [],
"root": "root",
"order": [
"bell"
]
},
"answer": "root = Answer([bell, counts])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncounts = Histogram(@Sample(bell, 10"
},
{
"name": "cycle",
"file": "cases/cycle.wqa",
"covers": [
"statements that name each other"
],
"expect": {
"errors": [
"J106",
"J109",
"J109"
],
"warnings": [
"J112"
],
"root": "root",
"order": []
},
"answer": "root = Answer([a])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\na = Receipt(@Seal([b]))\nb = @Seal([a])\n"
},
{
"name": "edit-by-redeclaring",
"file": "cases/edit-by-redeclaring.wqa",
"covers": [
"a later declaration stands: an edit"
],
"expect": {
"errors": [],
"warnings": [
"J110"
],
"root": "root",
"order": [
"counts"
],
"run": {
"counts": {
"total": 500,
"outcomes": [
"00",
"11"
]
}
}
},
"answer": "root = Answer([counts])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncounts = Histogram(@Sample(bell, 10))\ncounts = Histogram(@Sample(bell, 500))\n"
},
{
"name": "prose-and-unused",
"file": "cases/prose-and-unused.wqa",
"covers": [
"a number in prose, and a view the root does not reach"
],
"expect": {
"errors": [],
"warnings": [
"J111",
"J112"
],
"root": "root",
"order": [
"note",
"circ"
]
},
"answer": "root = Answer([note, circ])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\nnote = Text(\"about 50% read 00, the rest 11\")\ncirc = Circuit(bell)\nextra = Plan(@Plan(bell))\n"
},
{
"name": "lines-that-are-not-statements",
"file": "cases/lines-that-are-not-statements.wqa",
"covers": [
"prose, a fence that opens no program, and a marker this layer does not read"
],
"expect": {
"errors": [
"J100",
"J100",
"J100"
],
"warnings": [],
"root": "root",
"order": [
"circ"
]
},
"answer": "root = Answer([circ])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncirc = Circuit(bell)\nThe program above makes a Bell pair.\n```python\n]]>wai:summary {}\n"
},
{
"name": "bell-stored",
"file": "cases/bell-stored.wqa",
"covers": [
"a stored answer with its receipt marker: run again, the receipt verifies"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"bell",
"counts",
"check",
"seal"
],
"stored": {
"valid": true
}
},
"answer": "root = Answer([bell, counts, check, seal])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncounts = Histogram(@Sample(bell, 1000))\ncheck = Verdict(@Check(bell, {\"00\": 0.5, \"11\": 0.5}))\nseal = Receipt(@Seal([bell, counts, check]))\n]]>wai:receipt {\"statement\":\"seal\",\"receipt\":{\"alg\":\"ed25519\",\"canon\":\"rfc8785\",\"key\":\"ed4928c628d1c2c6eae90338905995612959273a5c63f93636c14614ac8737d1\",\"digest\":\"172dd72f18d77dc7ef99525fc61859062015f4a44a34d8ae5c76a7ba4a1b7c6d\",\"signature\":\"4e0288de0313b8f76b03bcbcfedf01989833fd63fd31e7bf0d981b75541c0362b92af555b161a552e6a4242e5a1793d9f90705ef8297db924a3abd577e6e8907\"}}\n"
},
{
"name": "bell-stored-changed",
"file": "cases/bell-stored-changed.wqa",
"covers": [
"the stored answer with a statement changed: the receipt does not verify"
],
"expect": {
"errors": [],
"warnings": [],
"root": "root",
"order": [
"bell",
"counts",
"check",
"seal"
],
"stored": {
"valid": false
}
},
"answer": "root = Answer([bell, counts, check, seal])\n```qasm bell\nOPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n```\ncounts = Histogram(@Sample(bell, 999))\ncheck = Verdict(@Check(bell, {\"00\": 0.5, \"11\": 0.5}))\nseal = Receipt(@Seal([bell, counts, check]))\n]]>wai:receipt {\"statement\":\"seal\",\"receipt\":{\"alg\":\"ed25519\",\"canon\":\"rfc8785\",\"key\":\"ed4928c628d1c2c6eae90338905995612959273a5c63f93636c14614ac8737d1\",\"digest\":\"172dd72f18d77dc7ef99525fc61859062015f4a44a34d8ae5c76a7ba4a1b7c6d\",\"signature\":\"4e0288de0313b8f76b03bcbcfedf01989833fd63fd31e7bf0d981b75541c0362b92af555b161a552e6a4242e5a1793d9f90705ef8297db924a3abd577e6e8907\"}}\n"
}
]
}
Reference in a new issue View git blame Copy permalink