Know what is stable before you depend on it

Public surfaces

core · cli · lsp · vscode · browser · docs

Why this is not more stable

• NM-RFC-0015 is proposed and disabled by default. It supports compile-time Int parameters, exact-width disjoint QReg views, Angle parameters, bounded modifiers, and deterministic monomorphization; it does not support runtime-sized registers or generic values at runtime.
• The exact algorithms.fourier@0.5 facade is ready only for QFT/IQFT widths one through five. Generic Grover remains governed by NM-RFC-0010, while QPE, arbitrary multi-control synthesis, higher statevector ceilings, and a stable-language claim remain out of scope.

Promotion gates

Dependencies

parser, statevectorRuntime, exactImports, languageServer

Evidence

18 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · browser · docs

Why this is not more stable

• NM-RFC-0016 is proposed, disabled by default, and limited to one published physical Pauli error per round for one exact qec.*@0.4 correction artifact. Rounds are compile-time bounded to one through eight.
• The trace is a deterministic algebraic projection. It is not stochastic noise, circuit-level syndrome extraction, a multi-round decoder, a threshold or logical-error-rate estimate, fault tolerance, or hardware evidence.
• JSON IR preserves the exact artifact. OpenQASM 2/3, framework, and target-native exporters fail closed until a versioned carrier exists.

Promotion gates

Dependencies

parser, statevectorRuntime, stabilizerRuntime, feedForward

Evidence

11 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · lsp · vscode · browser · docs

Why this is not more stable

• NM-RFC-0017 is proposed, disabled by default, and limited to five browser-statevector qubits, four profiles, eight channels per profile, 4,096 shots, and probabilities through 0.25.
• Contract 0.1 supports gate-scoped local Pauli/amplitude/phase trajectories, one atomic correlated Pauli word, and scoped symmetric readout in source order. It does not model leakage, crosstalk, density matrices, idle time, pulses, or calibration snapshots.
• JSON IR preserves the resolved carrier. OpenQASM 2/3, framework, formatter, and target-native projections fail closed until versioned carriers can preserve scopes and ordering.

Promotion gates

Dependencies

parser, statevectorRuntime, sourcePreservingFormatter

Evidence

15 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · lsp · vscode · browser · docs

Why this is not more stable

• NM-RFC-0011 is disabled by default. Tier 1 enumerates at most eight conditioning measurements; noise, budget overflow, unsupported proofs, and undeclared invariants remain explicitly Tier 2 sampled.
• Execution and verification evidence are local-simulator results. They do not claim provider conditional support, hardware feed-forward latency, multi-round QEC decoding, or fault tolerance.
• The local eight-measurement, 256-path Tier 1 performance ratchet and deterministic hostile-predicate fuzz profile are complete and configured on Windows/Linux Node 20/22; exact-candidate remote evidence and named review remain open.

Promotion gates

Dependencies

parser, statevectorRuntime, stabilizerRuntime, exactImports, languageServer, sourceDebugger, experimentRecords, workspaceSnapshots, qasm3Export

Evidence

37 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · browser · docs

Why this is not more stable

• NM-RFC-0012 is disabled by default. It accepts one positive compile-time K up to 4,096, requires an explicit seed and one final measure_all binding, and rejects noise, mitigation, scalar measurements, and sample/collect combinations.
• The GF(2) module is a bounded Core artifact API, not an in-oracle reversible operation. Generic Simon remains out of scope until separate statevector representation work and an end-to-end N >= 3 range are complete.

Promotion gates

Dependencies

parser, typedClassicalValues, statevectorRuntime, stabilizerRuntime, qasm3Export

Evidence

17 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · lsp · vscode · browser · docs

Why this is not more stable

• NM-RFC-0014 is disabled by default. Its closed integer grammar produces compile-time dimensions only; it does not add runtime-sized values, raise backend ceilings, or remove the 32-iteration and 4,096-shot budgets.
• Canonical structure provenance covers direct gate-only Angle vectors, repeat bodies, and for ranges. Nested structures, arbitrary circuit-call spelling, AST comment/trivia recovery, signatures, and legacy expanded-sidecar migration without source recompilation remain unsupported.

Promotion gates

Dependencies

parser, sourcePreservingFormatter, qasm3Export

Evidence

19 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · lsp · vscode · docs

Why this is not more stable

• NM-RFC-0001 is enabled in new user sessions; saved settings and low-level explicit contexts are preserved. It does not implement package publication exports, re-exports, friend modules, or source-version negotiation.
• The local 5,000-document, 20,000-declaration workspace ratchet is complete at 476.05 ms p95 and 33,218,560 RSS bytes; remote Windows/Linux Node 20/22 CLI and LSP evidence for the exact release candidate remains open.

Promotion gates

Dependencies

parser, multiFileWorkspace, languageServer

Evidence

17 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · lsp · vscode · docs

Why this is not more stable

• NM-RFC-0002 includes a strict local lock validator, negotiated CLI/LSP/VS Code carriers, and exact curated-registry resolution but does not implement ranges, aliases, transitive solving, network loading, or signed publication.
• Local conformance and the 100-package lock ratchet are complete at 109.27 ms p95 and 31,690,752 RSS bytes; remote Windows/Linux Node 20/22 evidence for the exact release candidate remains open.

Promotion gates

Dependencies

parser, learningPackages, multiFileWorkspace

Evidence

21 source references. Open the capability contract for the complete list.

Public surfaces

core · cli · lsp · vscode · browser · docs

Why this is not more stable

• NM-RFC-0003 is disabled by default; arbitrary generators, shrinking, confidence intervals, mixed-state equivalence, and exhaustive failure collection are outside this slice.
• Local cross-surface conformance and the 32-case, 100,000-shot, 128-assertion ratchet are complete at 223.95 ms p95 and 6,254,592 RSS bytes; remote Windows/Linux Node 20/22 evidence for the exact release candidate remains open.

Promotion gates

Dependencies

parser, statevectorRuntime, qasm3Export

Evidence

18 source references. Open the capability contract for the complete list.