FA-91189 / Quantum circuit simulation / Member archive

Dynamic circuit prints registers with index 0 leftmost · case 04

A circuit that excites qubit 0 of three reports "100" instead of "001".

Member previewVariant 4 · 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 10	`{"clbits": "001", "qubits": "100"}`	`{"clbits": "100", "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.