Circuit Analysis and Optimization Lab

The lab runs the existing parser, optimizer, target compiler, scheduler, verifier, and resource estimator in a cancellable Worker.

Experimental 0.1Ready to analyze

Equivalence is bounded local-statevector evidence. Reversible lint is syntactic, and default target calibration is an educational profile rather than device data.

Portable workbench context

Move strict local artifacts between N/M tools without registering a runtime backend or trusting URL contents.

Handoff schema

Resource budget

None applied

None applied

Import resource budget JSON

Planning profile

None applied

None applied

Import target profile JSON

Profiles remain static compatibility evidence. Calibration references are provenance only; neither can select hardware, scheduling, or noise behavior.

Workspace revision

Load one exact local project revision and its active N/M file.

Project

Revision

Analysis preset

Target-native lowering

N/M circuit source185/65536

Fail-closed resource budget

The final lowered circuit must satisfy every declared ceiling; a failed budget keeps the report visible but marks the result unsuccessful.

Maximum qubits

Maximum gates

Maximum depth

Maximum two-qubit gates

Maximum T count

Maximum shots

≤5 statevector qubits · bounded source/tree/report · no QPU execution

Choose a preset or edit the source, then run the Worker to create versioned analysis evidence.

Saved analysis versions

Keep compiler reports locally, restore the exact original input, and compare two recomputed resource profiles.

Open saved-version schema

Saved versions contain the complete original, optimized, and final source. They remain in this browser's IndexedDB, are never synchronized to cloud storage, and are exported only through an explicit download.

Loading locally saved analysis versions…

Select 0/2 saved versions.

RFC roadmap for this surface

These cards expose planned programs. A proposed RFC is not an executable capability or implementation approval.

NM-RFC-0019ProposedImplementation locked

Calibration-aware timing and idle noise

Proposed activation: experimental.calibrationAwareTiming=true

Open in decision queue Read RFC

NM-RFC-0033ProposedImplementation locked

Production QPU provider adapter boundary

Proposed activation: server-only-provider-configuration

Open in decision queue Read RFC