Write an N/M program, trace its transformation into a circuit, and reproduce every result.
Current boundary: public runs use local simulation, not connected quantum hardware. Product capabilities are explicitly marked stable, preview, or experimental.
module home_evidence;@seed(7);fn main() { let q = qreg[4]; sample 1024 { H(q[0]); CNOT(q[0], q[1]); X(q[2]); CCNOT(q[0], q[1], q[3]); measure(q[0]); measure(q[1]); measure(q[2]); measure(q[3]); } return q;}N/M 0.2.0 — compile passed
Diagnostics: 0
Finite-shot histogram
✓ Seeded local result
The displayed source ran in the N/M local simulator; this is not hardware execution.
module home_evidence;@seed(7);fn main() { let q = qreg[4]; sample 1024 { H(q[0]); CNOT(q[0], q[1]); X(q[2]); CCNOT(q[0], q[1], q[3]); measure(q[0]); measure(q[1]); measure(q[2]); measure(q[3]); } return q;}H(q[0]);q[0] — H —
CNOT(q[0], q[1]);q[0] — ● —
q[1] — ⊕ —
X(q[2]);q[2] — X —
CCNOT(q[0], q[1], q[3]);q[0] — ● —
q[1] — ● —
q[2] — │ —
q[3] — ⊕ —
measure(q[0]);q[0] — M —
measure(q[1]);q[1] — M —
measure(q[2]);q[2] — M —
measure(q[3]);q[3] — M —
The circuit is generated from the displayed N/M source; the histogram shows a seeded local simulator result from the same source.
Bounded, versioned, reviewable
| Algorithm | Status | Range | Runtime | Evidence |
|---|---|---|---|---|
| Deutsch–Jozsa 0.2 | ● Preview | 2 | sim.local/statevector | ✓ Local record |
| Bernstein–Vazirani 0.2 | ● Preview | 4 | sim.local/statevector | ✓ Local record |
| Generic Grover | ● Experimental | N=2..5 | sim.local/statevector | ✓ Local record |
| Generic Oracles 0.2 Lab | ● Experimental | DJ/BV≤99 | sim.local/stabilizer | ✓ Local record |
Execution scope: The circuit and record above explain the product contract; they are not connected-hardware telemetry.
Public runs use local simulation, not connected quantum hardware. Stable, preview, and experimental capabilities are separated by the current N/M manifest.
| Capability | Stable | Preview | Experimental |
|---|---|---|---|
| Parser and syntax diagnostics | ●Stable | — | — |
| Exact statevector runtime | ●Stable | — | — |
| Stabilizer runtime | — | ●Preview | — |
| Multi-file workspace | — | ●Preview | — |
| Generic oracles | — | — | ●Experimental |
| Measurement-conditioned control | — | — | ●Experimental |
| Hardware execution interface | — | — | ●Experimental |
Read · Design · Experiment
| Record | Title | Type | Context | Open |
|---|---|---|---|---|
| QEC-NATURE | Error correction below the surface-code threshold | External literature | Nature · online 2024 / volume 2025 | |
| OPENQASM-3 | OpenQASM 3 language design | External literature | arXiv 2021 · journal 2022 | |
| NM-RFC-0035 | Bounded classical functions | N/M design note | NM-RFC-0035 · check capabilities for support | → |
| FTQC-EXAMPLE | Surface-code resource estimate | Educational experiment | Local model · approximate resource estimate | → |
External publications belong to their respective researchers. N/M notes describe software design; experiments describe a stated model’s behaviour. These are not QuantumSoftware physical hardware results.
Interested in our technology, research collaborations, or partnership opportunities? We'd love to hear from you.