qsharp-lang 1.25.7-dev → 1.26.0

package/docs/Std.ResourceEstimation/TCount.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.ResourceEstimation.TCount
 title: TCount function
 description: "Q# TCount function: Returns a tuple that can be passed to the `AccountForEstimates` operation to specify that the number of the T gates is equal to the `amount`."
-ms.date: 02/20/2026
+ms.date: 02/28/2026
 qsharp.kind: function
 qsharp.package: __Std__
 qsharp.namespace: Std.ResourceEstimation

package/docs/Std.ResourceEstimation/index.md

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

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/20/2026
+ms.date: 02/28/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/20/2026
+ms.date: 02/28/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/20/2026
+ms.date: 02/28/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/20/2026
+ms.date: 02/28/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/20/2026
+ms.date: 02/28/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/20/2026
+ms.date: 02/28/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/20/2026
+ms.date: 02/28/2026
 ms.topic: landing-page
 ---
 

package/lib/nodejs/qsc_wasm.cjs

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

package/lib/nodejs/qsc_wasm.d.cts

@@ -289,7 +289,7 @@ export interface ITestDescriptor {
     }
 
 export interface ICircuitConfig {
-        generationMethod: "simulate" | "classicalEval";
+        generationMethod: "simulate" | "classicalEval" | "static";
         maxOperations: number;
         sourceLocations: boolean;
         groupByScope: boolean;

package/lib/web/qsc_wasm.d.ts

@@ -289,7 +289,7 @@ export interface ITestDescriptor {
     }
 
 export interface ICircuitConfig {
-        generationMethod: "simulate" | "classicalEval";
+        generationMethod: "simulate" | "classicalEval" | "static";
         maxOperations: number;
         sourceLocations: boolean;
         groupByScope: boolean;

package/lib/web/qsc_wasm.js

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

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "qsharp-lang",
   "description": "qsharp language package for quantum development",
-  "version": "1.25.7-dev",
+  "version": "1.26.0",
   "license": "MIT",
   "engines": {
     "node": ">=16.17.0"

package/ux/circuit-vis/constants.ts

@@ -32,10 +32,10 @@ export const groupBottomPadding = 10;
 /** Top padding inside group box. */
 export const groupTopPadding =
   groupBottomPadding + labelFontSize + groupLabelPaddingY;
-/** Additional offset for control button. */
-export const controlBtnOffset = 40;
-/** Control button radius. */
-export const controlBtnRadius = 15;
+/** Additional offset for the classical control circle. */
+export const controlCircleOffset = 40;
+/** Classical control circle radius. */
+export const controlCircleRadius = 15;
 /** Default font size for gate arguments. */
 export const argsFontSize = 12;
 /** Starting x coord for each register wire. */

package/ux/circuit-vis/draggable.ts

@@ -362,7 +362,7 @@ const _dropzoneLayer = (context: Context) => {
       );
 
     columnOps.components.forEach((op, opIndex) => {
-      const [minTarget, maxTarget] = getMinMaxRegIdx(op, wireData.length);
+      const [minTarget, maxTarget] = getMinMaxRegIdx(op);
       // Add dropzones before the first target
       while (wireIndex <= maxTarget) {
         dropzoneLayer.appendChild(makeBox(opIndex, true));

package/ux/circuit-vis/events.ts

@@ -413,10 +413,7 @@ class CircuitEvents {
           return;
 
         // Add temporary dropzones specific to this operation
-        const [minTarget, maxTarget] = getMinMaxRegIdx(
-          this.selectedOperation,
-          this.wireData.length,
-        );
+        const [minTarget, maxTarget] = getMinMaxRegIdx(this.selectedOperation);
         for (let wire = minTarget; wire <= maxTarget; wire++) {
           if (wire === this.selectedWire) continue;
           const indexes = locationStringToIndexes(selectedLocation);
@@ -921,17 +918,11 @@ class CircuitEvents {
               );
               if (!selectedOperationParent) return;
 
-              const [minTarget, maxTarget] = getMinMaxRegIdx(
-                selectedOperation,
-                this.wireData.length,
-              );
+              const [minTarget, maxTarget] = getMinMaxRegIdx(selectedOperation);
               selectedOperationParent[columnIndex].components.forEach(
                 (op, opIndex) => {
                   if (opIndex === position) return; // Don't check the selected operation against itself
-                  const [minOp, maxOp] = getMinMaxRegIdx(
-                    op,
-                    this.wireData.length,
-                  );
+                  const [minOp, maxOp] = getMinMaxRegIdx(op);
                   // Check if selectedOperation's range overlaps with op's range
                   if (
                     (minOp >= minTarget && minOp <= maxTarget) ||

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

@@ -7,13 +7,13 @@ import {
   gateHeight,
   labelFontSize,
   argsFontSize,
-  controlBtnRadius,
-  controlBtnOffset,
+  controlCircleRadius,
+  controlCircleOffset,
   groupPaddingX,
-  classicalRegHeight,
   groupTopPadding,
   labelPaddingX,
   groupLabelPaddingY,
+  groupBottomPadding,
 } from "../constants.js";
 import {
   createSvgElement,
@@ -107,15 +107,10 @@ const _createGate = (
   // `GateType.Group` corresponds to an *expanded* group, which will contain clickable gates
   // so therefore should not itself be clickable
   if (renderData.link && renderData.type !== GateType.Group) {
-    const linkElem = createSvgElement("a", {
-      href: renderData.link.href,
-      class: "qs-circuit-source-link",
-    });
-
-    // Add title as a child <title> element for accessibility and hover tooltip
-    const titleElem = createSvgElement("title");
-    titleElem.textContent = renderData.link.title;
-    linkElem.appendChild(titleElem);
+    const linkElem = createLinkElement(
+      renderData.link.href,
+      renderData.link.title,
+    );
 
     // Add the gate elements as children of the link
     for (const e of svgElems) {
@@ -145,7 +140,8 @@ const _createGate = (
 const _zoomButton = (renderData: GateRenderData): SVGElement | null => {
   if (renderData == undefined) return null;
 
-  const [gateBoundingBoxX, gateBoundingBoxY] = _gateBoundingBox(renderData);
+  const { x: gateBoundingBoxX, y: gateBoundingBoxY } =
+    _gateBoundingBox(renderData);
   let { dataAttributes } = renderData;
   dataAttributes = dataAttributes || {};
 
@@ -180,15 +176,37 @@ const _zoomButton = (renderData: GateRenderData): SVGElement | null => {
  *
  * @param renderData Operation render data.
  *
- * @returns [x, y, width, height]
+ * @returns Bounding box of the gate, including any control dots and circles.
  */
 const _gateBoundingBox = (
   renderData: GateRenderData,
-): [number, number, number, number] => {
-  const { x: centerX, width, targetsY, topPadding, bottomPadding } = renderData;
+): { x: number; y: number; width: number; height: number } => {
+  const {
+    x: centerX,
+    width,
+    targetsY,
+    controlsY,
+    topPadding,
+    bottomPadding,
+  } = renderData;
 
   const x = centerX - width / 2;
-  const ys = targetsY?.flatMap((y) => y as number[]) || [];
+
+  // If we are rendering a classically controlled group, we want the bounding box to go around
+  // the targets AND controls. This is because the classical control circle is rendered next
+  // to the dashed box, and needs to touch the box, like so:
+  //          ┌╌╌╌╌╌┐
+  //          ╎ ┌─┐ ╎
+  // ─────────┼─│X│─┼─
+  //          ╎ └─┘ ╎
+  //  ┌─┐     ╎ ┌─┐ ╎
+  // ─│M│─────┼─│Y│─┼─
+  //  └╥┘ ╭─╮ ╎ └─┘ ╎
+  //   ╚══╡ ╞═╪═════╪═
+  //      │c│┄╎     ╎
+  //      ╰─╯ └╌╌╌╌╌┘
+  const ys = targetsY.flatMap((y) => y as number[]).concat(controlsY);
+
   const maxY = Math.max(...ys);
   const minY = Math.min(...ys);
 
@@ -213,7 +231,7 @@ const _gateBoundingBox = (
   const y = minY - gateHeight / 2 - topPadding;
   const height = maxY - minY + gateHeight + bottomPadding + topPadding;
 
-  return [x, y, width, height];
+  return { x, y, width, height };
 };
 
 /**
@@ -254,6 +272,19 @@ const _measure = (x: number, y: number, wireYs: number[]): SVGElement => {
 
 const use_katex = true;
 
+function createLinkElement(href: string, title: string) {
+  const linkElem = createSvgElement("a", {
+    href: href,
+    class: "qs-circuit-source-link",
+  });
+
+  // Add title as a child <title> element for accessibility and hover tooltip
+  const titleElem = createSvgElement("title");
+  titleElem.textContent = title;
+  linkElem.appendChild(titleElem);
+  return linkElem;
+}
+
 function _style_gate_text(gate: SVGTextElement) {
   if (!use_katex) return;
   let label = gate.textContent || "";
@@ -268,6 +299,12 @@ function _style_gate_text(gate: SVGTextElement) {
 
   label = label.replace(italicChars, `<tspan class='qs-mathtext'>$&</tspan>`);
 
+  // Subscript any `_0`, `_1`, etc. in the label
+  label = label.replace(
+    /_(\d+)/g,
+    `<tspan baseline-shift="sub" font-size="65%">$1</tspan>`,
+  );
+
   // Replace a trailing ' with the proper unicode dagger symbol
   label = label.replace(
     /'$/,
@@ -403,8 +440,12 @@ const _swap = (renderData: GateRenderData): SVGElement => {
   const { x: centerX, targetsY } = renderData;
 
   // Get SVGs of crosses
-  const [boundingBoxX, boundingBoxY, width, height] =
-    _gateBoundingBox(renderData);
+  const {
+    x: boundingBoxX,
+    y: boundingBoxY,
+    width,
+    height,
+  } = _gateBoundingBox(renderData);
   const ys = targetsY?.flatMap((y) => y as number[]) || [];
   const bg: SVGElement = box(
     boundingBoxX,
@@ -560,7 +601,7 @@ const _oplus = (x: number, y: number, wireYs: number[]): SVGElement => {
  */
 const _groupedOperations = (renderData: GateRenderData): SVGElement => {
   const { children, label } = renderData;
-  const [x, y, w, h] = _gateBoundingBox(renderData);
+  const { x, y, width: w, height: h } = _gateBoundingBox(renderData);
 
   // Draw dashed box around children gates
   const box: SVGElement = dashedBox(x, y, w, h, "gate-unitary");
@@ -573,7 +614,16 @@ const _groupedOperations = (renderData: GateRenderData): SVGElement => {
     y + groupTopPadding / 2 + groupLabelPaddingY,
   );
   labelText.classList.add("qs-group-label");
-  elems.push(labelText);
+
+  if (renderData.link) {
+    const link = createLinkElement(renderData.link.href, renderData.link.title);
+    // Make the text element clickable
+    labelText.style.pointerEvents = "all";
+    link.appendChild(labelText);
+    elems.push(link);
+  } else {
+    elems.push(labelText);
+  }
 
   return _createGate(elems, renderData);
 };
@@ -590,67 +640,82 @@ const _classicalControlled = (
   renderData: GateRenderData,
   padding: number = groupPaddingX,
 ): SVGElement => {
-  const { controlsY, dataAttributes } = renderData;
-  const targetsY: number[] = renderData.targetsY as number[];
-  const children: GateRenderData[][][] =
-    renderData.children as GateRenderData[][][];
-  let { x, width } = renderData;
+  const { controlsY, dataAttributes, label, classicalControlIds, children } =
+    renderData;
 
-  const controlY = controlsY[0];
+  const boundingBox = _gateBoundingBox(renderData);
+  let { x, width } = boundingBox;
+  const { y, height } = boundingBox;
 
   const elems: SVGElement[] = [];
 
-  if (children != null) {
-    if (children.length !== 2)
-      throw new Error(
-        `Invalid number of children found for classically-controlled gate: ${children.length}`,
-      );
+  for (let i = 0; i < controlsY.length; i++) {
+    const controlY = controlsY[i];
+    const label = classicalControlIds?.[i] ?? null;
+    // Draw control button and attached dashed line to dashed box
+    const controlCircleX: number = x + controlCircleRadius;
+    const controlCircle: SVGElement = _controlCircle(
+      controlCircleX,
+      controlY,
+      label,
+    );
+    const lineY1: number = controlY + controlCircleRadius;
+    const lineY2: number =
+      controlY + controlCircleRadius + groupBottomPadding / 2;
+    const vertLine: SVGElement = dashedLine(
+      controlCircleX,
+      lineY1,
+      controlCircleX,
+      lineY2,
+      "classical-line",
+    );
+    const lineEndX = x + controlCircleOffset;
+    const horLine: SVGElement = dashedLine(
+      controlCircleX,
+      lineY2,
+      lineEndX,
+      lineY2,
+      "classical-line",
+    );
 
-    // Get SVG for gates controlled on 0
-    const childrenZero: SVGElement = formatGates(children[0]);
-    childrenZero.setAttribute("class", "gates-zero");
-    elems.push(childrenZero);
-
-    // Get SVG for gates controlled on 1
-    const childrenOne: SVGElement = formatGates(children[1]);
-    childrenOne.setAttribute("class", "gates-one");
-    elems.push(childrenOne);
+    elems.push(horLine, vertLine, controlCircle);
   }
 
-  // Draw control button and attached dashed line to dashed box
-  const controlCircleX: number = x + controlBtnRadius;
-  const controlCircle: SVGElement = _controlCircle(controlCircleX, controlY);
-  const lineY1: number = controlY + controlBtnRadius,
-    lineY2: number = controlY + classicalRegHeight / 2;
-  const vertLine: SVGElement = dashedLine(
-    controlCircleX,
-    lineY1,
-    controlCircleX,
-    lineY2,
-    "classical-line",
-  );
-  x += controlBtnOffset;
-  const horLine: SVGElement = dashedLine(
-    controlCircleX,
-    lineY2,
-    x,
-    lineY2,
-    "classical-line",
-  );
+  x += controlCircleOffset;
 
-  width = width - controlBtnOffset + (padding - groupPaddingX) * 2;
+  width = width - controlCircleOffset + (padding - groupPaddingX) * 2;
   x += groupPaddingX - padding;
-  const y: number = targetsY[0] - gateHeight / 2 - padding;
-  const height: number = targetsY[1] - targetsY[0] + gateHeight + padding * 2;
 
   // Draw dashed box around children gates
   const box: SVGElement = dashedBox(x, y, width, height, "classical-container");
 
-  elems.push(...[horLine, vertLine, controlCircle, box]);
+  elems.push(box);
+
+  const labelText = _labelText(
+    label,
+    x + labelPaddingX,
+    y + groupTopPadding / 2 + groupLabelPaddingY,
+  );
+  labelText.classList.add("qs-group-label");
+
+  if (renderData.link) {
+    const link = createLinkElement(renderData.link.href, renderData.link.title);
+    // Make the text element clickable
+    labelText.style.pointerEvents = "all";
+    link.appendChild(labelText);
+    elems.push(link);
+  } else {
+    elems.push(labelText);
+  }
+
+  if (children != null) {
+    // Get SVG for gates controlled on 0
+    const childrenSvg: SVGElement = formatGates(children);
+    elems.push(childrenSvg);
+  }
 
-  // Display controlled operation in initial "unknown" state
   const attributes: { [attr: string]: string } = {
-    class: `classically-controlled-group classically-controlled-unknown`,
+    class: `classically-controlled-group`,
   };
   if (dataAttributes != null)
     Object.entries(dataAttributes).forEach(
@@ -664,21 +729,51 @@ const _classicalControlled = (
  * Generates the SVG representation of the control circle on a classical register with interactivity support
  * for toggling between bit values (unknown, 1, and 0).
  *
- * @param x   x coord.
- * @param y   y coord.
- * @param r   Radius of circle.
+ * @param x          Center x coord.
+ * @param y          Center y coord.
+ * @param controlId  ID label to display inside control circle
  *
  * @returns SVG representation of control circle.
  */
 const _controlCircle = (
   x: number,
   y: number,
-  r: number = controlBtnRadius,
+  controlId: number | null,
 ): SVGElement =>
-  group([circle(x, y, r), text("?", x, y, labelFontSize)], {
+  group([circle(x, y, controlCircleRadius), controlLabel(x, y, controlId)], {
     class: "classically-controlled-btn",
   });
 
+/**
+ * Generates the text element label inside a classical control circle.
+ *
+ * @param x          Center x coord.
+ * @param y          Center y coord.
+ * @param label      ID label to display inside control circle
+ *
+ * @returns          SVG representation of control label
+ */
+function controlLabel(x: number, y: number, label: number | null): SVGElement {
+  const el: SVGElement = text("", x, y, labelFontSize);
+
+  // Create text content "c"
+  el.appendChild(document.createTextNode("c"));
+
+  // Create tspan with subscript label
+  const tspan = createSvgElement("tspan", {
+    "baseline-shift": "sub",
+    "font-size": "65%",
+  });
+  tspan.appendChild(document.createTextNode(String(label)));
+  el.appendChild(tspan);
+
+  el.setAttribute("text-anchor", "start");
+  el.setAttribute("dominant-baseline", "middle");
+  el.classList.add("qs-maintext");
+
+  return el;
+}
+
 /**
  * Generates the SVG representation of the label text for a gate or grouped operation.
  *

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

@@ -38,10 +38,11 @@ const formatRegisters = (
 
     // Render classical wires
     for (const classical of registers[qId].children || []) {
+      const ys: number[] = [];
       for (const gate of allGates.flat()) {
         if (
-          gate.type === GateType.Group &&
-          gate.dataAttributes?.["expanded"] === "true"
+          gate.type === GateType.Group ||
+          gate.type === GateType.ClassicalControlled
         ) {
           // Don't render classical wires for a group that is expanded - the wires
           // will be coming out of the measurement operations *inside* the group.
@@ -49,6 +50,10 @@ const formatRegisters = (
         }
 
         for (const y of gate.targetsY.flat().filter((y) => y === classical.y)) {
+          if (ys.includes(y)) {
+            continue;
+          }
+          ys.push(y);
           // Found the gate that this classical wire originates from. Draw
           // it starting at this gates x-coordinate.
 

package/ux/circuit-vis/gateRenderData.ts

@@ -52,7 +52,7 @@ export interface GateRenderData {
   /** Gate width. */
   width: number;
   /** Children operations as part of group. */
-  children?: GateRenderData[][] | GateRenderData[][][];
+  children?: GateRenderData[][];
   /** Vertical space from the top of this gate to the top of the topmost contained gate. 0 for non-groups. */
   topPadding: number;
   /** Vertical space from the bottom of this gate to the bottom of the bottommost contained gate. 0 for non-groups. */
@@ -61,4 +61,6 @@ export interface GateRenderData {
   dataAttributes?: DataAttributes;
   /** Link href and title for clickable gate. */
   link?: { href: string; title: string };
+  /** Labels for the classical control registers (applicable only for GateType.ClassicalControlled). */
+  classicalControlIds?: (number | null)[];
 }

package/ux/circuit-vis/index.ts

@@ -24,9 +24,17 @@ export const draw = (
   circuitGroup: CircuitGroup,
   container: HTMLElement,
   options: DrawOptions = {},
-): void => {
+): {
+  userSetZoomLevel: (zoomLevel: number) => void;
+} => {
   const sqore = new Sqore(circuitGroup, options);
   sqore.draw(container);
+  return {
+    userSetZoomLevel: (zoomLevel: number) => {
+      sqore.zoomOnResize = false;
+      sqore.updateZoomLevel(zoomLevel);
+    },
+  };
 };
 
 export type { DrawOptions, EditorHandlers } from "./sqore.js";