FA-91177 / Quantum circuit simulation / Member archive

Dynamic circuit Toffoli fires on a single control · case 02

ccx with only its first control set flips the target.

Member previewVariant 2 · 3 implementations · 7 checks per implementation

Case contract

Input [nq, nc, ops] on computational basis states only: ["x", q], ["cx", c, t], ["ccx", a, b, t], ["swap", a, b], ["measure", q, c], ["reset", q], ["x_if", q, value] (flip q when the classical register value, clbit 0 = LSB, equals value). Return {"qubits": bits with qubit nq-1 leftmost, "clbits": bits with clbit nc-1 leftmost}.

Why this case matters

Feed-forward and reset semantics are central to dynamic circuits; register-value or reset slips change control flow.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: random dynamic 41	`{"clbits": "000", "qubits": "011"}`	`{"clbits": "000", "qubits": "001"}`	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.