df011db75a
compare.py is the corpus branch's, with this branch's changes made again on it: the bit-exact method held to OpenQASM's state with the global phase its result states; error-correction circuits with C_XYZ, E and PAULI_CHANNEL_1 compared, a model the other engine cannot give held by its sampler; a wide entry that names its engines and bond. The expected refusals follow the reader: the colour code, E and the Pauli channel are no longer refused, and a channel with no independent form must be. A timed row runs the bit-exact method asked to hold a gate whole. Co-Authored-By: Claude Opus 5.5 <[email protected]>
75 lines
2.2 KiB
JSON
75 lines
2.2 KiB
JSON
{
|
|
"about": "Refusals by the engine under test that a run accepts, each with the words it must give; tools/corpus.py writes this file from the reader's rule and its list, and a run checks it against them. Any other refusal, crash or time-out of the engine under test fails the run. must: refuse (accepting fails the run) or may (a refusal with these words is recorded as one).",
|
|
"refusals": [
|
|
{
|
|
"entry": "qpe_t6_third",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "qpe_t10_third",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "rotations_n6",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "rotations_n10",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "rotations_n12",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "below_grid_k33",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "below_grid_k40",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "tiny_radians",
|
|
"engine": "wai.exact",
|
|
"must": "refuse",
|
|
"text": "[Q500]",
|
|
"reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
|
|
},
|
|
{
|
|
"entry": "qec_refused_channel_with_no_independent_form",
|
|
"engine": "wai.qec",
|
|
"must": "refuse",
|
|
"text": "no form as independent",
|
|
"reason": "a Pauli channel no independent flips can give is refused, never approximated"
|
|
},
|
|
{
|
|
"entry": "qec_refused_random_detector",
|
|
"engine": "wai.qec",
|
|
"must": "refuse",
|
|
"text": "is not deterministic",
|
|
"reason": "a detector that is random without noise is no detector"
|
|
}
|
|
]
|
|
}
|