FA-91193 / Quantum circuit simulation / Member archive

Dynamic circuit swap overwrites one operand first · case 03

swap after exciting qubit 0 leaves both qubits excited.

Member previewVariant 3 · 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 40	`{"clbits": "00", "qubits": "00"}`	`{"clbits": "00", "qubits": "11"}`	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.