55208351c3
- A named method that needs standard gates reads them, so a program they cannot hold is refused as the reader refuses it: on its line, with Q208 or Q210 and no J011. Both refusals past 16 controls say how a job holds the gate, and no longer say the bit-exact method does so by default. - A verdict with no intent reads the program as it ran, so a gate past 16 controls runs over MCP, as the docs say; an intent is checked in standard gates, and a job with one is refused there, on its line. - lint's dynamic_steps counts standard steps, beside gates. - options.controls is read: another value, or "whole" on a job that runs standard gates, is refused (J003), and the schema, methods list, API description, README and both MCP servers name it. - accuracy.global_phase is stated against method statevector's state, not the language's, whose U and gphase differ from it; below_table and moved_angles say they count phase gates, at 1e-14 of a turn. - operations is an engine member. - Gates held whole may take 2,000,000 qubits in all (Q210), which holds nothing the standard form holds. - A metered plan says `metered`, its work what the meter allows, and such a job does not set the method's measured rate. - The refusal, service and QEC pages and the corpus say what changed; the tests are named in CI; the conformance set holds the new text forms; the service snapshot and the agent docs are regenerated. Co-Authored-By: Claude Opus 5.5 <[email protected]>
193 lines
5.6 KiB
JSON
193 lines
5.6 KiB
JSON
{
|
|
"format": "wai.quantum.qec_text.vectors/1",
|
|
"circuits": [
|
|
{
|
|
"file": "circuits/surface_z_d3_r3.circuit",
|
|
"qubits": 26,
|
|
"measurements": 33,
|
|
"detectors": 24,
|
|
"observables": 1,
|
|
"tags": [],
|
|
"text_blake3": "7d8d4e4823258e7fb4f67f086e6eea262691caac46b70cd80c8e7958c24d5693",
|
|
"model": "models/surface_z_d3_r3.dem",
|
|
"model_blake3": "07ffc5e7c94e14281f6912fc14eecacbdf3abfc8e576e833359977db5da5ef2b",
|
|
"mechanisms": 219,
|
|
"generator": "quantum_frame::surface_code_memory(3, 3, 0.001)"
|
|
},
|
|
{
|
|
"file": "circuits/surface_z_d5_r1.circuit",
|
|
"qubits": 64,
|
|
"measurements": 49,
|
|
"detectors": 24,
|
|
"observables": 1,
|
|
"tags": [],
|
|
"text_blake3": "2ec297565264f8010295bc64a99540f0af8db80a497f985f5f1274beffef192c",
|
|
"model": "models/surface_z_d5_r1.dem",
|
|
"model_blake3": "db42d1f75e3c402ec70c9d8f2170bf04522f84949fa244a070d54b01ca1bfdd7",
|
|
"mechanisms": 77,
|
|
"generator": "quantum_frame::surface_code_memory(5, 1, 0.002)"
|
|
},
|
|
{
|
|
"file": "circuits/bb72_z_c2.circuit",
|
|
"qubits": 144,
|
|
"measurements": 360,
|
|
"detectors": 144,
|
|
"observables": 12,
|
|
"tags": [],
|
|
"text_blake3": "4b699abb56acdee368c3877ab2bed66a2246d0e81f7a74627560a1d319bb2222",
|
|
"model": "models/bb72_z_c2.dem",
|
|
"model_blake3": "14e19d6784249875062e7e0778ab0783b5c26d3df7b2de8ee8c95b77a78c22f4",
|
|
"mechanisms": 828,
|
|
"generator": "quantum_ldpc::memory_circuit(&BbCode::bb72(), 2, 0.003, Basis::Z)"
|
|
},
|
|
{
|
|
"file": "circuits/bb72_x_c1.circuit",
|
|
"qubits": 144,
|
|
"measurements": 288,
|
|
"detectors": 108,
|
|
"observables": 12,
|
|
"tags": [],
|
|
"text_blake3": "2c16a2603cb0f6e060b54042b95c8e38bb8a61b56fb7271adf0a75cae486cccb",
|
|
"model": "models/bb72_x_c1.dem",
|
|
"model_blake3": "a71766d109fe7974aaf90fffdd07461af3d6a4fec584a24c6220e7bc5612090f",
|
|
"mechanisms": 432,
|
|
"generator": "quantum_ldpc::memory_circuit(&BbCode::bb72(), 1, 0.003, Basis::X)"
|
|
},
|
|
{
|
|
"file": "circuits/tagged.circuit",
|
|
"qubits": 3,
|
|
"measurements": 4,
|
|
"detectors": 3,
|
|
"observables": 2,
|
|
"tags": [
|
|
"prep",
|
|
"slow",
|
|
"leak",
|
|
"pair"
|
|
],
|
|
"text_blake3": "30c7fcb9468ae32e0226b3ad615b04653d38c52489412641db5e10cfea68debc",
|
|
"model": "models/tagged.dem",
|
|
"model_blake3": "eb62f2e8d90f4f9a121314949852929d390112ef82cef91979ae7bd73182a95f",
|
|
"mechanisms": 10
|
|
},
|
|
{
|
|
"file": "circuits/correlated.circuit",
|
|
"qubits": 4,
|
|
"measurements": 3,
|
|
"detectors": 2,
|
|
"observables": 1,
|
|
"tags": [],
|
|
"text_blake3": "04ecd1c77c5e22ff4570985e360731fc2a3d4eb2a3dad4c6cdda1c44ecb014c9",
|
|
"model": "models/correlated.dem",
|
|
"model_blake3": "5610664e2dde57ba866720afe009cc26fb11af8e511a2f31e477577a2a5e623f",
|
|
"mechanisms": 2
|
|
}
|
|
],
|
|
"models": [
|
|
{
|
|
"file": "models/surface_z_d3_r3.dem",
|
|
"detectors": 24,
|
|
"observables": 1,
|
|
"mechanisms": 219,
|
|
"decomposed": 113,
|
|
"tagged": 0,
|
|
"text_blake3": "07ffc5e7c94e14281f6912fc14eecacbdf3abfc8e576e833359977db5da5ef2b"
|
|
},
|
|
{
|
|
"file": "models/surface_z_d5_r1.dem",
|
|
"detectors": 24,
|
|
"observables": 1,
|
|
"mechanisms": 77,
|
|
"decomposed": 0,
|
|
"tagged": 0,
|
|
"text_blake3": "db42d1f75e3c402ec70c9d8f2170bf04522f84949fa244a070d54b01ca1bfdd7"
|
|
},
|
|
{
|
|
"file": "models/bb72_z_c2.dem",
|
|
"detectors": 144,
|
|
"observables": 12,
|
|
"mechanisms": 828,
|
|
"decomposed": 648,
|
|
"tagged": 0,
|
|
"text_blake3": "14e19d6784249875062e7e0778ab0783b5c26d3df7b2de8ee8c95b77a78c22f4"
|
|
},
|
|
{
|
|
"file": "models/bb72_x_c1.dem",
|
|
"detectors": 108,
|
|
"observables": 12,
|
|
"mechanisms": 432,
|
|
"decomposed": 324,
|
|
"tagged": 0,
|
|
"text_blake3": "a71766d109fe7974aaf90fffdd07461af3d6a4fec584a24c6220e7bc5612090f"
|
|
},
|
|
{
|
|
"file": "models/tagged.dem",
|
|
"detectors": 3,
|
|
"observables": 2,
|
|
"mechanisms": 10,
|
|
"decomposed": 0,
|
|
"tagged": 6,
|
|
"text_blake3": "eb62f2e8d90f4f9a121314949852929d390112ef82cef91979ae7bd73182a95f"
|
|
},
|
|
{
|
|
"file": "models/correlated.dem",
|
|
"detectors": 2,
|
|
"observables": 1,
|
|
"mechanisms": 2,
|
|
"decomposed": 0,
|
|
"tagged": 0,
|
|
"text_blake3": "5610664e2dde57ba866720afe009cc26fb11af8e511a2f31e477577a2a5e623f"
|
|
},
|
|
{
|
|
"file": "models/decomposed.dem",
|
|
"detectors": 7,
|
|
"observables": 2,
|
|
"mechanisms": 7,
|
|
"decomposed": 4,
|
|
"tagged": 4,
|
|
"text_blake3": "125a4e219807a7d0fc239165271a2ec0ea306781d3b9a8b049dcec60d7bd18f4"
|
|
}
|
|
],
|
|
"refuse": [
|
|
{
|
|
"file": "refuse/no_independent_flips.circuit",
|
|
"line": 2,
|
|
"contains": "no form as independent"
|
|
},
|
|
{
|
|
"file": "refuse/unsupported.circuit",
|
|
"line": 3,
|
|
"contains": "unsupported instruction 'T'"
|
|
},
|
|
{
|
|
"file": "refuse/random_observable.circuit",
|
|
"line": 0,
|
|
"contains": "not deterministic"
|
|
},
|
|
{
|
|
"file": "refuse/record.circuit",
|
|
"line": 3,
|
|
"contains": "measurement record out of range"
|
|
},
|
|
{
|
|
"file": "refuse/open_tag.circuit",
|
|
"line": 2,
|
|
"contains": "tag's '[' is not closed"
|
|
},
|
|
{
|
|
"file": "refuse/product.circuit",
|
|
"line": 2,
|
|
"contains": "unsupported instruction 'MPP'"
|
|
},
|
|
{
|
|
"file": "refuse/empty_part.dem",
|
|
"line": 1,
|
|
"contains": "empty"
|
|
},
|
|
{
|
|
"file": "refuse/unsupported.dem",
|
|
"line": 2,
|
|
"contains": "unsupported model instruction 'flip'"
|
|
}
|
|
]
|
|
}
|