FA-91221 / Quantum circuit simulation / Open access

Error budget charges virtual RZ frame changes · case 01

A circuit of only RZ gates reports success below 1.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The free-operation list omits rz, which is implemented as a frame update without a pulse.

VERIFIED REPAIR

Skip rz along with barrier and id.

Unsuccessful approach: The attempted repair also exempts sx, which is a physical pulse and must be charged.

Case contract

Input [ops, e1, e2, er] with decimal error rates. Success probability is the product of (1-e1) per single-qubit physical gate, (1-e2) per two-qubit gate, (1-e2)^6 (1-e1)^9 per three-qubit gate (Toffoli decomposition), and (1-er) per measured qubit; rz is virtual and barrier/id are free. Return the probability rounded to 9 decimals.

Why this case matters

Error budgets guide which circuit variant to run on hardware; miscounting gate classes skews every comparison.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(x):
    ops, e1, e2, er = x[0], Fraction(x[1]), Fraction(x[2]), Fraction(x[3])
    p = Fraction(1)
    for op in ops:
        name, qs = op[0], op[1]
        if name in ('barrier', 'id'):
            continue
        if name == 'measure':
            p *= (1 - er) ** len(qs)
        elif len(qs) == 1:
            p *= 1 - e1
        elif len(qs) == 2:
            p *= 1 - e2
        else:
            p *= (1 - e2) ** 6 * (1 - e1) ** 9
    return round(float(p), 9) + 0.0
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: virtual rz only', [[['rz', [0]], ['rz', [1]]], '0.001', '0.01', '0.02'], 1.0], ['regression: random budget 0', [[['rz', [2]], ['id', [0]], ['barrier', [0]], ['measure', [0, 1, 2]], ['x', [1]], ['barrier', [0]]], '0.0005', '0.02', '0.02'], 0.940721404], ['repair check: sx pulse', [[['sx', [0]]], '0.001', '0.01', '0.02'], 0.999], ['control: one cx', [[['cx', [0, 1]]], '0.001', '0.01', '0.02'], 0.99], ['control: measure two qubits', [[['measure', [0, 1]]], '0.001', '0.01', '0.02'], 0.9604], ['control: toffoli', [[['ccx', [0, 1, 2]]], '0.001', '0.01', '0.02'], 0.933040642], ['control: barrier and id', [[['barrier', [0, 1]], ['id', [0]]], '0.1', '0.1', '0.1'], 1.0]], [['regression: random budget 3', [[['rz', [1]]], '0.01', '0.02', '0.02'], 1.0], ['regression: random budget 6', [[['rz', [2]], ['ccx', [1, 0, 2]], ['ccx', [1, 0, 2]], ['rz', [0]], ['h', [2]], ['cx', [0, 2]]], '0.001', '0.05', '0.02'], 0.50367587], ['regression: random budget 23', [[['barrier', [0]], ['ccx', [2, 1, 0]], ['barrier', [0]], ['sx', [1]], ['barrier', [0]], ['id', [0]], ['rz', [2]]], '0.01', '0.01', '0.02'], 0.851457771], ['control: random budget 2', [[['cx', [0, 2]]], '0.001', '0.01', '0.02'], 0.99], ['control: random budget 4', [[['cx', [2, 1]], ['ccx', [1, 0, 2]], ['h', [0]], ['x', [2]]], '0.001', '0.02', '0.02'], 0.858623756], ['control: random budget 5', [[['cx', [1, 0]]], '0.001', '0.01', '0.03'], 0.99], ['control: random budget 13', [[['cx', [0, 2]]], '0.001', '0.02', '0.03'], 0.98]], [['regression: random budget 8', [[['measure', [1]], ['rz', [2]], ['ccx', [1, 0, 2]], ['id', [0]], ['measure', [1, 2]], ['barrier', [0]]], '0.0005', '0.01', '0.03'], 0.855404551], ['regression: random budget 9', [[['ccx', [1, 0, 2]], ['id', [0]], ['cx', [0, 2]], ['rz', [0]], ['ccx', [0, 2, 1]]], '0.001', '0.01', '0.03'], 0.861859192], ['repair check: random budget 27', [[['ccx', [2, 0, 1]], ['ccx', [0, 2, 1]], ['barrier', [0]], ['barrier', [0]], ['cx', [0, 1]], ['cx', [1, 0]], ['h', [0]], ['sx', [0]]], '0.0005', '0.01', '0.02'], 0.860099497], ['control: random budget 14', [[['cx', [1, 0]], ['measure', [1, 2]], ['cx', [1, 0]], ['id', [0]], ['cx', [1, 0]], ['h', [0]]], '0.0005', '0.01', '0.03'], 0.912497852], ['control: random budget 17', [[['ccx', [2, 1, 0]], ['id', [0]], ['cx', [1, 2]], ['cx', [1, 0]], ['measure', [1, 2]], ['ccx', [0, 2, 1]], ['x', [0]], ['barrier', [0]]], '0.0005', '0.02', '0.03'], 0.702395465], ['control: random budget 19', [[['measure', [0, 2]]], '0.01', '0.02', '0.02'], 0.9604], ['control: random budget 25', [[['barrier', [0]], ['ccx', [2, 1, 0]], ['x', [1]], ['measure', [1]], ['cx', [2, 1]]], '0.0005', '0.05', '0.02'], 0.680956386]], [['regression: random budget 11', [[['ccx', [1, 2, 0]], ['measure', [0, 1, 2]], ['x', [2]], ['cx', [1, 2]], ['ccx', [1, 2, 0]], ['rz', [2]], ['rz', [1]], ['id', [0]]], '0.001', '0.02', '0.02'], 0.710168635], ['regression: random budget 12', [[['barrier', [0]], ['rz', [1]], ['cx', [0, 2]], ['rz', [2]], ['rz', [1]], ['cx', [2, 1]]], '0.0005', '0.02', '0.02'], 0.9604], ['repair check: random budget 39', [[['id', [0]], ['sx', [2]], ['measure', [0, 2]], ['id', [0]]], '0.01', '0.05', '0.02'], 0.950796], ['control: random budget 26', [[['measure', [0, 1, 2]], ['cx', [1, 2]], ['cx', [2, 0]]], '0.0005', '0.05', '0.02'], 0.84942578], ['control: random budget 30', [[['ccx', [2, 1, 0]], ['measure', [0]]], '0.0005', '0.01', '0.02'], 0.918506913], ['control: random budget 31', [[['measure', [0, 1]]], '0.01', '0.01', '0.03'], 0.9409], ['control: random budget 32', [[['measure', [0, 1, 2]], ['h', [1]], ['x', [0]], ['h', [2]]], '0.001', '0.05', '0.03'], 0.909937718]], [['regression: random budget 16', [[['cx', [0, 2]], ['rz', [0]], ['h', [0]], ['measure', [0, 1, 2]], ['rz', [0]], ['rz', [1]]], '0.0005', '0.02', '0.03'], 0.89397233], ['regression: random budget 18', [[['measure', [0, 1]], ['sx', [1]], ['id', [0]], ['rz', [2]], ['sx', [1]], ['rz', [0]]], '0.001', '0.05', '0.03'], 0.939019141], ['regression: random budget 41', [[['measure', [1]], ['rz', [1]], ['ccx', [0, 1, 2]], ['sx', [1]]], '0.001', '0.02', '0.02'], 0.85948324], ['control: random budget 35', [[['h', [0]], ['cx', [2, 1]], ['ccx', [1, 2, 0]], ['cx', [1, 2]], ['cx', [1, 2]], ['cx', [0, 1]], ['id', [0]]], '0.001', '0.01', '0.02'], 0.895378843], ['control: random budget 38', [[['x', [0]], ['cx', [1, 0]], ['barrier', [0]]], '0.01', '0.02', '0.02'], 0.9702], ['control: random budget 42', [[['h', [0]]], '0.01', '0.05', '0.03'], 0.99], ['control: random budget 45', [[['id', [0]]], '0.001', '0.01', '0.03'], 1.0]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: virtual rz only	`0.998001`	`1.0`	Failed
regression: random budget 0	`0.940251043`	`0.940721404`	Failed
repair check: sx pulse	`0.999`	`0.999`	Passed
control: one cx	`0.99`	`0.99`	Passed
control: measure two qubits	`0.9604`	`0.9604`	Passed
control: toffoli	`0.933040642`	`0.933040642`	Passed
control: barrier and id	`1.0`	`1.0`	Passed

SHA-256 / 2d7a5cca882655d6839c1dfca7bf3afd1e85b6767444a466e6898514b12257a5

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(x):
    ops, e1, e2, er = x[0], Fraction(x[1]), Fraction(x[2]), Fraction(x[3])
    p = Fraction(1)
    for op in ops:
        name, qs = op[0], op[1]
        if name in ('barrier', 'id', 'rz', 'sx'):
            continue
        if name == 'measure':
            p *= (1 - er) ** len(qs)
        elif len(qs) == 1:
            p *= 1 - e1
        elif len(qs) == 2:
            p *= 1 - e2
        else:
            p *= (1 - e2) ** 6 * (1 - e1) ** 9
    return round(float(p), 9) + 0.0
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: virtual rz only', [[['rz', [0]], ['rz', [1]]], '0.001', '0.01', '0.02'], 1.0], ['regression: random budget 0', [[['rz', [2]], ['id', [0]], ['barrier', [0]], ['measure', [0, 1, 2]], ['x', [1]], ['barrier', [0]]], '0.0005', '0.02', '0.02'], 0.940721404], ['repair check: sx pulse', [[['sx', [0]]], '0.001', '0.01', '0.02'], 0.999], ['control: one cx', [[['cx', [0, 1]]], '0.001', '0.01', '0.02'], 0.99], ['control: measure two qubits', [[['measure', [0, 1]]], '0.001', '0.01', '0.02'], 0.9604], ['control: toffoli', [[['ccx', [0, 1, 2]]], '0.001', '0.01', '0.02'], 0.933040642], ['control: barrier and id', [[['barrier', [0, 1]], ['id', [0]]], '0.1', '0.1', '0.1'], 1.0]], [['regression: random budget 3', [[['rz', [1]]], '0.01', '0.02', '0.02'], 1.0], ['regression: random budget 6', [[['rz', [2]], ['ccx', [1, 0, 2]], ['ccx', [1, 0, 2]], ['rz', [0]], ['h', [2]], ['cx', [0, 2]]], '0.001', '0.05', '0.02'], 0.50367587], ['regression: random budget 23', [[['barrier', [0]], ['ccx', [2, 1, 0]], ['barrier', [0]], ['sx', [1]], ['barrier', [0]], ['id', [0]], ['rz', [2]]], '0.01', '0.01', '0.02'], 0.851457771], ['control: random budget 2', [[['cx', [0, 2]]], '0.001', '0.01', '0.02'], 0.99], ['control: random budget 4', [[['cx', [2, 1]], ['ccx', [1, 0, 2]], ['h', [0]], ['x', [2]]], '0.001', '0.02', '0.02'], 0.858623756], ['control: random budget 5', [[['cx', [1, 0]]], '0.001', '0.01', '0.03'], 0.99], ['control: random budget 13', [[['cx', [0, 2]]], '0.001', '0.02', '0.03'], 0.98]], [['regression: random budget 8', [[['measure', [1]], ['rz', [2]], ['ccx', [1, 0, 2]], ['id', [0]], ['measure', [1, 2]], ['barrier', [0]]], '0.0005', '0.01', '0.03'], 0.855404551], ['regression: random budget 9', [[['ccx', [1, 0, 2]], ['id', [0]], ['cx', [0, 2]], ['rz', [0]], ['ccx', [0, 2, 1]]], '0.001', '0.01', '0.03'], 0.861859192], ['repair check: random budget 27', [[['ccx', [2, 0, 1]], ['ccx', [0, 2, 1]], ['barrier', [0]], ['barrier', [0]], ['cx', [0, 1]], ['cx', [1, 0]], ['h', [0]], ['sx', [0]]], '0.0005', '0.01', '0.02'], 0.860099497], ['control: random budget 14', [[['cx', [1, 0]], ['measure', [1, 2]], ['cx', [1, 0]], ['id', [0]], ['cx', [1, 0]], ['h', [0]]], '0.0005', '0.01', '0.03'], 0.912497852], ['control: random budget 17', [[['ccx', [2, 1, 0]], ['id', [0]], ['cx', [1, 2]], ['cx', [1, 0]], ['measure', [1, 2]], ['ccx', [0, 2, 1]], ['x', [0]], ['barrier', [0]]], '0.0005', '0.02', '0.03'], 0.702395465], ['control: random budget 19', [[['measure', [0, 2]]], '0.01', '0.02', '0.02'], 0.9604], ['control: random budget 25', [[['barrier', [0]], ['ccx', [2, 1, 0]], ['x', [1]], ['measure', [1]], ['cx', [2, 1]]], '0.0005', '0.05', '0.02'], 0.680956386]], [['regression: random budget 11', [[['ccx', [1, 2, 0]], ['measure', [0, 1, 2]], ['x', [2]], ['cx', [1, 2]], ['ccx', [1, 2, 0]], ['rz', [2]], ['rz', [1]], ['id', [0]]], '0.001', '0.02', '0.02'], 0.710168635], ['regression: random budget 12', [[['barrier', [0]], ['rz', [1]], ['cx', [0, 2]], ['rz', [2]], ['rz', [1]], ['cx', [2, 1]]], '0.0005', '0.02', '0.02'], 0.9604], ['repair check: random budget 39', [[['id', [0]], ['sx', [2]], ['measure', [0, 2]], ['id', [0]]], '0.01', '0.05', '0.02'], 0.950796], ['control: random budget 26', [[['measure', [0, 1, 2]], ['cx', [1, 2]], ['cx', [2, 0]]], '0.0005', '0.05', '0.02'], 0.84942578], ['control: random budget 30', [[['ccx', [2, 1, 0]], ['measure', [0]]], '0.0005', '0.01', '0.02'], 0.918506913], ['control: random budget 31', [[['measure', [0, 1]]], '0.01', '0.01', '0.03'], 0.9409], ['control: random budget 32', [[['measure', [0, 1, 2]], ['h', [1]], ['x', [0]], ['h', [2]]], '0.001', '0.05', '0.03'], 0.909937718]], [['regression: random budget 16', [[['cx', [0, 2]], ['rz', [0]], ['h', [0]], ['measure', [0, 1, 2]], ['rz', [0]], ['rz', [1]]], '0.0005', '0.02', '0.03'], 0.89397233], ['regression: random budget 18', [[['measure', [0, 1]], ['sx', [1]], ['id', [0]], ['rz', [2]], ['sx', [1]], ['rz', [0]]], '0.001', '0.05', '0.03'], 0.939019141], ['regression: random budget 41', [[['measure', [1]], ['rz', [1]], ['ccx', [0, 1, 2]], ['sx', [1]]], '0.001', '0.02', '0.02'], 0.85948324], ['control: random budget 35', [[['h', [0]], ['cx', [2, 1]], ['ccx', [1, 2, 0]], ['cx', [1, 2]], ['cx', [1, 2]], ['cx', [0, 1]], ['id', [0]]], '0.001', '0.01', '0.02'], 0.895378843], ['control: random budget 38', [[['x', [0]], ['cx', [1, 0]], ['barrier', [0]]], '0.01', '0.02', '0.02'], 0.9702], ['control: random budget 42', [[['h', [0]]], '0.01', '0.05', '0.03'], 0.99], ['control: random budget 45', [[['id', [0]]], '0.001', '0.01', '0.03'], 1.0]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: virtual rz only	`1.0`	`1.0`	Passed
regression: random budget 0	`0.940721404`	`0.940721404`	Passed
repair check: sx pulse	`1.0`	`0.999`	Failed
control: one cx	`0.99`	`0.99`	Passed
control: measure two qubits	`0.9604`	`0.9604`	Passed
control: toffoli	`0.933040642`	`0.933040642`	Passed
control: barrier and id	`1.0`	`1.0`	Passed

SHA-256 / aff33c3a1b3ada3179a42bfa312f61d109aa2dd3eef0bb9c31d368523817930b

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(x):
    ops, e1, e2, er = x[0], Fraction(x[1]), Fraction(x[2]), Fraction(x[3])
    p = Fraction(1)
    for op in ops:
        name, qs = op[0], op[1]
        if name in ('barrier', 'id', 'rz'):
            continue
        if name == 'measure':
            p *= (1 - er) ** len(qs)
        elif len(qs) == 1:
            p *= 1 - e1
        elif len(qs) == 2:
            p *= 1 - e2
        else:
            p *= (1 - e2) ** 6 * (1 - e1) ** 9
    return round(float(p), 9) + 0.0
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: virtual rz only', [[['rz', [0]], ['rz', [1]]], '0.001', '0.01', '0.02'], 1.0], ['regression: random budget 0', [[['rz', [2]], ['id', [0]], ['barrier', [0]], ['measure', [0, 1, 2]], ['x', [1]], ['barrier', [0]]], '0.0005', '0.02', '0.02'], 0.940721404], ['repair check: sx pulse', [[['sx', [0]]], '0.001', '0.01', '0.02'], 0.999], ['control: one cx', [[['cx', [0, 1]]], '0.001', '0.01', '0.02'], 0.99], ['control: measure two qubits', [[['measure', [0, 1]]], '0.001', '0.01', '0.02'], 0.9604], ['control: toffoli', [[['ccx', [0, 1, 2]]], '0.001', '0.01', '0.02'], 0.933040642], ['control: barrier and id', [[['barrier', [0, 1]], ['id', [0]]], '0.1', '0.1', '0.1'], 1.0]], [['regression: random budget 3', [[['rz', [1]]], '0.01', '0.02', '0.02'], 1.0], ['regression: random budget 6', [[['rz', [2]], ['ccx', [1, 0, 2]], ['ccx', [1, 0, 2]], ['rz', [0]], ['h', [2]], ['cx', [0, 2]]], '0.001', '0.05', '0.02'], 0.50367587], ['regression: random budget 23', [[['barrier', [0]], ['ccx', [2, 1, 0]], ['barrier', [0]], ['sx', [1]], ['barrier', [0]], ['id', [0]], ['rz', [2]]], '0.01', '0.01', '0.02'], 0.851457771], ['control: random budget 2', [[['cx', [0, 2]]], '0.001', '0.01', '0.02'], 0.99], ['control: random budget 4', [[['cx', [2, 1]], ['ccx', [1, 0, 2]], ['h', [0]], ['x', [2]]], '0.001', '0.02', '0.02'], 0.858623756], ['control: random budget 5', [[['cx', [1, 0]]], '0.001', '0.01', '0.03'], 0.99], ['control: random budget 13', [[['cx', [0, 2]]], '0.001', '0.02', '0.03'], 0.98]], [['regression: random budget 8', [[['measure', [1]], ['rz', [2]], ['ccx', [1, 0, 2]], ['id', [0]], ['measure', [1, 2]], ['barrier', [0]]], '0.0005', '0.01', '0.03'], 0.855404551], ['regression: random budget 9', [[['ccx', [1, 0, 2]], ['id', [0]], ['cx', [0, 2]], ['rz', [0]], ['ccx', [0, 2, 1]]], '0.001', '0.01', '0.03'], 0.861859192], ['repair check: random budget 27', [[['ccx', [2, 0, 1]], ['ccx', [0, 2, 1]], ['barrier', [0]], ['barrier', [0]], ['cx', [0, 1]], ['cx', [1, 0]], ['h', [0]], ['sx', [0]]], '0.0005', '0.01', '0.02'], 0.860099497], ['control: random budget 14', [[['cx', [1, 0]], ['measure', [1, 2]], ['cx', [1, 0]], ['id', [0]], ['cx', [1, 0]], ['h', [0]]], '0.0005', '0.01', '0.03'], 0.912497852], ['control: random budget 17', [[['ccx', [2, 1, 0]], ['id', [0]], ['cx', [1, 2]], ['cx', [1, 0]], ['measure', [1, 2]], ['ccx', [0, 2, 1]], ['x', [0]], ['barrier', [0]]], '0.0005', '0.02', '0.03'], 0.702395465], ['control: random budget 19', [[['measure', [0, 2]]], '0.01', '0.02', '0.02'], 0.9604], ['control: random budget 25', [[['barrier', [0]], ['ccx', [2, 1, 0]], ['x', [1]], ['measure', [1]], ['cx', [2, 1]]], '0.0005', '0.05', '0.02'], 0.680956386]], [['regression: random budget 11', [[['ccx', [1, 2, 0]], ['measure', [0, 1, 2]], ['x', [2]], ['cx', [1, 2]], ['ccx', [1, 2, 0]], ['rz', [2]], ['rz', [1]], ['id', [0]]], '0.001', '0.02', '0.02'], 0.710168635], ['regression: random budget 12', [[['barrier', [0]], ['rz', [1]], ['cx', [0, 2]], ['rz', [2]], ['rz', [1]], ['cx', [2, 1]]], '0.0005', '0.02', '0.02'], 0.9604], ['repair check: random budget 39', [[['id', [0]], ['sx', [2]], ['measure', [0, 2]], ['id', [0]]], '0.01', '0.05', '0.02'], 0.950796], ['control: random budget 26', [[['measure', [0, 1, 2]], ['cx', [1, 2]], ['cx', [2, 0]]], '0.0005', '0.05', '0.02'], 0.84942578], ['control: random budget 30', [[['ccx', [2, 1, 0]], ['measure', [0]]], '0.0005', '0.01', '0.02'], 0.918506913], ['control: random budget 31', [[['measure', [0, 1]]], '0.01', '0.01', '0.03'], 0.9409], ['control: random budget 32', [[['measure', [0, 1, 2]], ['h', [1]], ['x', [0]], ['h', [2]]], '0.001', '0.05', '0.03'], 0.909937718]], [['regression: random budget 16', [[['cx', [0, 2]], ['rz', [0]], ['h', [0]], ['measure', [0, 1, 2]], ['rz', [0]], ['rz', [1]]], '0.0005', '0.02', '0.03'], 0.89397233], ['regression: random budget 18', [[['measure', [0, 1]], ['sx', [1]], ['id', [0]], ['rz', [2]], ['sx', [1]], ['rz', [0]]], '0.001', '0.05', '0.03'], 0.939019141], ['regression: random budget 41', [[['measure', [1]], ['rz', [1]], ['ccx', [0, 1, 2]], ['sx', [1]]], '0.001', '0.02', '0.02'], 0.85948324], ['control: random budget 35', [[['h', [0]], ['cx', [2, 1]], ['ccx', [1, 2, 0]], ['cx', [1, 2]], ['cx', [1, 2]], ['cx', [0, 1]], ['id', [0]]], '0.001', '0.01', '0.02'], 0.895378843], ['control: random budget 38', [[['x', [0]], ['cx', [1, 0]], ['barrier', [0]]], '0.01', '0.02', '0.02'], 0.9702], ['control: random budget 42', [[['h', [0]]], '0.01', '0.05', '0.03'], 0.99], ['control: random budget 45', [[['id', [0]]], '0.001', '0.01', '0.03'], 1.0]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: virtual rz only	`1.0`	`1.0`	Passed
regression: random budget 0	`0.940721404`	`0.940721404`	Passed
repair check: sx pulse	`0.999`	`0.999`	Passed
control: one cx	`0.99`	`0.99`	Passed
control: measure two qubits	`0.9604`	`0.9604`	Passed
control: toffoli	`0.933040642`	`0.933040642`	Passed
control: barrier and id	`1.0`	`1.0`	Passed

SHA-256 / 46f6535d36a66716e2a7ae59ad21ca59f45593daac845acbb1a4bb9264069efe

Verification & scope

A deterministic bounded teaching model with a stipulated toy contract; amplitudes are rounded to fixed decimals for strict JSON output. It is not a production quantum SDK and claims no standards conformance. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:51:34.019274+00:00.

Case digest / d3efcd0692600dabcaa74603d790994fd21e07eb58ec3ee61db4bb286e7898aa