FA-91144 / Quantum circuit simulation / Member archive

Shot sampler checks list emptiness instead of total weight · case 04

All-zero weights produce counts on the last outcome instead of "no-support".

Member previewVariant 4 · 3 implementations · 6 checks per implementation

Case contract

Input [n, weights, uniforms]; weights are nonnegative integers for basis indices 0..2**n-1 and uniforms are exact decimal or fraction strings in [0, 1). Each uniform u selects the first index i with u * total < cumulative weight through i. Return counts {bitstring: count} with qubit n-1 leftmost. Errors: "bad-length", "negative-weight", "no-support", ["bad-uniform", position].

Why this case matters

Deterministic replay of sampled shots makes simulator results reproducible; CDF boundary slips bias counts toward impossible outcomes.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: all zero weights	`{"1": 1}`	`"no-support"`	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.