qsharp-lang 1.22.5-dev → 1.23.1-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: 12/05/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: 12/05/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: 12/05/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: 12/05/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: 12/05/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: 12/05/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: 12/05/2025
+ms.date: 12/09/2025
 ms.topic: landing-page
 ---
 

package/package.json

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

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]);
+        });
       }
     });
   });
@@ -338,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,
@@ -218,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,
     );