open-standards/wai/quantum-conformance/receipts/jobs/crafted-contract-shadow-on-plain.json
Transaction Science 2778ddd525 wai-quantum: the planner under a contract, its reasoning sealed, a provider's answer shadowed
Re-landed from PR #668 (branch wai/quantum-planner-contract, merged with main
495651ddd at 37350335b) as one commit on main, under the land-it model. Five
review rounds; round 5's findings (two high: workers that died as PID 1) were
fixed on the branch, and its CI reds were traced and fixed before landing.

A job may carry a contract (deadline, energy ceiling, cost, accuracy); the
planner chooses a route that meets it or refuses with every route's reason,
and its reasoning is sealed in the receipt. Under #676's reading child the
contract job is planned in the child from the per-method timings the parent
sends, bounded as a job naming its chosen method plus its reasoning, kept
across a restart. Both verifiers (Rust and receipt_verify.py) check the
planner statement beside wasmQ's; the receipts corpus is regenerated with
both kinds (268 crafted receipts, 14 plants caught). The views page carries
its engine raw-deflated and stays under its 1 MiB limit (669,484 bytes).

Passed before the push (Framework, linux; M3, macOS): every repository
check, receipts conformance, breaking, corpora, catalogue, the qpu clients,
energy (wai-rs, wai-quantum full, serve), the CLI tests and clippy, writer,
smoke, cross-simulator corpus, job receipts, wasmQ tests and vectors, the
engine with and without receipts under -D warnings, the docs pages, and the
service suite with clippy.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-09 17:42:46 -05:00

66 lines
1.6 KiB
JSON

{
"status": "done",
"method": "stabilizer",
"why": "Clifford circuit: the stabilizer tableau of 2 qubits",
"estimate": {
"memory_bytes": 67172870,
"work": 2016
},
"request": {
"qasm": "OPENQASM 3.0;\ninclude \"stdgates.inc\";\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n",
"shots": 1000,
"seed": 7,
"observables": [
"Z0 Z1",
"X0"
]
},
"result": {
"method": "stabilizer",
"qubits": 2,
"gates": 2,
"accuracy": {
"class": "exact"
},
"counts": {
"11": 505,
"00": 495
},
"distinct_outcomes": 2,
"omitted_shots": 0,
"outcome_dimension": 1,
"expectations": [
{
"observable": "Z0 Z1",
"coeff": 1.0,
"value": 1.0
},
{
"observable": "X0",
"coeff": 1.0,
"value": 0.0
}
],
"elapsed_ms": 0,
"engine": {
"name": "wai-quantum",
"version": "0.8.1"
},
"schema": "wai.quantum.job-result/1",
"energy": {
"unmetered": "the command line does not meter a run's energy"
},
"shadow": {
"ran": false,
"code": "none",
"why": "no provider answered"
},
"receipt": {
"alg": "ed25519",
"canon": "rfc8785",
"key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
"digest": "41752598a89bedab7bb51e517bbc0a2219e48eedadf3c796b58276349e9834f4",
"signature": "a407363b148b44cc99bc9dd5441eab9ee1b15c3f28b2ca78f17e7492ac17ec8e44482e7b44134bd8067a4b332ba0994afdfbd64bfd1321b4a4eb75662b7f5302"
}
}
}