qsharp-lang 1.22.4-dev → 1.23.0

package/docs/Std.ResourceEstimation/SingleVariant.md

@@ -2,7 +2,7 @@
 uid: Qdk.Std.ResourceEstimation.SingleVariant
 title: SingleVariant function
 description: "Q# SingleVariant function: Used to specify that there's only one execution variant in `BeginEstimateCaching` function"
-ms.date: 11/25/2025
+ms.date: 12/09/2025
 qsharp.kind: function
 qsharp.package: __Std__
 qsharp.namespace: Std.ResourceEstimation

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: 11/25/2025
+ms.date: 12/09/2025
 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: 11/25/2025
+ms.date: 12/09/2025
 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: 11/25/2025
+ms.date: 12/09/2025
 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: 11/25/2025
+ms.date: 12/09/2025
 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: 11/25/2025
+ms.date: 12/09/2025
 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: 11/25/2025
+ms.date: 12/09/2025
 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: 11/25/2025
+ms.date: 12/09/2025
 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: 11/25/2025
+ms.date: 12/09/2025
 ms.topic: landing-page
 ---
 

package/docs/index.md

@@ -2,7 +2,7 @@
 uid: Microsoft.Quantum.apiref-toc
 title: Q# standard libraries for the Azure Quantum Development Kit
 description: Table of contents for the Q# standard libraries for Azure Quantum Development Kit
-ms.date: 11/25/2025
+ms.date: 12/09/2025
 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_wrapper986 = function(arg0, arg1, arg2) {
+module.exports.__wbindgen_closure_wrapper988 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 333, __wbg_adapter_52);
     return addHeapObject(ret);
 };

package/lib/nodejs/qsc_wasm.d.cts

@@ -267,9 +267,10 @@ export interface ITestDescriptor {
     }
 
 export interface ICircuitConfig {
+        generationMethod: "simulate" | "classicalEval";
         maxOperations: number;
-        generationMethod: "simulate" | "classicalEval" ;
         sourceLocations: boolean;
+        groupByScope: boolean;
     }
 
 export interface IDocFile {

package/lib/web/qsc_wasm.d.ts

@@ -267,9 +267,10 @@ export interface ITestDescriptor {
     }
 
 export interface ICircuitConfig {
+        generationMethod: "simulate" | "classicalEval";
         maxOperations: number;
-        generationMethod: "simulate" | "classicalEval" ;
         sourceLocations: boolean;
+        groupByScope: boolean;
     }
 
 export interface IDocFile {

package/lib/web/qsc_wasm.js

@@ -1525,7 +1525,7 @@ function __wbg_get_imports() {
         const ret = false;
         return ret;
     };
-    imports.wbg.__wbindgen_closure_wrapper986 = function(arg0, arg1, arg2) {
+    imports.wbg.__wbindgen_closure_wrapper988 = function(arg0, arg1, arg2) {
         const ret = makeMutClosure(arg0, arg1, 333, __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.22.4-dev",
+  "version": "1.23.0",
   "license": "MIT",
   "engines": {
     "node": ">=16.17.0"

package/ux/circuit-vis/events.ts

@@ -170,11 +170,7 @@ class CircuitEvents {
           this.selectedOperation.controls != null &&
           this.selectedWire != null
         ) {
-          const controlIndex = this.selectedOperation.controls.findIndex(
-            (control) => control.qubit === this.selectedWire,
-          );
-          if (controlIndex !== -1)
-            this.selectedOperation.controls.splice(controlIndex, 1);
+          removeControl(this, this.selectedOperation, this.selectedWire);
         } else {
           // Otherwise, remove the selectedOperation
           removeOperation(this, selectedLocation);

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

@@ -164,7 +164,7 @@ const _zoomButton = (
   let { dataAttributes } = renderData;
   dataAttributes = dataAttributes || {};
 
-  const expanded = "expanded" in dataAttributes;
+  const expanded = dataAttributes["expanded"] == "true";
 
   const x = gateBoundingBoxX + 2;
   const y = gateBoundingBoxY + 2;

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

@@ -11,20 +11,22 @@ import { group, line } from "./formatUtils.js";
  * stemming from each measurement gate.
  *
  * @param registers    Map from register IDs to register render data.
- * @param measureGates Array of measurement gate render data.
- * @param endX         End x coord.
+ * @param allGates     All the gates in the circuit.
+ * @param endX         End x-coordinate for the whole circuit.
+ *                     All wires will stretch to this x-coordinate.
  *
  * @returns SVG representation of register wires.
  */
 const formatRegisters = (
   registers: RegisterMap,
-  measureGates: GateRenderData[],
+  allGates: GateRenderData[],
   endX: number,
 ): SVGElement => {
-  const formattedRegs: SVGElement[] = [];
-  // Render qubit wires
+  const qubitRegs: SVGElement[] = [];
+  const classicalRegs: SVGElement[] = [];
   for (const qId in registers) {
-    formattedRegs.push(
+    // Render qubit wire
+    qubitRegs.push(
       line(
         regLineStart,
         registers[qId].y,
@@ -33,50 +35,74 @@ const formatRegisters = (
         "qubit-wire",
       ),
     );
+
+    // Render classical wires
+    for (const classical of registers[qId].children || []) {
+      for (const gate of allGates.flat()) {
+        if (
+          gate.type === GateType.Group &&
+          gate.dataAttributes?.["expanded"] === "true"
+        ) {
+          // Don't render classical wires for a group that is expanded - the wires
+          // will be coming out of the measurement operations *inside* the group.
+          continue;
+        }
+
+        for (const y of gate.targetsY.flat().filter((y) => y === classical.y)) {
+          // Found the gate that this classical wire originates from. Draw
+          // it starting at this gates x-coordinate.
+
+          // If this is a measurement gate, there is a vertical line
+          // going down from the gate to the wire
+          const verticalY =
+            gate.type === GateType.Measure ? gate.controlsY[0] : undefined;
+
+          classicalRegs.push(_classicalRegister(gate.x, endX, y, verticalY));
+        }
+      }
+    }
   }
-  // Render classical wires
-  measureGates.forEach(({ type, x, targetsY, controlsY }) => {
-    if (type !== GateType.Measure) return;
-    const gateY: number = controlsY[0];
-    (targetsY as number[]).forEach((y) => {
-      formattedRegs.push(_classicalRegister(x, gateY, endX, y));
-    });
-  });
-  return group(formattedRegs, { class: "wires" });
+
+  return group(qubitRegs.concat(classicalRegs), { class: "wires" });
 };
 
 /**
  * Generates the SVG representation of a classical register.
  *
  * @param startX Start x coord.
- * @param gateY  y coord of measurement gate.
  * @param endX   End x coord.
  * @param wireY  y coord of wire.
+ * @param gateY  y coord of the measurement gate that this wire originates from.
+ *               If undefined, no vertical line is drawn.
  *
  * @returns SVG representation of the given classical register.
  */
 const _classicalRegister = (
   startX: number,
-  gateY: number,
   endX: number,
   wireY: number,
+  gateY?: number,
 ): SVGElement => {
   const wirePadding = 1;
-  // Draw vertical lines
-  const vLine1: SVGElement = line(
-    startX + wirePadding,
-    gateY,
-    startX + wirePadding,
-    wireY - wirePadding,
-    "register-classical",
-  );
-  const vLine2: SVGElement = line(
-    startX - wirePadding,
-    gateY,
-    startX - wirePadding,
-    wireY + wirePadding,
-    "register-classical",
-  );
+  const g = [];
+  if (gateY != null) {
+    // Draw vertical lines
+    const vLine1: SVGElement = line(
+      startX + wirePadding,
+      gateY,
+      startX + wirePadding,
+      wireY - wirePadding,
+      "register-classical",
+    );
+    const vLine2: SVGElement = line(
+      startX - wirePadding,
+      gateY,
+      startX - wirePadding,
+      wireY + wirePadding,
+      "register-classical",
+    );
+    g.push(vLine1, vLine2);
+  }
 
   // Draw horizontal lines
   const hLine1: SVGElement = line(
@@ -94,7 +120,9 @@ const _classicalRegister = (
     "register-classical",
   );
 
-  return group([vLine1, vLine2, hLine1, hLine2]);
+  g.push(hLine1, hLine2);
+
+  return group(g);
 };
 
 export { formatRegisters };

package/ux/circuit-vis/process.ts

@@ -40,7 +40,7 @@ const processOperations = (
 
   // Get classical registers and their starting column index
   const classicalRegs: [number, Register][] =
-    _getClassicalRegStart(componentGrid);
+    _getClassicalRegStarts(componentGrid);
 
   // Map operation index to gate render data for formatting later
   const renderDataArray: GateRenderData[][] = componentGrid.map(
@@ -75,21 +75,21 @@ const processOperations = (
               return children[reg.result].y;
             });
 
-          let qubits: Register[];
+          let targets: Register[];
           switch (op.kind) {
             case "unitary":
-              qubits = op.targets;
+              targets = op.targets;
               break;
             case "measurement":
-              qubits = op.qubits;
+              targets = op.qubits;
               break;
             case "ket":
-              qubits = op.targets;
+              targets = op.targets;
               break;
           }
 
           renderData.targetsY = _splitTargetsY(
-            qubits,
+            targets,
             classicalRegY,
             registers,
           );
@@ -122,7 +122,7 @@ const processOperations = (
  *
  * @returns Array of classical register and their starting column indices in the form [[column, register]].
  */
-const _getClassicalRegStart = (
+const _getClassicalRegStarts = (
   componentGrid: ComponentGrid,
 ): [number, Register][] => {
   const clsRegs: [number, Register][] = [];
@@ -133,6 +133,12 @@ const _getClassicalRegStart = (
           ({ result }) => result !== undefined,
         );
         resultRegs.forEach((reg) => clsRegs.push([colIndex, reg]));
+      } else if (op.children != null) {
+        const componentGrid = op.children;
+        const childClsRegs = _getClassicalRegStarts(componentGrid);
+        childClsRegs.forEach(([, reg]) => {
+          clsRegs.push([colIndex, reg]);
+        });
       }
     });
   });
@@ -213,7 +219,11 @@ const _opToRenderData = (
         ),
       }))
       .filter((col) => col.components.length > 0);
-    let childrenInstrs = processOperations(onZeroOps, registers);
+    let childrenInstrs = processOperations(
+      onZeroOps,
+      registers,
+      renderLocations,
+    );
     const zeroGates: GateRenderData[][] = childrenInstrs.renderDataArray;
     const zeroChildWidth: number = childrenInstrs.svgWidth;
 
@@ -225,7 +235,7 @@ const _opToRenderData = (
         ),
       }))
       .filter((col) => col.components.length > 0);
-    childrenInstrs = processOperations(onOneOps, registers);
+    childrenInstrs = processOperations(onOneOps, registers, renderLocations);
     const oneGates: GateRenderData[][] = childrenInstrs.renderDataArray;
     const oneChildWidth: number = childrenInstrs.svgWidth;
 
@@ -247,7 +257,11 @@ const _opToRenderData = (
     conditionalRender == ConditionalRender.AsGroup &&
     (children?.length || 0) > 0
   ) {
-    const childrenInstrs = processOperations(children!, registers);
+    const childrenInstrs = processOperations(
+      children!,
+      registers,
+      renderLocations,
+    );
     renderData.type = GateType.Group;
     renderData.children = childrenInstrs.renderDataArray;
     // _zoomButton function in gateFormatter.ts relies on
@@ -285,8 +299,8 @@ const _opToRenderData = (
   // Set gate width
   renderData.width = getGateWidth(renderData);
 
-  if (op.source && renderLocations) {
-    renderData.link = renderLocations([op.source]);
+  if (op.metadata?.source && renderLocations) {
+    renderData.link = renderLocations([op.metadata.source]);
   }
 
   // Extend existing data attributes with user-provided data attributes
@@ -330,7 +344,7 @@ const _getRegY = (reg: Register, registers: RegisterMap): number => {
 /**
  * Splits `targets` if non-adjacent or intersected by classical registers.
  *
- * @param targets       Target qubit registers.
+ * @param targets       Target registers (can be qubit or classical).
  * @param classicalRegY y coords of classical registers overlapping current column.
  * @param registers     Mapping from register qubit IDs to register render data.
  *

package/ux/circuit-vis/sqore.ts

@@ -14,7 +14,7 @@ import {
   Column,
   SourceLocation,
 } from "./circuit.js";
-import { GateRenderData, GateType } from "./gateRenderData.js";
+import { GateRenderData } from "./gateRenderData.js";
 import {
   gateHeight,
   minGateWidth,
@@ -59,6 +59,7 @@ export type DrawOptions = {
 export class Sqore {
   circuit: Circuit;
   gateRegistry: GateRegistry = {};
+  renderDepth: number = this.options.renderDepth ?? 0;
   /**
    * Initializes Sqore object.
    *
@@ -106,7 +107,6 @@ export class Sqore {
     // Create copy of circuit to prevent mutation
     const _circuit: Circuit =
       circuit ?? JSON.parse(JSON.stringify(this.circuit));
-    const renderDepth = this.options.renderDepth || 0;
 
     // Assign unique locations to each operation
     _circuit.componentGrid.forEach((col, colIndex) =>
@@ -118,7 +118,7 @@ export class Sqore {
     // Render operations starting at given depth
     _circuit.componentGrid = this.selectOpsAtDepth(
       _circuit.componentGrid,
-      renderDepth,
+      this.renderDepth,
     );
 
     // If only one top-level operation, expand automatically:
@@ -129,7 +129,9 @@ export class Sqore {
       Object.prototype.hasOwnProperty.call(
         _circuit.componentGrid[0].components[0].dataAttributes,
         "location",
-      )
+      ) &&
+      _circuit.componentGrid[0].components[0].dataAttributes["expanded"] !==
+        "false"
     ) {
       const location: string =
         _circuit.componentGrid[0].components[0].dataAttributes["location"];
@@ -216,12 +218,11 @@ export class Sqore {
       this.options.isEditable ? undefined : this.options.renderLocations,
     );
     const formattedGates: SVGElement = formatGates(renderDataArray);
-    const measureGates: GateRenderData[] = flatten(renderDataArray).filter(
-      ({ type }) => type === GateType.Measure,
-    );
+
+    // Draw the lines that represent qubit and classical wires.
     const formattedRegs: SVGElement = formatRegisters(
       registers,
-      measureGates,
+      flatten(renderDataArray),
       svgWidth,
     );
 
@@ -337,11 +338,11 @@ export class Sqore {
         } else {
           selectedCol.push(op);
         }
-        selectedOps.push({ components: selectedCol });
-        if (extraCols.length > 0) {
-          selectedOps.push(...extraCols);
-        }
       });
+      selectedOps.push({ components: selectedCol });
+      if (extraCols.length > 0) {
+        selectedOps.push(...extraCols);
+      }
     });
     return selectedOps;
   }
@@ -478,7 +479,7 @@ export class Sqore {
         // Collapse parent gate and its children
         if (opId.startsWith(parentLoc)) {
           op.conditionalRender = ConditionalRender.Always;
-          delete op.dataAttributes["expanded"];
+          op.dataAttributes["expanded"] = "false";
         }
       }),
     );