qsharp-lang 1.25.3-dev → 1.25.4-dev

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: 02/02/2026
+ms.date: 02/11/2026
 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: 02/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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/02/2026
+ms.date: 02/11/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_wrapper6555 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 2064, __wbg_adapter_52);
+module.exports.__wbindgen_closure_wrapper6571 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 2071, __wbg_adapter_52);
     return addHeapObject(ret);
 };
 

package/lib/web/qsc_wasm.js

@@ -1525,8 +1525,8 @@ function __wbg_get_imports() {
         const ret = false;
         return ret;
     };
-    imports.wbg.__wbindgen_closure_wrapper6555 = function(arg0, arg1, arg2) {
-        const ret = makeMutClosure(arg0, arg1, 2064, __wbg_adapter_52);
+    imports.wbg.__wbindgen_closure_wrapper6571 = function(arg0, arg1, arg2) {
+        const ret = makeMutClosure(arg0, arg1, 2071, __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.3-dev",
+  "version": "1.25.4-dev",
   "license": "MIT",
   "engines": {
     "node": ">=16.17.0"

package/ux/atoms/index.css

@@ -14,6 +14,7 @@
   padding: 16px;
   display: flex;
   flex-direction: column;
+  position: relative;
 }
 
 .qs-atoms-app:focus {
@@ -165,7 +166,7 @@
   position: absolute;
   display: none;
   left: 40px;
-  top: 50px;
+  top: 48px;
   border: 1px solid var(--qdk-mid-gray);
   border-radius: 8px;
   background-color: var(--qdk-host-background);

package/ux/atoms/layout.ts

@@ -10,7 +10,7 @@ type ZoneDataInput = {
   kind: "register" | "interaction" | "measurement";
 } & (
   | { rows: number; rowStart?: never; rowEnd?: never }
-  | { rowStart: number; rowEnd: number; rows?: never }
+  | { rowStart: number; rowEnd: number; skipRows?: number[]; rows?: never }
 );
 
 // Normalized internal format always uses rowStart/rowEnd
@@ -18,6 +18,7 @@ type ZoneData = {
   title: string;
   rowStart: number;
   rowEnd: number;
+  skipRows?: number[];
   kind: "register" | "interaction" | "measurement";
 };
 
@@ -28,18 +29,31 @@ export type ZoneLayout = {
   // e.g. if `skipCols: [0,9]` was provided, then a `move(0,1)` would actually move to visual column 0,
   // and a `move(1,10)` would move to visual column 8.
   skipCols?: number[];
+  // If renumber is true, then all rows and columns will be renumbered in the visualization to be sequential starting from 0
+  renumber?: boolean;
 };
 
+const TWO_QUBIT_GATES = ["CX", "CY", "CZ", "RXX", "RYY", "RZZ", "SWAP"];
+
 // Normalize zone data to always use rowStart/rowEnd format
 function normalizeZones(zones: ZoneDataInput[]): ZoneData[] {
   let nextRowStart = 0;
   return zones.map((zone) => {
     if ("rowStart" in zone && zone.rowStart !== undefined) {
+      // Verify if skipRows are within the rowStart and rowEnd range
+      if (zone.skipRows) {
+        if (
+          !zone.skipRows.every((r) => r >= zone.rowStart && r <= zone.rowEnd)
+        ) {
+          throw `Invalid skipRows in zone "${zone.title}": all skipRows must be between rowStart and rowEnd`;
+        }
+      }
       // New format with explicit rowStart/rowEnd
       return {
         title: zone.title,
         rowStart: zone.rowStart,
         rowEnd: zone.rowEnd,
+        skipRows: zone.skipRows,
         kind: zone.kind,
       };
     } else {
@@ -97,6 +111,7 @@ export function fillQubitLocations(
   normalizedZones.forEach((zone) => {
     if (zone.kind === "register") {
       for (let row = zone.rowStart; row <= zone.rowEnd; ++row) {
+        if (zone.skipRows && zone.skipRows.includes(row)) continue;
         for (let col = 0; col < layout.cols; ++col) {
           qubits.push([row, col]);
         }
@@ -121,7 +136,7 @@ function parseMove(
   op: string,
   skipCols?: number[],
 ): { qubit: number; to: Location } | undefined {
-  const match = op.match(/move\((\d+), (\d+)\) (\d+)/);
+  const match = op.match(/move?\((\d+), (\d+)\) (\d+)/);
   if (match) {
     const to: Location = [
       parseInt(match[1]),
@@ -134,15 +149,15 @@ function parseMove(
 
 function parseGate(
   op: string,
-): { gate: string; qubit: number; arg?: string } | undefined {
-  const match = op.match(/(\w+)\s*(\(.*\))? (\d+)/);
+): { gate: string; qubits: number[]; arg?: string } | undefined {
+  const match = op.match(/(\w+)\s*(\(.*\))? ([\d,\s]+)/);
   if (match) {
     const gate = match[1];
-    const qubit = parseInt(match[3]);
+    const qubits = match[3].split(",").map((s) => parseInt(s.trim()));
     const arg = match[2]
       ? match[2].substring(1, match[2].length - 2)
       : undefined;
-    return { gate, qubit, arg };
+    return { gate, qubits, arg };
   }
 }
 
@@ -347,7 +362,8 @@ export class Layout {
     this.effectiveCols = layout.cols - (layout.skipCols?.length ?? 0);
 
     const totalRows = this.normalizedZones.reduce(
-      (prev, curr) => prev + (curr.rowEnd - curr.rowStart + 1),
+      (prev, curr) =>
+        prev + (curr.rowEnd - curr.rowStart + 1) - (curr.skipRows?.length ?? 0),
       0,
     );
 
@@ -365,11 +381,14 @@ export class Layout {
     // Maps absolute row numbers to visual Y offsets
     this.rowOffsetMap = new Map();
     let nextOffset = zoneSpacing;
+    let globalRowIndex = 0;
     this.normalizedZones.forEach((zone, index) => {
-      this.renderZone(index, nextOffset);
+      globalRowIndex = this.renderZone(index, nextOffset, globalRowIndex);
       for (let row = zone.rowStart; row <= zone.rowEnd; ++row) {
-        this.rowOffsetMap.set(row, nextOffset);
-        nextOffset += qubitSize;
+        if (!zone.skipRows?.includes(row)) {
+          this.rowOffsetMap.set(row, nextOffset);
+          nextOffset += qubitSize;
+        }
       }
       nextOffset += zoneSpacing; // Add spacing after each zone
     });
@@ -419,9 +438,17 @@ export class Layout {
     return this.trace.steps[step].ops;
   }
 
-  private renderZone(zoneIndex: number, offset: number) {
+  private renderZone(
+    zoneIndex: number,
+    offset: number,
+    globalRowIndex: number,
+  ): number {
     const zoneData = this.normalizedZones[zoneIndex];
-    const zoneRows = zoneData.rowEnd - zoneData.rowStart + 1;
+    const zoneRows =
+      zoneData.rowEnd -
+      zoneData.rowStart +
+      1 -
+      (zoneData.skipRows?.length ?? 0);
     const g = createSvgElements("g")[0];
     setAttributes(g, {
       transform: `translate(0 ${offset})`,
@@ -478,16 +505,19 @@ export class Layout {
     }
 
     // Number the rows using the absolute row numbers from rowStart to rowEnd
-    for (let i = 0; i < zoneRows; ++i) {
-      const rowNum = zoneData.rowStart + i;
+    let i = 0;
+    for (let rowNum = zoneData.rowStart; rowNum <= zoneData.rowEnd; ++rowNum) {
+      if (zoneData.skipRows && zoneData.skipRows.includes(rowNum)) continue;
       const label = createSvgElements("text")[0];
       setAttributes(label, {
         x: `${this.effectiveCols * qubitSize + 5}`,
         y: `${i * qubitSize + 5}`,
         class: "qs-atoms-label",
       });
-      label.textContent = `${rowNum}`;
+      label.textContent = `${this.layout.renumber ? globalRowIndex : rowNum}`;
       appendChildren(g, [label]);
+      ++i;
+      ++globalRowIndex;
     }
 
     // Draw the title
@@ -501,6 +531,7 @@ export class Layout {
 
     appendChildren(g, [text]);
     appendChildren(this.container, [g]);
+    return globalRowIndex;
   }
 
   private renderQubits() {
@@ -547,7 +578,7 @@ export class Layout {
         y: `5`,
         class: "qs-atoms-label",
       });
-      label.textContent = `${origCol}`;
+      label.textContent = `${this.layout.renumber ? visualCol : origCol}`;
       appendChildren(g, [label]);
       ++visualCol;
     }
@@ -887,7 +918,18 @@ export class Layout {
             const gate = parseGate(op);
             if (!gate) throw `Invalid gate: ${op}`;
             const arg = gate.arg ? gate.arg.substring(0, 4) : undefined;
-            this.renderGateOnQubit(gate.qubit, gate.gate.toUpperCase(), arg);
+            const isTwoQubitGate = TWO_QUBIT_GATES.includes(
+              gate.gate.toUpperCase(),
+            );
+            // Handle the case where an op is a list of qubits to apply the same op to
+            for (let i = 0; i < gate.qubits.length; i++) {
+              if (isTwoQubitGate && i % 2 !== 0) continue;
+              this.renderGateOnQubit(
+                gate.qubits[i],
+                gate.gate.toUpperCase(),
+                arg,
+              );
+            }
           }
         }
       });

package/ux/circuit.tsx

@@ -23,7 +23,7 @@ export function Circuit(props: {
   isEditable: boolean;
   editCallback?: (fileData: qviz.CircuitGroup) => void;
   runCallback?: () => void;
-  renderLocations: (s: SourceLocation[]) => { title: string; href: string };
+  renderLocations?: (s: SourceLocation[]) => { title: string; href: string };
 }) {
   let unrenderable = false;
   let qubits = 0;
@@ -68,7 +68,7 @@ function ZoomableCircuit(props: {
   isEditable: boolean;
   editCallback?: (fileData: qviz.CircuitGroup) => void;
   runCallback?: () => void;
-  renderLocations: (s: SourceLocation[]) => { title: string; href: string };
+  renderLocations?: (s: SourceLocation[]) => { title: string; href: string };
 }) {
   const circuitDiv = useRef<HTMLDivElement>(null);
   const [zoomLevel, setZoomLevel] = useState(100);

package/ux/histogram.tsx

@@ -67,17 +67,23 @@ function getDefaultMenuSelection(
   return selection;
 }
 
-const reKetResult = /^\[(?:(Zero|One|Loss), *)*(Zero|One|Loss)\]$/;
+const reKetResult =
+  /^\[(?:(Zero|One|Loss|0|1|2|-), *)*(Zero|One|Loss|0|1|2|-)\]$/;
 function resultToKet(result: string): string {
   if (typeof result !== "string") return "ERROR";
 
   if (reKetResult.test(result)) {
-    // The result is a simple array of Zero and One
-    // The below will return an array of "Zero" or "One" in the order found
-    const matches = result.match(/(One|Zero|Loss)/g);
+    // The result fits our expected pattern, so we can convert it to a ket. If not, just return the raw result.
+    const matches = result.match(/(One|Zero|Loss|0|1|2|-)/g);
     let ket = "|";
     matches?.forEach(
-      (digit) => (ket += digit == "One" ? "1" : digit == "Zero" ? "0" : "-"),
+      (digit) =>
+        (ket +=
+          digit == "One" || digit == "1"
+            ? "1"
+            : digit == "Zero" || digit == "0"
+              ? "0"
+              : "-"),
     );
     ket += "⟩";
     return ket;