Bounded N/M stabilizer runtime
Run the frozen Clifford/global-phase tableau contract up to 100 qubits with explicit fallback, sampling, diagnostic, and performance boundaries.
Stabilizer runtime 0.1 contract
browser-stabilizer executes only the documented Clifford/global-phase set on a bounded tableau. Unsupported programs fall back only when the 14-qubit statevector boundary permits it; larger unsupported programs fail closed.
- Maximum qubits
- 100
- Maximum sample shots
- 4,096
- Fallback boundary
- Statevector ≤ 14
Frozen native gate set
These operations have direct tableau updates. Adding a new native operation is additive; changing existing semantics requires a new contract version.
HXYZSSdgCNOTCZSWAPiSWAPCYGPhase100-qubit GHZ boundary example
1module ghz_100;2@target("browser-stabilizer");3 4fn main() {5 let q = qreg[100];6 H(q[0]);7 for i in 0..99 {8 CNOT(q[i], q[i + 1]);9 }10 return q;11}Stable runtime and low-level diagnostics
Parser/runtime diagnostics describe target selection, fallback, qubit and shot caps. Public low-level tableau APIs use the NM-STABILIZER family.
NM-RUNTIME-002NM-RUNTIME-029NM-RUNTIME-030NM-RUNTIME-031NM-STABILIZER-001NM-STABILIZER-002NM-STABILIZER-003NM-STABILIZER-004Noise, mitigation, arbitrary rotations, gradients, weighted expectations, fidelity/equivalence checks, and amplitude visualization are not stabilizer-native in 0.1. Use the bounded statevector runtime where eligible.
Conformance evidence compares every basis probability across 500 deterministic 1–5 qubit circuits (6,200 basis states) and ratchets a 100-qubit/100-gate packed-core workload.