FAILURE MAP
← Case archive

FA-91331 / Quantum circuit simulation / Open access

T-count does not recognize T-dagger · case 01

A circuit containing tdg is rejected as ["unknown-gate", i].

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

ROOT CAUSE

Only the name "t" is matched as a T gate.

VERIFIED REPAIR

Count both t and tdg as one T each.

Unsuccessful approach: The attempted repair lists tdg among the Clifford gates, undercounting T.

Case contract

Input a gate list. t and tdg count one T each; h, s, sdg, x, y, z, cx, cz, swap count one Clifford; ccx costs 7 T and 8 Clifford; ["rz", q, a] with a in units of pi reduced mod 2 is skipped if 0, Clifford if a multiple of 1/2, one T if an odd multiple of 1/4, else ["unsupported", index]; other names give ["unknown-gate", index]. Return {"t_count", "clifford_count"}.

Why this case matters

T-count is the dominant fault-tolerant cost metric; misclassifying rotations skews resource estimates.

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):
    t = cliff = 0
    for idx, op in enumerate(x):
        name = op[0]
        if name in ('t',):
            t += 1
        elif name in ('h', 's', 'sdg', 'x', 'y', 'z', 'cx', 'cz', 'swap'):
            cliff += 1
        elif name == 'ccx':
            t += 7
            cliff += 8
        elif name == 'rz':
            a = Fraction(op[2]) % 2
            if a == 0:
                continue
            if (a * 2).denominator == 1:
                cliff += 1
            elif (a * 4).denominator == 1:
                t += 1
            else:
                return ['unsupported', idx]
        else:
            return ['unknown-gate', idx]
    return {'t_count': t, 'clifford_count': cliff}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: tdg', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['regression: random t-count 5', [['ccx', 0, 1, 2], ['rz', 0, '1'], ['rz', 0, '5/4'], ['tdg', 0]], {'t_count': 9, 'clifford_count': 9}], ['regression: random t-count 7', [['rz', 0, '1/2'], ['tdg', 0], ['rz', 0, '1'], ['h', 0]], {'t_count': 1, 'clifford_count': 3}], ['control: rz two pi', [['rz', 0, '2']], {'t_count': 0, 'clifford_count': 0}], ['control: rz zero', [['rz', 0, '0']], {'t_count': 0, 'clifford_count': 0}], ['control: rz pi is Z', [['rz', 0, '1']], {'t_count': 0, 'clifford_count': 1}], ['control: rz half pi is S', [['rz', 0, '1/2']], {'t_count': 0, 'clifford_count': 1}]], [['regression: random t-count 10', [['ccx', 0, 1, 2], ['s', 0], ['ccx', 0, 1, 2], ['tdg', 0]], {'t_count': 15, 'clifford_count': 17}], ['regression: random t-count 12', [['t', 0], ['tdg', 0], ['rz', 0, '-1']], {'t_count': 2, 'clifford_count': 1}], ['regression: random t-count 7', [['rz', 0, '1/2'], ['tdg', 0], ['rz', 0, '1'], ['h', 0]], {'t_count': 1, 'clifford_count': 3}], ['control: rz quarter pi', [['rz', 0, '1/4']], {'t_count': 1, 'clifford_count': 0}], ['control: toffoli', [['ccx', 0, 1, 2]], {'t_count': 7, 'clifford_count': 8}], ['control: unsupported angle', [['h', 0], ['rz', 0, '1/8']], ['unsupported', 1]], ['control: negative angles', [['rz', 0, '-1/4'], ['rz', 1, '-3/2']], {'t_count': 1, 'clifford_count': 1}]], [['regression: random t-count 17', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['regression: random t-count 20', [['cx', 0], ['rz', 0, '-1'], ['ccx', 0, 1, 2], ['tdg', 0], ['rz', 0, '1/2'], ['t', 0]], {'t_count': 9, 'clifford_count': 11}], ['regression: random t-count 12', [['t', 0], ['tdg', 0], ['rz', 0, '-1']], {'t_count': 2, 'clifford_count': 1}], ['control: rz four pi', [['rz', 0, '4']], {'t_count': 0, 'clifford_count': 0}], ['control: unknown gate', [['u3', 0]], ['unknown-gate', 0]], ['control: random t-count 0', [['rz', 0, '-1/4'], ['rz', 0, '3/4'], ['rz', 0, '4']], {'t_count': 2, 'clifford_count': 0}], ['control: random t-count 1', [['rz', 0, '-2'], ['ccx', 0, 1, 2], ['rz', 0, '1'], ['rz', 0, '1'], ['rz', 0, '0'], ['x', 0]], {'t_count': 7, 'clifford_count': 11}]], [['regression: random t-count 22', [['tdg', 0], ['tdg', 0], ['tdg', 0], ['rz', 0, '-1/4'], ['x', 0]], {'t_count': 4, 'clifford_count': 1}], ['regression: random t-count 23', [['rz', 0, '-2'], ['tdg', 0], ['ccx', 0, 1, 2], ['t', 0], ['rz', 0, '4'], ['rz', 0, '-1']], {'t_count': 9, 'clifford_count': 9}], ['regression: random t-count 17', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['control: random t-count 2', [['sdg', 0], ['rz', 0, '1/4'], ['cx', 0]], {'t_count': 1, 'clifford_count': 2}], ['control: random t-count 3', [['rz', 0, '1/2'], ['rz', 0, '0'], ['t', 0]], {'t_count': 1, 'clifford_count': 1}], ['control: random t-count 4', [['ccx', 0, 1, 2]], {'t_count': 7, 'clifford_count': 8}], ['control: random t-count 6', [['ccx', 0, 1, 2], ['x', 0], ['x', 0], ['rz', 0, '0'], ['sdg', 0], ['t', 0], ['ccx', 0, 1, 2]], {'t_count': 15, 'clifford_count': 19}]], [['regression: random t-count 29', [['sdg', 0], ['tdg', 0], ['rz', 0, '-1'], ['tdg', 0], ['rz', 0, '1/2'], ['rz', 0, '7/2'], ['ccx', 0, 1, 2]], {'t_count': 9, 'clifford_count': 12}], ['regression: random t-count 37', [['t', 0], ['rz', 0, '-1'], ['cx', 0], ['t', 0], ['rz', 0, '1/4'], ['rz', 0, '2'], ['tdg', 0]], {'t_count': 4, 'clifford_count': 2}], ['regression: random t-count 21', [['tdg', 0], ['rz', 0, '5/4']], {'t_count': 2, 'clifford_count': 0}], ['control: random t-count 8', [['rz', 0, '-1/4'], ['ccx', 0, 1, 2], ['ccx', 0, 1, 2], ['ccx', 0, 1, 2], ['cx', 0]], {'t_count': 22, 'clifford_count': 25}], ['control: random t-count 9', [['rz', 0, '1/4']], {'t_count': 1, 'clifford_count': 0}], ['control: random t-count 11', [['s', 0], ['rz', 0, '5/4'], ['rz', 0, '-1'], ['x', 0], ['t', 0]], {'t_count': 2, 'clifford_count': 3}], ['control: random t-count 13', [['rz', 0, '-1/4'], ['rz', 0, '7/2'], ['rz', 0, '3/4'], ['s', 0]], {'t_count': 2, 'clifford_count': 2}]]]
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 fixtureActualExpectedOutcome
regression: tdg['unknown-gate', 0]{'clifford_count': 0, 't_count': 1}Failed
regression: random t-count 5['unknown-gate', 3]{'clifford_count': 9, 't_count': 9}Failed
regression: random t-count 7['unknown-gate', 1]{'clifford_count': 3, 't_count': 1}Failed
control: rz two pi{'clifford_count': 0, 't_count': 0}{'clifford_count': 0, 't_count': 0}Passed
control: rz zero{'clifford_count': 0, 't_count': 0}{'clifford_count': 0, 't_count': 0}Passed
control: rz pi is Z{'clifford_count': 1, 't_count': 0}{'clifford_count': 1, 't_count': 0}Passed
control: rz half pi is S{'clifford_count': 1, 't_count': 0}{'clifford_count': 1, 't_count': 0}Passed

SHA-256 / bc07c8fad002e4f5eac75c8d61287d7d9440f0150bff6c220535aff31ab418a1

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):
    t = cliff = 0
    for idx, op in enumerate(x):
        name = op[0]
        if name in ('t',):
            t += 1
        elif name in ('h', 's', 'sdg', 'tdg', 'x', 'y', 'z', 'cx', 'cz', 'swap'):
            cliff += 1
        elif name == 'ccx':
            t += 7
            cliff += 8
        elif name == 'rz':
            a = Fraction(op[2]) % 2
            if a == 0:
                continue
            if (a * 2).denominator == 1:
                cliff += 1
            elif (a * 4).denominator == 1:
                t += 1
            else:
                return ['unsupported', idx]
        else:
            return ['unknown-gate', idx]
    return {'t_count': t, 'clifford_count': cliff}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: tdg', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['regression: random t-count 5', [['ccx', 0, 1, 2], ['rz', 0, '1'], ['rz', 0, '5/4'], ['tdg', 0]], {'t_count': 9, 'clifford_count': 9}], ['regression: random t-count 7', [['rz', 0, '1/2'], ['tdg', 0], ['rz', 0, '1'], ['h', 0]], {'t_count': 1, 'clifford_count': 3}], ['control: rz two pi', [['rz', 0, '2']], {'t_count': 0, 'clifford_count': 0}], ['control: rz zero', [['rz', 0, '0']], {'t_count': 0, 'clifford_count': 0}], ['control: rz pi is Z', [['rz', 0, '1']], {'t_count': 0, 'clifford_count': 1}], ['control: rz half pi is S', [['rz', 0, '1/2']], {'t_count': 0, 'clifford_count': 1}]], [['regression: random t-count 10', [['ccx', 0, 1, 2], ['s', 0], ['ccx', 0, 1, 2], ['tdg', 0]], {'t_count': 15, 'clifford_count': 17}], ['regression: random t-count 12', [['t', 0], ['tdg', 0], ['rz', 0, '-1']], {'t_count': 2, 'clifford_count': 1}], ['regression: random t-count 7', [['rz', 0, '1/2'], ['tdg', 0], ['rz', 0, '1'], ['h', 0]], {'t_count': 1, 'clifford_count': 3}], ['control: rz quarter pi', [['rz', 0, '1/4']], {'t_count': 1, 'clifford_count': 0}], ['control: toffoli', [['ccx', 0, 1, 2]], {'t_count': 7, 'clifford_count': 8}], ['control: unsupported angle', [['h', 0], ['rz', 0, '1/8']], ['unsupported', 1]], ['control: negative angles', [['rz', 0, '-1/4'], ['rz', 1, '-3/2']], {'t_count': 1, 'clifford_count': 1}]], [['regression: random t-count 17', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['regression: random t-count 20', [['cx', 0], ['rz', 0, '-1'], ['ccx', 0, 1, 2], ['tdg', 0], ['rz', 0, '1/2'], ['t', 0]], {'t_count': 9, 'clifford_count': 11}], ['regression: random t-count 12', [['t', 0], ['tdg', 0], ['rz', 0, '-1']], {'t_count': 2, 'clifford_count': 1}], ['control: rz four pi', [['rz', 0, '4']], {'t_count': 0, 'clifford_count': 0}], ['control: unknown gate', [['u3', 0]], ['unknown-gate', 0]], ['control: random t-count 0', [['rz', 0, '-1/4'], ['rz', 0, '3/4'], ['rz', 0, '4']], {'t_count': 2, 'clifford_count': 0}], ['control: random t-count 1', [['rz', 0, '-2'], ['ccx', 0, 1, 2], ['rz', 0, '1'], ['rz', 0, '1'], ['rz', 0, '0'], ['x', 0]], {'t_count': 7, 'clifford_count': 11}]], [['regression: random t-count 22', [['tdg', 0], ['tdg', 0], ['tdg', 0], ['rz', 0, '-1/4'], ['x', 0]], {'t_count': 4, 'clifford_count': 1}], ['regression: random t-count 23', [['rz', 0, '-2'], ['tdg', 0], ['ccx', 0, 1, 2], ['t', 0], ['rz', 0, '4'], ['rz', 0, '-1']], {'t_count': 9, 'clifford_count': 9}], ['regression: random t-count 17', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['control: random t-count 2', [['sdg', 0], ['rz', 0, '1/4'], ['cx', 0]], {'t_count': 1, 'clifford_count': 2}], ['control: random t-count 3', [['rz', 0, '1/2'], ['rz', 0, '0'], ['t', 0]], {'t_count': 1, 'clifford_count': 1}], ['control: random t-count 4', [['ccx', 0, 1, 2]], {'t_count': 7, 'clifford_count': 8}], ['control: random t-count 6', [['ccx', 0, 1, 2], ['x', 0], ['x', 0], ['rz', 0, '0'], ['sdg', 0], ['t', 0], ['ccx', 0, 1, 2]], {'t_count': 15, 'clifford_count': 19}]], [['regression: random t-count 29', [['sdg', 0], ['tdg', 0], ['rz', 0, '-1'], ['tdg', 0], ['rz', 0, '1/2'], ['rz', 0, '7/2'], ['ccx', 0, 1, 2]], {'t_count': 9, 'clifford_count': 12}], ['regression: random t-count 37', [['t', 0], ['rz', 0, '-1'], ['cx', 0], ['t', 0], ['rz', 0, '1/4'], ['rz', 0, '2'], ['tdg', 0]], {'t_count': 4, 'clifford_count': 2}], ['regression: random t-count 21', [['tdg', 0], ['rz', 0, '5/4']], {'t_count': 2, 'clifford_count': 0}], ['control: random t-count 8', [['rz', 0, '-1/4'], ['ccx', 0, 1, 2], ['ccx', 0, 1, 2], ['ccx', 0, 1, 2], ['cx', 0]], {'t_count': 22, 'clifford_count': 25}], ['control: random t-count 9', [['rz', 0, '1/4']], {'t_count': 1, 'clifford_count': 0}], ['control: random t-count 11', [['s', 0], ['rz', 0, '5/4'], ['rz', 0, '-1'], ['x', 0], ['t', 0]], {'t_count': 2, 'clifford_count': 3}], ['control: random t-count 13', [['rz', 0, '-1/4'], ['rz', 0, '7/2'], ['rz', 0, '3/4'], ['s', 0]], {'t_count': 2, 'clifford_count': 2}]]]
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 fixtureActualExpectedOutcome
regression: tdg{'clifford_count': 1, 't_count': 0}{'clifford_count': 0, 't_count': 1}Failed
regression: random t-count 5{'clifford_count': 10, 't_count': 8}{'clifford_count': 9, 't_count': 9}Failed
regression: random t-count 7{'clifford_count': 4, 't_count': 0}{'clifford_count': 3, 't_count': 1}Failed
control: rz two pi{'clifford_count': 0, 't_count': 0}{'clifford_count': 0, 't_count': 0}Passed
control: rz zero{'clifford_count': 0, 't_count': 0}{'clifford_count': 0, 't_count': 0}Passed
control: rz pi is Z{'clifford_count': 1, 't_count': 0}{'clifford_count': 1, 't_count': 0}Passed
control: rz half pi is S{'clifford_count': 1, 't_count': 0}{'clifford_count': 1, 't_count': 0}Passed

SHA-256 / 4f6ea7a8e13e10b341b5fb3aec7db0f2fd69ec0c1a909d511751b4ca27972780

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):
    t = cliff = 0
    for idx, op in enumerate(x):
        name = op[0]
        if name in ('t', 'tdg'):
            t += 1
        elif name in ('h', 's', 'sdg', 'x', 'y', 'z', 'cx', 'cz', 'swap'):
            cliff += 1
        elif name == 'ccx':
            t += 7
            cliff += 8
        elif name == 'rz':
            a = Fraction(op[2]) % 2
            if a == 0:
                continue
            if (a * 2).denominator == 1:
                cliff += 1
            elif (a * 4).denominator == 1:
                t += 1
            else:
                return ['unsupported', idx]
        else:
            return ['unknown-gate', idx]
    return {'t_count': t, 'clifford_count': cliff}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: tdg', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['regression: random t-count 5', [['ccx', 0, 1, 2], ['rz', 0, '1'], ['rz', 0, '5/4'], ['tdg', 0]], {'t_count': 9, 'clifford_count': 9}], ['regression: random t-count 7', [['rz', 0, '1/2'], ['tdg', 0], ['rz', 0, '1'], ['h', 0]], {'t_count': 1, 'clifford_count': 3}], ['control: rz two pi', [['rz', 0, '2']], {'t_count': 0, 'clifford_count': 0}], ['control: rz zero', [['rz', 0, '0']], {'t_count': 0, 'clifford_count': 0}], ['control: rz pi is Z', [['rz', 0, '1']], {'t_count': 0, 'clifford_count': 1}], ['control: rz half pi is S', [['rz', 0, '1/2']], {'t_count': 0, 'clifford_count': 1}]], [['regression: random t-count 10', [['ccx', 0, 1, 2], ['s', 0], ['ccx', 0, 1, 2], ['tdg', 0]], {'t_count': 15, 'clifford_count': 17}], ['regression: random t-count 12', [['t', 0], ['tdg', 0], ['rz', 0, '-1']], {'t_count': 2, 'clifford_count': 1}], ['regression: random t-count 7', [['rz', 0, '1/2'], ['tdg', 0], ['rz', 0, '1'], ['h', 0]], {'t_count': 1, 'clifford_count': 3}], ['control: rz quarter pi', [['rz', 0, '1/4']], {'t_count': 1, 'clifford_count': 0}], ['control: toffoli', [['ccx', 0, 1, 2]], {'t_count': 7, 'clifford_count': 8}], ['control: unsupported angle', [['h', 0], ['rz', 0, '1/8']], ['unsupported', 1]], ['control: negative angles', [['rz', 0, '-1/4'], ['rz', 1, '-3/2']], {'t_count': 1, 'clifford_count': 1}]], [['regression: random t-count 17', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['regression: random t-count 20', [['cx', 0], ['rz', 0, '-1'], ['ccx', 0, 1, 2], ['tdg', 0], ['rz', 0, '1/2'], ['t', 0]], {'t_count': 9, 'clifford_count': 11}], ['regression: random t-count 12', [['t', 0], ['tdg', 0], ['rz', 0, '-1']], {'t_count': 2, 'clifford_count': 1}], ['control: rz four pi', [['rz', 0, '4']], {'t_count': 0, 'clifford_count': 0}], ['control: unknown gate', [['u3', 0]], ['unknown-gate', 0]], ['control: random t-count 0', [['rz', 0, '-1/4'], ['rz', 0, '3/4'], ['rz', 0, '4']], {'t_count': 2, 'clifford_count': 0}], ['control: random t-count 1', [['rz', 0, '-2'], ['ccx', 0, 1, 2], ['rz', 0, '1'], ['rz', 0, '1'], ['rz', 0, '0'], ['x', 0]], {'t_count': 7, 'clifford_count': 11}]], [['regression: random t-count 22', [['tdg', 0], ['tdg', 0], ['tdg', 0], ['rz', 0, '-1/4'], ['x', 0]], {'t_count': 4, 'clifford_count': 1}], ['regression: random t-count 23', [['rz', 0, '-2'], ['tdg', 0], ['ccx', 0, 1, 2], ['t', 0], ['rz', 0, '4'], ['rz', 0, '-1']], {'t_count': 9, 'clifford_count': 9}], ['regression: random t-count 17', [['tdg', 0]], {'t_count': 1, 'clifford_count': 0}], ['control: random t-count 2', [['sdg', 0], ['rz', 0, '1/4'], ['cx', 0]], {'t_count': 1, 'clifford_count': 2}], ['control: random t-count 3', [['rz', 0, '1/2'], ['rz', 0, '0'], ['t', 0]], {'t_count': 1, 'clifford_count': 1}], ['control: random t-count 4', [['ccx', 0, 1, 2]], {'t_count': 7, 'clifford_count': 8}], ['control: random t-count 6', [['ccx', 0, 1, 2], ['x', 0], ['x', 0], ['rz', 0, '0'], ['sdg', 0], ['t', 0], ['ccx', 0, 1, 2]], {'t_count': 15, 'clifford_count': 19}]], [['regression: random t-count 29', [['sdg', 0], ['tdg', 0], ['rz', 0, '-1'], ['tdg', 0], ['rz', 0, '1/2'], ['rz', 0, '7/2'], ['ccx', 0, 1, 2]], {'t_count': 9, 'clifford_count': 12}], ['regression: random t-count 37', [['t', 0], ['rz', 0, '-1'], ['cx', 0], ['t', 0], ['rz', 0, '1/4'], ['rz', 0, '2'], ['tdg', 0]], {'t_count': 4, 'clifford_count': 2}], ['regression: random t-count 21', [['tdg', 0], ['rz', 0, '5/4']], {'t_count': 2, 'clifford_count': 0}], ['control: random t-count 8', [['rz', 0, '-1/4'], ['ccx', 0, 1, 2], ['ccx', 0, 1, 2], ['ccx', 0, 1, 2], ['cx', 0]], {'t_count': 22, 'clifford_count': 25}], ['control: random t-count 9', [['rz', 0, '1/4']], {'t_count': 1, 'clifford_count': 0}], ['control: random t-count 11', [['s', 0], ['rz', 0, '5/4'], ['rz', 0, '-1'], ['x', 0], ['t', 0]], {'t_count': 2, 'clifford_count': 3}], ['control: random t-count 13', [['rz', 0, '-1/4'], ['rz', 0, '7/2'], ['rz', 0, '3/4'], ['s', 0]], {'t_count': 2, 'clifford_count': 2}]]]
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 fixtureActualExpectedOutcome
regression: tdg{'clifford_count': 0, 't_count': 1}{'clifford_count': 0, 't_count': 1}Passed
regression: random t-count 5{'clifford_count': 9, 't_count': 9}{'clifford_count': 9, 't_count': 9}Passed
regression: random t-count 7{'clifford_count': 3, 't_count': 1}{'clifford_count': 3, 't_count': 1}Passed
control: rz two pi{'clifford_count': 0, 't_count': 0}{'clifford_count': 0, 't_count': 0}Passed
control: rz zero{'clifford_count': 0, 't_count': 0}{'clifford_count': 0, 't_count': 0}Passed
control: rz pi is Z{'clifford_count': 1, 't_count': 0}{'clifford_count': 1, 't_count': 0}Passed
control: rz half pi is S{'clifford_count': 1, 't_count': 0}{'clifford_count': 1, 't_count': 0}Passed

SHA-256 / cbc8a3db8c7f2a0969aef1edf0a6b80866757518f7993214a4a5ab9f546530a2

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.959725+00:00.

Case digest / 20acc8c02396e3144a1745d1d12052671660f17dedfaa1f4025c9d9ba1dd03ac