qsharp-lang 1.25.4-dev → 1.25.7-dev

package/docs/Std.StatePreparation/ApproximatelyPreparePureStateCP.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.StatePreparation.ApproximatelyPreparePureStateCP
 title: ApproximatelyPreparePureStateCP operation
 description: "Q# ApproximatelyPreparePureStateCP operation: Given a set of coefficients and a big-endian quantum register, prepares a state on that register described by the given coefficients, up to a given approximation tolerance."
-ms.date: 02/11/2026
+ms.date: 02/20/2026
 qsharp.kind: operation
 qsharp.package: __Std__
 qsharp.namespace: Std.StatePreparation

package/docs/Std.StatePreparation/PreparePureStateD.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.StatePreparation.PreparePureStateD
 title: PreparePureStateD operation
 description: "Q# PreparePureStateD operation: Given a set of coefficients and a big-endian quantum register, prepares a state on that register described by the given coefficients."
-ms.date: 02/11/2026
+ms.date: 02/20/2026
 qsharp.kind: operation
 qsharp.package: __Std__
 qsharp.namespace: Std.StatePreparation

package/docs/Std.StatePreparation/PrepareUniformSuperposition.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.StatePreparation.PrepareUniformSuperposition
 title: PrepareUniformSuperposition operation
 description: "Q# PrepareUniformSuperposition operation: Prepares a uniform superposition of states that represent integers 0 through `nStates - 1` in a little-endian `qubits` register."
-ms.date: 02/11/2026
+ms.date: 02/20/2026
 qsharp.kind: operation
 qsharp.package: __Std__
 qsharp.namespace: Std.StatePreparation

package/docs/Std.StatePreparation/index.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.StatePreparation-toc
 title: Std.StatePreparation namespace
 description: Table of contents for the Q# StatePreparation namespace
-ms.date: 02/11/2026
+ms.date: 02/20/2026
 ms.topic: landing-page
 ---
 

package/docs/Std.TableLookup/Select.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.TableLookup.Select
 title: Select operation
 description: "Q# Select operation: Performs table lookup using a SELECT network"
-ms.date: 02/11/2026
+ms.date: 02/20/2026
 qsharp.kind: operation
 qsharp.package: __Std__
 qsharp.namespace: Std.TableLookup

package/docs/Std.TableLookup/index.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.TableLookup-toc
 title: Std.TableLookup namespace
 description: Table of contents for the Q# TableLookup namespace
-ms.date: 02/11/2026
+ms.date: 02/20/2026
 ms.topic: landing-page
 ---
 

package/docs/index.md

@@ -2,7 +2,7 @@
 uid: Microsoft.Quantum.apiref-toc
 title: Q# standard libraries for the Microsoft Quantum Development Kit
 description: Table of contents for the Q# standard libraries for Microsoft Quantum Development Kit
-ms.date: 02/11/2026
+ms.date: 02/20/2026
 ms.topic: landing-page
 ---
 

package/lib/nodejs/qsc_wasm.cjs

@@ -1570,7 +1570,7 @@ module.exports.__wbindgen_cb_drop = function(arg0) {
     return ret;
 };
 
-module.exports.__wbindgen_closure_wrapper6571 = function(arg0, arg1, arg2) {
+module.exports.__wbindgen_closure_wrapper6582 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 2071, __wbg_adapter_52);
     return addHeapObject(ret);
 };

package/lib/web/qsc_wasm.js

@@ -1525,7 +1525,7 @@ function __wbg_get_imports() {
         const ret = false;
         return ret;
     };
-    imports.wbg.__wbindgen_closure_wrapper6571 = function(arg0, arg1, arg2) {
+    imports.wbg.__wbindgen_closure_wrapper6582 = function(arg0, arg1, arg2) {
         const ret = makeMutClosure(arg0, arg1, 2071, __wbg_adapter_52);
         return addHeapObject(ret);
     };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "qsharp-lang",
   "description": "qsharp language package for quantum development",
-  "version": "1.25.4-dev",
+  "version": "1.25.7-dev",
   "license": "MIT",
   "engines": {
     "node": ">=16.17.0"
@@ -22,6 +22,7 @@
     "./debug-service-worker": "./dist/debug-service/worker-browser.js",
     "./katas": "./dist/katas.js",
     "./katas-md": "./dist/katas-md.js",
+    "./state-viz": "./ux/circuit-vis/state-viz/worker/index.ts",
     "./ux": "./ux/index.ts",
     "./qdk-theme.css": "./ux/qdk-theme.css"
   },

package/ux/circuit-vis/angleExpression.ts

@@ -0,0 +1,133 @@
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT license.
+
+// Normalizes "pi" (any case) to "π" and trims whitespace for
+// consistent storage and display.
+export function normalizeAngleExpression(expr: string): string {
+  return expr.trim().replace(/pi/gi, "π");
+}
+
+// Evaluate a simple arithmetic expression supporting numbers, + - * /, parentheses, and π.
+// Returns `undefined` for invalid inputs.
+export function evaluateAngleExpression(expr: string): number | undefined {
+  if (!expr) return undefined;
+  const src = normalizeAngleExpression(expr);
+  if (!src) return undefined;
+
+  // Tokenizer
+  type Tok = { type: "num" | "pi" | "op" | "lpar" | "rpar"; value?: string };
+  const toks: Tok[] = [];
+  let i = 0;
+  while (i < src.length) {
+    const ch = src[i];
+    if (ch === " " || ch === "\t" || ch === "\n") {
+      i++;
+      continue;
+    }
+    if (ch === "(" || ch === ")") {
+      toks.push({ type: ch === "(" ? "lpar" : "rpar" });
+      i++;
+      continue;
+    }
+    if (ch === "+" || ch === "-" || ch === "*" || ch === "/") {
+      toks.push({ type: "op", value: ch });
+      i++;
+      continue;
+    }
+    if (ch === "π") {
+      toks.push({ type: "pi" });
+      i++;
+      continue;
+    }
+    // number: digits with optional decimal part; no leading dot
+    if (ch === "." || /\d/.test(ch)) {
+      let j = i + 1;
+      while (j < src.length && /[0-9.]/.test(src[j])) j++;
+      const numStr = src.slice(i, j);
+      const valid = /^(?:\d+(?:\.\d*)?)$/.test(numStr);
+      if (!valid) return undefined;
+      toks.push({ type: "num", value: numStr });
+      i = j;
+      continue;
+    }
+    // Unknown character
+    return undefined;
+  }
+
+  // Recursive descent parser
+  let k = 0;
+  const peek = () => toks[k];
+  const consume = () => toks[k++];
+
+  const parseExpr = (): number | undefined => {
+    let lhs = parseTerm();
+    if (lhs === undefined) return undefined;
+    while (
+      peek() &&
+      peek().type === "op" &&
+      (peek().value === "+" || peek().value === "-")
+    ) {
+      const op = consume().value!;
+      const rhs = parseTerm();
+      if (rhs === undefined) return undefined;
+      lhs = op === "+" ? lhs + rhs : lhs - rhs;
+    }
+    return lhs;
+  };
+
+  const parseTerm = (): number | undefined => {
+    let lhs = parseFactor();
+    if (lhs === undefined) return undefined;
+    while (
+      peek() &&
+      peek().type === "op" &&
+      (peek().value === "*" || peek().value === "/")
+    ) {
+      const op = consume().value!;
+      const rhs = parseFactor();
+      if (rhs === undefined) return undefined;
+      lhs = op === "*" ? lhs * rhs : lhs / rhs;
+    }
+    return lhs;
+  };
+
+  const parseFactor = (): number | undefined => {
+    let sign = 1;
+    if (
+      peek() &&
+      peek().type === "op" &&
+      (peek().value === "+" || peek().value === "-")
+    ) {
+      sign = consume().value! === "-" ? -1 : 1;
+    }
+
+    const t = peek();
+    if (!t) return undefined;
+    if (t.type === "num") {
+      consume();
+      return sign * parseFloat(t.value!);
+    }
+    if (t.type === "pi") {
+      consume();
+      return sign * Math.PI;
+    }
+    if (t.type === "lpar") {
+      consume();
+      const v = parseExpr();
+      if (peek() && peek().type === "rpar") consume();
+      else return undefined;
+      if (v === undefined) return undefined;
+      return sign * v;
+    }
+    return undefined;
+  };
+
+  const result = parseExpr();
+  if (result === undefined || k !== toks.length || !isFinite(result))
+    return undefined;
+  return result;
+}
+
+export function isValidAngleExpression(expr: string): boolean {
+  return evaluateAngleExpression(expr) !== undefined;
+}

package/ux/circuit-vis/contextMenu.ts

@@ -5,6 +5,10 @@ import { Parameter } from "./circuit.js";
 import { removeControl, removeOperation } from "./circuitManipulation.js";
 import { CircuitEvents } from "./events.js";
 import { findGateElem, findOperation } from "./utils.js";
+import {
+  isValidAngleExpression,
+  normalizeAngleExpression,
+} from "./angleExpression.js";
 
 /**
  * Adds a context menu to a host element in the circuit visualization.
@@ -176,7 +180,7 @@ const promptForArguments = (
           }
         },
         defaultValue,
-        validateExpression,
+        isValidAngleExpression,
         'Examples: "2.0 * π" or "π / 2.0"',
       );
     };
@@ -185,72 +189,6 @@ const promptForArguments = (
   });
 };
 
-/**
- * Validate a mathematical expression.
- * @param input - The input string to validate.
- * @returns True if the expression is valid, false otherwise.
- */
-const validateExpression = (input: string): boolean => {
-  // Removes outermost parentheses
-  const removeParentheses = (expr: string): string => {
-    while (expr.startsWith("(") && expr.endsWith(")")) {
-      expr = expr.slice(1, -1).trim(); // Remove outermost parentheses
-    }
-    return expr;
-  };
-
-  // Validates parentheses balance and nesting
-  const validateParentheses = (expr: string): boolean => {
-    const stack: string[] = [];
-    for (const char of expr) {
-      if (char === "(") {
-        stack.push(char);
-      } else if (char === ")") {
-        if (stack.length === 0) {
-          return false; // Unmatched closing parenthesis
-        }
-        stack.pop();
-      }
-    }
-    return stack.length === 0; // Ensure no unmatched opening parentheses
-  };
-
-  // Validate the expression recursively
-  const validate = (expr: string): boolean => {
-    expr = expr.trim();
-
-    // Remove outermost parentheses
-    expr = removeParentheses(expr);
-
-    // Find and validate all sub-expressions within parentheses
-    const parenthesesRegex = /\(([^()]+)\)/g;
-    let match;
-    while ((match = parenthesesRegex.exec(expr)) !== null) {
-      const innerExpr = match[1];
-      if (!validate(innerExpr)) {
-        return false; // Invalid sub-expression
-      }
-
-      // Replace the validated sub-expression with a placeholder that we know is valid
-      expr = expr.replace(match[0], "π");
-    }
-
-    // Validate the remaining expression (without parentheses)
-    const sign = "[+-]?";
-    const number = "((\\d+(\\.\\d*)?))"; // Matches integers and decimals
-    const pi = "(?i:π)"; // Matches π
-    const value = `${sign}(${number}|${pi})`; // Matches a signed number or π
-    const operator = "[+\\-*/]"; // Matches arithmetic operators
-    const expressionRegex = new RegExp(
-      `^${value}(\\s*${operator}\\s*${value})*$`,
-    );
-
-    return expressionRegex.test(expr);
-  };
-
-  return validateParentheses(input) && validate(input);
-};
-
 /**
  * Create a context menu item
  * @param text - The text to display in the menu item
@@ -316,12 +254,9 @@ const _createInputPrompt = (
   okButton.classList.add("prompt-button");
   okButton.textContent = "OK";
 
-  // Function to replace "pi" with "π" (case-insensitive)
-  const replacePiWithSymbol = (input: string) => input.replace(/pi/gi, "π");
-
   // Function to validate input and toggle the OK button
   const validateAndToggleOkButton = () => {
-    const processedInput = replacePiWithSymbol(inputElem.value.trim());
+    const processedInput = normalizeAngleExpression(inputElem.value);
     const isValid = validateInput(processedInput);
     okButton.disabled = !isValid;
   };
@@ -337,9 +272,9 @@ const _createInputPrompt = (
     }
   });
 
-  okButton.disabled = !validateInput(replacePiWithSymbol(defaultValue.trim()));
+  okButton.disabled = !validateInput(normalizeAngleExpression(defaultValue));
   okButton.addEventListener("click", () => {
-    callback(replacePiWithSymbol(inputElem.value.trim()));
+    callback(normalizeAngleExpression(inputElem.value));
     document.body.removeChild(overlay);
     document.removeEventListener("keydown", handleGlobalKeyDown, true);
   });

package/ux/circuit-vis/events.ts

@@ -1,7 +1,13 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT license.
 
-import { ComponentGrid, Operation, Qubit, Unitary } from "./circuit.js";
+import {
+  Circuit,
+  ComponentGrid,
+  Operation,
+  Qubit,
+  Unitary,
+} from "./circuit.js";
 import { Sqore } from "./sqore.js";
 import { toolboxGateDictionary } from "./panel.js";
 import {
@@ -39,6 +45,7 @@ import {
 import { getOperationRegisters } from "../../src/utils.js";
 
 let events: CircuitEvents | null = null;
+let currentCircuitSvg: SVGElement | null = null;
 
 /**
  * Creates and attaches the events that allow editing of the circuit.
@@ -55,6 +62,26 @@ const enableEvents = (
     events.dispose();
   }
   events = new CircuitEvents(container, sqore, useRefresh);
+
+  // Track which rendered SVG the current `events` instance is associated with.
+  // This lets other modules avoid reading a stale model during a re-render where
+  // the SVG has been replaced but `enableEvents` hasn't run yet.
+  currentCircuitSvg = container.querySelector("svg.qviz") as SVGElement | null;
+
+  // Signal that the circuit model (events + model snapshot) is now ready.
+  // The state visualization uses this to re-render without relying on polling.
+  try {
+    const CustomEventCtor = (globalThis as any).CustomEvent as
+      | (new (type: string, init?: CustomEventInit) => CustomEvent)
+      | undefined;
+    if (CustomEventCtor && typeof container.dispatchEvent === "function") {
+      container.dispatchEvent(
+        new CustomEventCtor("qsharp:circuit:modelReady", { bubbles: true }),
+      );
+    }
+  } catch {
+    // ignore
+  }
 };
 
 class CircuitEvents {
@@ -1062,3 +1089,16 @@ const _createConfirmPrompt = (
 };
 
 export { enableEvents, CircuitEvents };
+
+// Provide access to the current circuit model, but only if it matches the
+// currently-rendered SVG element. This prevents state visualization from
+// computing against the previous render's model during a re-render.
+export function getCurrentCircuitModel(
+  expectedSvg?: SVGElement | null,
+): Circuit | null {
+  if (events == null) return null;
+  if (expectedSvg && currentCircuitSvg && expectedSvg !== currentCircuitSvg) {
+    return null;
+  }
+  return { qubits: events.qubits, componentGrid: events.componentGrid };
+}

package/ux/circuit-vis/formatters/inputFormatter.ts

@@ -45,6 +45,7 @@ const formatInputs = (
   //             ╎╎ ┌─┐ ╎╎
   //          ───┼┼─│X│─┼┼──
   //             ╎╎ └╥┘ ╎╎
+  //             ╎╎  ║  ╎╎
   //             ╎╎  ╚══╪╪══
   //             ╎╎     ╎╎
   //             ╎└╌╌╌╌╌┘╎
@@ -63,6 +64,7 @@ const formatInputs = (
     //             ╎╎ ┌─┐ ╎╎
     //          ───┼┼─│X│─┼┼──
     //             ╎╎ └╥┘ ╎╎
+    //             ╎╎  ║  ╎╎
     //             ╎╎  ╚══╪╪══
     //             ╎╎     ╎╎
     //             ╎└╌╌╌╌╌┘╎
@@ -76,6 +78,7 @@ const formatInputs = (
     //             ╎╎ ┌─┐ ╎╎
     // currY -> ───┼┼─│X│─┼┼──
     //             ╎╎ └╥┘ ╎╎
+    //             ╎╎  ║  ╎╎
     //             ╎╎  ╚══╪╪══
     //             ╎╎     ╎╎
     //             ╎└╌╌╌╌╌┘╎
@@ -95,14 +98,15 @@ const formatInputs = (
       y: currY,
     };
 
-    currY += gateHeight / 2;
+    currY += gatePadding + gateHeight / 2;
 
     //             ┌╌╌╌╌╌╌╌┐
     //             ╎┌╌╌╌╌╌┐╎
     //             ╎╎     ╎╎
     //             ╎╎ ┌─┐ ╎╎
     //          ───┼┼─│X│─┼┼──
-    // currY ->    ╎╎ └╥┘ ╎╎
+    //             ╎╎ └╥┘ ╎╎
+    // currY ->    ╎╎  ║  ╎╎
     //             ╎╎  ╚══╪╪══
     //             ╎╎     ╎╎
     //             ╎└╌╌╌╌╌┘╎
@@ -111,8 +115,8 @@ const formatInputs = (
     // Increment current height by classical register height for attached classical registers
 
     // Add classical wires
-    registers[id].children = Array.from(Array(numResults), () => {
-      currY += classicalRegHeight;
+    registers[id].children = Array.from(Array(numResults ?? 0), () => {
+      currY += gateHeight / 2 + gatePadding;
 
       //             ┌╌╌╌╌╌╌╌┐
       //             ╎┌╌╌╌╌╌┐╎
@@ -120,6 +124,7 @@ const formatInputs = (
       //             ╎╎ ┌─┐ ╎╎
       //          ───┼┼─│X│─┼┼──
       //             ╎╎ └╥┘ ╎╎
+      //             ╎╎  ║  ╎╎
       // currY ->    ╎╎  ╚══╪╪══
       //             ╎╎     ╎╎
       //             ╎└╌╌╌╌╌┘╎
@@ -129,17 +134,19 @@ const formatInputs = (
         type: RegisterType.Classical,
         y: currY,
       };
+
+      currY += gateHeight / 2 + gatePadding;
+
       return clsReg;
     });
 
-    currY += gatePadding + gateHeight / 2;
-
     //             ┌╌╌╌╌╌╌╌┐
     //             ╎┌╌╌╌╌╌┐╎
     //             ╎╎     ╎╎
     //             ╎╎ ┌─┐ ╎╎
     //          ───┼┼─│X│─┼┼──
     //             ╎╎ └╥┘ ╎╎
+    //             ╎╎  ║  ╎╎
     //             ╎╎  ╚══╪╪══
     // currY ->    ╎╎     ╎╎
     //             ╎└╌╌╌╌╌┘╎
@@ -155,6 +162,7 @@ const formatInputs = (
     //             ╎╎ └╥┘ ╎╎
     //             ╎╎  ║  ╎╎
     //             ╎╎  ╚══╪╪══
+    //             ╎╎     ╎╎
     //             ╎└╌╌╌╌╌┘╎
     //             └╌╌╌╌╌╌╌┘
     // currY ->

package/ux/circuit-vis/index.ts

@@ -9,10 +9,16 @@ import { CircuitGroup } from "./circuit.js";
  *
  * @param circuitGroup Group of circuits to be visualized.
  * @param container HTML element for rendering visualization into.
- * @param renderDepth Initial layer depth at which to render gates.
- * @param isEditable Whether the circuit is editable.
- * @param editCallback Callback function to be called when the circuit is edited.
- * @param runCallback Callback function to be called when the circuit is run.
+ * @param options Rendering/interaction options.
+ *   - `renderDepth`: Initial layer depth at which to render gates.
+ *   - `renderLocations`: Callback to generate links for source locations.
+ *   - `editor`: When provided, enables editing behaviors and requires:
+ *       - `editCallback`: Called when the circuit is edited.
+ *       - `runCallback` (optional): When provided, enables the Run button.
+ *       - `computeStateVizColumnsForCircuitModel` (optional): When provided,
+ *         delegates async state visualization computation to the host, which
+ *         is necessary for large circuits and/or when using a Web Worker (e.g. in VS Code).
+ *         When omitted, state visualization will be computed on the main thread.
  */
 export const draw = (
   circuitGroup: CircuitGroup,
@@ -23,6 +29,8 @@ export const draw = (
   sqore.draw(container);
 };
 
+export type { DrawOptions, EditorHandlers } from "./sqore.js";
+
 // Export types
 export type {
   CircuitGroup,