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]>
116 lines
4.3 KiB
JSON
116 lines
4.3 KiB
JSON
{
|
|
"status": "done",
|
|
"method": "provider",
|
|
"why": "on mine, prx-circuits:test-qc (prx-circuits): compiled exactly to prxcz 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": "measured",
|
|
"note": "counts from the processor the provider names, read as counts_source says (shot records, the provider's own counts, or counts rebuilt from probabilities); not reproducible by recomputation: the same job run again gives other counts, and no simulation stands in for them; what was set off at the provider, and what was left to its defaults, is in execution"
|
|
},
|
|
"shots": 400,
|
|
"provider": {
|
|
"name": "mine",
|
|
"kind": "prx-circuits",
|
|
"protocol": "prx-circuits",
|
|
"device": "prx-circuits:test-qc",
|
|
"provenance": "silicon",
|
|
"qubits": 5,
|
|
"basis": "prxcz",
|
|
"describe": "1f6d996884468f37481db4e20932d6c0ecb84ebbbf4232f734080c61ab9fae66"
|
|
},
|
|
"calibration": null,
|
|
"compiled": {
|
|
"basis": "prxcz",
|
|
"program": "12123632bbbc70df6b58c3103f50479a72211ba109a01d9e3a581c703f160dad",
|
|
"hash": "BLAKE3 of the program's OpenQASM 3 text, qasm3",
|
|
"qasm3": "OPENQASM 3.0;\ninclude \"stdgates.inc\";\ngate prx(theta, phi) a { rz(-phi) a; rx(theta) a; rz(phi) a; }\nbit[2] c;\nprx(pi/2, -pi/2) $0;\nprx(pi/2, -pi/2) $1;\ncz $0, $1;\nprx(pi/2, pi/2) $1;\nc[0] = measure $0;\nc[1] = measure $1;\n",
|
|
"native_gates": 4,
|
|
"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": "QB1",
|
|
"1": "QB2"
|
|
},
|
|
"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": "prx-0",
|
|
"polls": 1
|
|
},
|
|
"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": {
|
|
"unknown": "the provider gives no estimate"
|
|
},
|
|
"charged": null,
|
|
"confirmed": true
|
|
},
|
|
"energy": {
|
|
"unmetered": "the work ran at the provider; this host's meter would read only the wait"
|
|
},
|
|
"counts_source": "vendor_counts",
|
|
"execution": {
|
|
"stated_by": "client",
|
|
"sent": {
|
|
"fields": [
|
|
"circuits",
|
|
"shots"
|
|
],
|
|
"settings": {}
|
|
},
|
|
"verbatim": false,
|
|
"note": "this client sends only circuits and shots: it sets nothing, so every step is the service's default, whatever that is",
|
|
"mitigation": "default",
|
|
"twirling": "off",
|
|
"decoupling": "default",
|
|
"remapping": "default",
|
|
"optimisation": "default"
|
|
},
|
|
"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": "a41b3702444401d46fd34d13306ba891ceb1b29aad4581243fa435f9b1f389ef",
|
|
"signature": "1e11d6731be36a5299a7c22b5632bb7741b8bb1c39546c476175c3886601c6cc273b974889e1c5875d020d38c151e19e25bd4bce631fc577292ae84229844a01"
|
|
}
|
|
}
|
|
}
|