2778ddd525
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]>
53 lines
1.4 KiB
JSON
53 lines
1.4 KiB
JSON
{
|
|
"status": "done",
|
|
"method": "stabilizer",
|
|
"why": "Clifford circuit: the stabilizer tableau of 2 qubits; the cheapest of the 4 of 13 routes that meet the contract",
|
|
"estimate": {
|
|
"memory_bytes": 67172870,
|
|
"work": 2008
|
|
},
|
|
"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,
|
|
"contract": {
|
|
"exactness": "exact",
|
|
"max_cost": {
|
|
"amount": "1",
|
|
"currency": "USD"
|
|
},
|
|
"deadline_seconds": 60.0
|
|
}
|
|
},
|
|
"result": {
|
|
"method": "stabilizer",
|
|
"qubits": 2,
|
|
"gates": 2,
|
|
"accuracy": {
|
|
"class": "exact"
|
|
},
|
|
"counts": {
|
|
"11": 505,
|
|
"00": 495
|
|
},
|
|
"distinct_outcomes": 2,
|
|
"omitted_shots": 0,
|
|
"outcome_dimension": 1,
|
|
"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"
|
|
},
|
|
"receipt": {
|
|
"alg": "ed25519",
|
|
"canon": "rfc8785",
|
|
"key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
|
|
"digest": "31fbf6c42cea955cf95cdb31f0f719cc0c58f75439d234cdcf1f14a18b5f3ddb",
|
|
"signature": "67a78a0cb81b864a403630042d9fb653576185af190a2696398828cfe35996f5c00769a0caa236fe0b7a41bdf88eb871a3ffc9526ed52d094e37c65171ab0506"
|
|
}
|
|
}
|
|
}
|