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": "default",
|
|
"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": "49760803009a485dcaa4daa8fded38c14691d6f0629f112be48b76b4a0ef5cf0",
|
|
"signature": "7ab75ed5e9cf48a3daebacf508ec7dd69915a51b5a23200f1fdb91e7fc4b7480958ce39fcf8ae9a688ee5acaa771e818b6412f70e8ddd48441b70c2f10a2dd0c"
|
|
}
|
|
}
|
|
}
|