3bec9b4a01
A surface that takes a job takes a set, and verified it against a seal over its head as if over the whole result, so a good set read as invalid. The provider path checks its own receipt before giving it: a provider's word reaches the seal. A made receipt is pinned by digest, and generate.py --self-test shows each way the pins fail. The corpus gains two receipts by the first form's own writer, from the service as it was on 18 October. A second verifier's reading settled four sentences of section 8, and -0 as an index, where the two disagreed. Co-Authored-By: Claude Opus 5.5 <[email protected]>
127 lines
4.7 KiB
JSON
127 lines
4.7 KiB
JSON
{
|
|
"status": "done",
|
|
"method": "provider",
|
|
"why": "on mine, cloud-tasks:SIM (cloud-tasks): compiled exactly to rzsxxcz on its qubits and checked by simulation here before it was sent",
|
|
"request": {
|
|
"qasm": "OPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\ncx q[0], q[1];\nc = measure q;\n",
|
|
"shots": 400,
|
|
"provider": "mine"
|
|
},
|
|
"result": {
|
|
"method": "provider",
|
|
"qubits": 2,
|
|
"gates": 2,
|
|
"accuracy": {
|
|
"class": "simulated",
|
|
"note": "counts from the provider's simulator or emulator, as provider.provenance names it, not measured on any device: classical software's sample of the program, read as counts_source says; they show what that software gives, under whatever noise it models, not what a device would"
|
|
},
|
|
"shots": 400,
|
|
"provider": {
|
|
"name": "mine",
|
|
"kind": "cloud-tasks",
|
|
"protocol": "cloud-tasks",
|
|
"device": "cloud-tasks:SIM",
|
|
"provenance": "simulator:the service's SIM simulator",
|
|
"qubits": 34,
|
|
"basis": "rzsxxcz",
|
|
"describe": "d052d88256742b435f059d894f7ef4287325f0516a445bd0d689a4e2c4157deb"
|
|
},
|
|
"calibration": "2026-11-05T00:00:00Z",
|
|
"compiled": {
|
|
"basis": "rzsxxcz",
|
|
"program": "b96b3d2e44387bac1dab89e43e29706788b0b6ed721f88d5c0f64be293c72df9",
|
|
"hash": "BLAKE3 of the program's OpenQASM 3 text, qasm3",
|
|
"qasm3": "OPENQASM 3.0;\ninclude \"stdgates.inc\";\nbit[2] c;\nrz(pi/2) $0;\nsx $0;\nrz(pi/2) $1;\nsx $1;\ncz $0, $1;\nrz(pi) $1;\nsx $1;\nrz(pi/2) $0;\nrz(pi/2) $1;\nc[0] = measure $0;\nc[1] = measure $1;\n",
|
|
"native_gates": 9,
|
|
"two_qubit_gates": 1,
|
|
"swaps": 0,
|
|
"layout": [
|
|
0,
|
|
1
|
|
],
|
|
"final_layout": [
|
|
0,
|
|
1
|
|
],
|
|
"checked": "the compiled program's final state equals the circuit's, each logical qubit on the physical qubit it ends on, by the bit-exact simulator here; nothing has been sent",
|
|
"qubit_names": {
|
|
"0": "0",
|
|
"1": "1"
|
|
},
|
|
"placement": {
|
|
"chosen": "the compiler's own layout, the fewest swaps: the description does not read as a device target (describe: native_gates lists the device's gates)"
|
|
}
|
|
},
|
|
"job": {
|
|
"id": "arn:task:0",
|
|
"polls": 0
|
|
},
|
|
"ideal": {
|
|
"computed": true,
|
|
"method": "exact",
|
|
"total_variation_distance": 0.0,
|
|
"hellinger_fidelity": 1.0,
|
|
"sampling_tvd_expected": 0.019947114020071634,
|
|
"ideal_outcomes": 2,
|
|
"note": "the circuit's exact distribution over its classical bits, by the bit-exact state vector here, against the provider's counts: the total variation distance, the Hellinger fidelity, and the distance this many shots of the exact distribution would leave on average (by the normal approximation); a distance well above that is the device's or the simulator's error, or a program not run as sent"
|
|
},
|
|
"cost": {
|
|
"free": false,
|
|
"estimate": {
|
|
"free": false,
|
|
"amount": "0.003750",
|
|
"currency": "USD",
|
|
"unit": "minute",
|
|
"note": "the device's price for its three-second minimum, at least; the time a task takes is not known before it runs",
|
|
"at_least": true
|
|
},
|
|
"charged": null,
|
|
"confirmed": true
|
|
},
|
|
"energy": {
|
|
"unmetered": "the work ran at the provider; this host's meter would read only the wait"
|
|
},
|
|
"counts_source": "shots",
|
|
"execution": {
|
|
"stated_by": "client",
|
|
"sent": {
|
|
"fields": [
|
|
"action",
|
|
"clientToken",
|
|
"deviceArn",
|
|
"outputS3Bucket",
|
|
"outputS3KeyPrefix",
|
|
"shots"
|
|
],
|
|
"settings": {
|
|
"verbatim_box": true
|
|
}
|
|
},
|
|
"verbatim": true,
|
|
"note": "the processor's gates go in the service's verbatim box on its physical qubits, so the service neither remaps nor optimises them; the task sets no device parameters, so mitigation, twirling and decoupling are the service's defaults",
|
|
"mitigation": "default",
|
|
"twirling": "default",
|
|
"decoupling": "default",
|
|
"remapping": "off",
|
|
"optimisation": "off"
|
|
},
|
|
"counts": {
|
|
"00": 200,
|
|
"11": 200
|
|
},
|
|
"distinct_outcomes": 2,
|
|
"omitted_shots": 0,
|
|
"engine": {
|
|
"name": "wai-quantum",
|
|
"version": "0.8.1"
|
|
},
|
|
"schema": "wai.quantum.job-result/1",
|
|
"receipt": {
|
|
"alg": "ed25519",
|
|
"canon": "rfc8785",
|
|
"key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
|
|
"digest": "93c46b86f6a3f184c8952bcb856fcc7e5cff9c22d9e8a67ecd5035914e3efdd9",
|
|
"signature": "1bc1688bad4b491825ba275c12857bcea607daedc1a9218bc97139eff311d5c7dc84d6f32d464a27bf62b0e1d39c3454fbe1cad6c458beb0dd647e8c213d7a0f"
|
|
}
|
|
}
|
|
}
|