FA-91332 / Quantum circuit simulation / Member archive

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

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

Member previewVariant 2 · 3 implementations · 7 checks per implementation

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.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: random t-count 10	`["unknown-gate", 3]`	`{"clifford_count": 17, "t_count": 15}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.