bloqade-circuit 0.5.3__py3-none-any.whl → 0.6.1__py3-none-any.whl

bloqade/qasm2/_qasm_loading.py

@@ -82,7 +82,7 @@ def loads(
         body=body,
     )
 
-    return ir.Method(
+    mt = ir.Method(
         mod=None,
         py_func=None,
         sym_name=kernel_name,
@@ -91,6 +91,9 @@ def loads(
         code=code,
     )
 
+    mt.verify()
+    return mt
+
 
 def loadfile(
     qasm_file: str | pathlib.Path,

bloqade/qasm2/parse/lowering.py

@@ -202,7 +202,13 @@ class QASM2(lowering.LoweringABC[ast.Node]):
 
             then_body = if_frame.curr_region
 
-        state.current_frame.push(scf.IfElse(cond, then_body=then_body))
+        # NOTE: create empty else body
+        else_body = ir.Block(stmts=[scf.Yield()])
+        else_body.args.append_from(types.Bool)
+
+        state.current_frame.push(
+            scf.IfElse(cond, then_body=then_body, else_body=else_body)
+        )
 
     def branch_next_if_not_terminated(self, frame: lowering.Frame):
         """Branch to the next block if the current block is not terminated.
@@ -381,6 +387,8 @@ class QASM2(lowering.LoweringABC[ast.Node]):
             QubitType for _ in node.qparams
         ]
 
+        self_name = node.name + "_self"
+
         with state.frame(
             stmts=node.body,
             finalize_next=False,
@@ -390,7 +398,7 @@ class QASM2(lowering.LoweringABC[ast.Node]):
                 types.Generic(
                     ir.Method, types.Tuple.where(tuple(arg_types)), types.NoneType
                 ),
-                name=node.name + "_self",
+                name=self_name,
             )
 
             for arg_type, arg_name in zip(arg_types, arg_names):
@@ -422,7 +430,7 @@ class QASM2(lowering.LoweringABC[ast.Node]):
             py_func=None,
             sym_name=node.name,
             dialects=self.dialects,
-            arg_names=[*node.cparams, *node.qparams],
+            arg_names=[self_name, *node.cparams, *node.qparams],
             code=gate_func,
         )
         state.current_frame.globals[node.name] = mt

bloqade/squin/lowering.py

@@ -15,13 +15,40 @@ class ApplyAnyCallLowering(lowering.FromPythonCall["qubit.ApplyAny"]):
     def lower(
         self, stmt: type["qubit.ApplyAny"], state: lowering.State, node: ast.Call
     ):
-        if len(node.args) < 2:
+        if len(node.args) + len(node.keywords) < 2:
             raise lowering.BuildError(
                 "Apply requires at least one operator and one qubit as arguments!"
             )
-        op, *qubits = node.args
+
+        op, qubits = self.unpack_arguments(node)
+
         op_ssa = state.lower(op).expect_one()
         qubits_lowered = [state.lower(qbit).expect_one() for qbit in qubits]
 
         s = stmt(op_ssa, tuple(qubits_lowered))
         return state.current_frame.push(s)
+
+    def unpack_arguments(self, node: ast.Call) -> tuple[ast.expr, list[ast.expr]]:
+        if len(node.keywords) == 0:
+            op, *qubits = node.args
+            return op, qubits
+
+        kwargs = {kw.arg: kw.value for kw in node.keywords}
+        if len(kwargs) > 2 or "qubits" not in kwargs:
+            raise lowering.BuildError(f"Got unsupported keyword argument {kwargs}")
+
+        qubits = kwargs["qubits"]
+        if len(kwargs) == 1:
+            if len(node.args) != 1:
+                raise lowering.BuildError("Missing operator argument")
+            op = node.args[0]
+        else:
+            try:
+                op = kwargs["operator"]
+            except KeyError:
+                raise lowering.BuildError(f"Got unsupported keyword argument {kwargs}")
+
+        if isinstance(qubits, ast.List):
+            return op, qubits.elts
+
+        return op, [qubits]

bloqade/squin/noise/__init__.py

@@ -4,6 +4,7 @@ from ._wrapper import (
     pp_error as pp_error,
     depolarize as depolarize,
     qubit_loss as qubit_loss,
+    depolarize2 as depolarize2,
     pauli_error as pauli_error,
     two_qubit_pauli_channel as two_qubit_pauli_channel,
     single_qubit_pauli_channel as single_qubit_pauli_channel,

bloqade/squin/noise/_wrapper.py

@@ -20,6 +20,10 @@ def pp_error(op: Op, p: float) -> Op: ...
 def depolarize(p: float) -> Op: ...
 
 
+@wraps(stmts.Depolarize2)
+def depolarize2(p: float) -> Op: ...
+
+
 @wraps(stmts.SingleQubitPauliChannel)
 def single_qubit_pauli_channel(
     params: ilist.IList[float, Literal[3]] | list[float] | tuple[float, float, float],

bloqade/squin/noise/stmts.py

@@ -33,7 +33,16 @@ class PPError(NoiseChannel):
 @statement(dialect=dialect)
 class Depolarize(NoiseChannel):
     """
-    Apply depolarize error to qubit
+    Apply depolarize error to single qubit
+    """
+
+    p: ir.SSAValue = info.argument(types.Float)
+
+
+@statement(dialect=dialect)
+class Depolarize2(NoiseChannel):
+    """
+    Apply correlated depolarize error to two qubit
     """
 
     p: ir.SSAValue = info.argument(types.Float)

bloqade/squin/op/stmts.py

@@ -103,7 +103,7 @@ class U3(PrimitiveOp):
     Note that we use the convention from the QASM2 specification, namely
 
     $$
-    U_3(\theta, \phi, \lambda) = R_z(\phi) R_y(\theta) R_z(\lambda)
+    U_3(\\theta, \\phi, \\lambda) = R_z(\\phi) R_y(\\theta) R_z(\\lambda)
     $$
     """
 
@@ -119,7 +119,7 @@ class PhaseOp(PrimitiveOp):
     A phase operator.
 
     $$
-    PhaseOp(\theta) = e^{i \theta} I
+    \\text{PhaseOp}(\\theta) = e^{i \\theta} I
     $$
     """
 
@@ -133,7 +133,7 @@ class ShiftOp(PrimitiveOp):
     A phase shift operator.
 
     $$
-    Shift(\theta) = \\begin{bmatrix} 1 & 0 \\\\ 0 & e^{i \\theta} \\end{bmatrix}
+    \\text{Shift}(\\theta) = \\begin{bmatrix} 1 & 0 \\\\ 0 & e^{i \\theta} \\end{bmatrix}
     $$
     """
 
@@ -144,7 +144,7 @@ class ShiftOp(PrimitiveOp):
 @statement(dialect=dialect)
 class Reset(PrimitiveOp):
     """
-    Reset operator for qubits or wires.
+    Reset operator for qubits and wires.
     """
 
     traits = frozenset({ir.Pure(), lowering.FromPythonCall(), FixedSites(1)})

bloqade/squin/rewrite/desugar.py

@@ -54,7 +54,9 @@ class ApplyDesugarRule(RewriteRule):
         qubits = node.qubits
 
         if len(qubits) > 1 and all(q.type.is_subseteq(QubitType) for q in qubits):
-            (qubits_ilist_stmt := ilist.New(qubits)).insert_before(node)
+            (qubits_ilist_stmt := ilist.New(qubits)).insert_before(
+                node
+            )  # qubits is just a tuple of SSAValues
             qubits_ilist = qubits_ilist_stmt.result
 
         elif len(qubits) == 1 and qubits[0].type.is_subseteq(QubitType):
@@ -76,34 +78,44 @@ class ApplyDesugarRule(RewriteRule):
                 return RewriteResult()
 
             is_ilist = isinstance(qbit_stmt := qubits[0].stmt, ilist.New)
+
             if is_ilist:
-                if len(qbit_stmt.values) != 1:
-                    return RewriteResult()
 
-                if not isinstance(
-                    qbit_getindex_result := qbit_stmt.values[0], ir.ResultValue
+                if not all(
+                    isinstance(qbit_getindex_result, ir.ResultValue)
+                    for qbit_getindex_result in qbit_stmt.values
                 ):
                     return RewriteResult()
 
-                qbit_getindex = qbit_getindex_result.stmt
+                # Get the parent statement that the qubit came from
+                # (should be a GetItem instance, see logic below)
+                qbit_getindices = [
+                    qbit_getindex_result.stmt
+                    for qbit_getindex_result in qbit_stmt.values
+                ]
             else:
-                qbit_getindex = qubits[0].stmt
+                qbit_getindices = [qubit.stmt for qubit in qubits]
 
-            if not isinstance(qbit_getindex, py.indexing.GetItem):
+            if any(
+                not isinstance(qbit_getindex, py.indexing.GetItem)
+                for qbit_getindex in qbit_getindices
+            ):
                 return RewriteResult()
 
-            if not qbit_getindex.obj.type.is_subseteq(
-                ilist.IListType[QubitType, types.Any]
+            # The GetItem should have been applied on something that returns an IList of Qubits
+            if any(
+                not qbit_getindex.obj.type.is_subseteq(
+                    ilist.IListType[QubitType, types.Any]
+                )
+                for qbit_getindex in qbit_getindices
             ):
                 return RewriteResult()
 
             if is_ilist:
-                values = qbit_stmt.values
+                qubits_ilist = qbit_stmt.result
             else:
-                values = [qubits[0]]
-
-            (qubits_ilist_stmt := ilist.New(values=values)).insert_before(node)
-            qubits_ilist = qubits_ilist_stmt.result
+                (qubits_ilist_stmt := ilist.New(values=[qubits[0]])).insert_before(node)
+                qubits_ilist = qubits_ilist_stmt.result
         else:
             return RewriteResult()
 

bloqade/stim/passes/squin_to_stim.py

@@ -11,7 +11,6 @@ from kirin.rewrite import (
     DeadCodeElimination,
     CommonSubexpressionElimination,
 )
-from kirin.analysis import const
 from kirin.dialects import scf, ilist
 from kirin.ir.method import Method
 from kirin.passes.abc import Pass
@@ -44,11 +43,6 @@ class SquinToStimPass(Pass):
 
     def unsafe_run(self, mt: Method) -> RewriteResult:
 
-        cp_frame, _ = const.Propagate(dialects=mt.dialects).run_analysis(mt)
-        cp_results = cp_frame.entries
-
-        # Assume that address analysis and
-        # wrapping has been done before this pass!
         # inline aggressively:
         rewrite_result = InlinePass(
             dialects=mt.dialects, no_raise=self.no_raise
@@ -117,11 +111,7 @@ class SquinToStimPass(Pass):
         )
 
         # Rewrite the noise statements first.
-        rewrite_result = (
-            Walk(SquinNoiseToStim(cp_results=cp_results))
-            .rewrite(mt.code)
-            .join(rewrite_result)
-        )
+        rewrite_result = Walk(SquinNoiseToStim()).rewrite(mt.code).join(rewrite_result)
 
         # Wrap Rewrite + SquinToStim can happen w/ standard walk
         rewrite_result = Walk(SquinU3ToClifford()).rewrite(mt.code).join(rewrite_result)

bloqade/stim/rewrite/squin_noise.py

@@ -1,14 +1,14 @@
-from typing import Dict, Tuple
+from typing import Tuple
 from dataclasses import dataclass
 
 from kirin.ir import SSAValue, Statement
-from kirin.analysis import const
-from kirin.dialects import py
+from kirin.dialects import py, ilist
 from kirin.rewrite.abc import RewriteRule, RewriteResult
 
-from bloqade.squin import wire, noise as squin_noise, qubit
+from bloqade.squin import op, wire, noise as squin_noise, qubit
 from bloqade.stim.dialects import noise as stim_noise
 from bloqade.stim.rewrite.util import (
+    get_const_value,
     create_wire_passthrough,
     insert_qubit_idx_after_apply,
 )
@@ -17,8 +17,6 @@ from bloqade.stim.rewrite.util import (
 @dataclass
 class SquinNoiseToStim(RewriteRule):
 
-    cp_results: Dict[SSAValue, const.Result]
-
     def rewrite_Statement(self, node: Statement) -> RewriteResult:
         match node:
             case qubit.Apply() | qubit.Broadcast():
@@ -34,17 +32,17 @@ class SquinNoiseToStim(RewriteRule):
         # this is an SSAValue, need it to be the actual operator
         applied_op = stmt.operator.owner
 
+        if isinstance(applied_op, squin_noise.stmts.QubitLoss):
+            return RewriteResult()
+
         if isinstance(applied_op, squin_noise.stmts.NoiseChannel):
 
             qubit_idx_ssas = insert_qubit_idx_after_apply(stmt=stmt)
             if qubit_idx_ssas is None:
                 return RewriteResult()
 
-            stim_stmt = None
-            if isinstance(applied_op, squin_noise.stmts.SingleQubitPauliChannel):
-                stim_stmt = self.rewrite_SingleQubitPauliChannel(stmt, qubit_idx_ssas)
-            elif isinstance(applied_op, squin_noise.stmts.TwoQubitPauliChannel):
-                stim_stmt = self.rewrite_TwoQubitPauliChannel(stmt, qubit_idx_ssas)
+            rewrite_method = getattr(self, f"rewrite_{type(applied_op).__name__}")
+            stim_stmt = rewrite_method(stmt, qubit_idx_ssas)
 
             if isinstance(stmt, (wire.Apply, wire.Broadcast)):
                 create_wire_passthrough(stmt)
@@ -57,6 +55,29 @@ class SquinNoiseToStim(RewriteRule):
             return RewriteResult(has_done_something=True)
         return RewriteResult()
 
+    def rewrite_PauliError(
+        self,
+        stmt: qubit.Apply | qubit.Broadcast | wire.Broadcast | wire.Apply,
+        qubit_idx_ssas: Tuple[SSAValue],
+    ) -> Statement:
+        """Rewrite squin.noise.PauliError to XError, YError, ZError."""
+        squin_channel = stmt.operator.owner
+        assert isinstance(squin_channel, squin_noise.stmts.PauliError)
+        basis = squin_channel.basis.owner
+        assert isinstance(basis, op.stmts.PauliOp)
+        p = get_const_value(float, squin_channel.p)
+
+        p_stmt = py.Constant(p)
+        p_stmt.insert_before(stmt)
+
+        if isinstance(basis, op.stmts.X):
+            stim_stmt = stim_noise.XError(targets=qubit_idx_ssas, p=p_stmt.result)
+        elif isinstance(basis, op.stmts.Y):
+            stim_stmt = stim_noise.YError(targets=qubit_idx_ssas, p=p_stmt.result)
+        else:
+            stim_stmt = stim_noise.ZError(targets=qubit_idx_ssas, p=p_stmt.result)
+        return stim_stmt
+
     def rewrite_SingleQubitPauliChannel(
         self,
         stmt: qubit.Apply | qubit.Broadcast | wire.Broadcast | wire.Apply,
@@ -67,7 +88,7 @@ class SquinNoiseToStim(RewriteRule):
         squin_channel = stmt.operator.owner
         assert isinstance(squin_channel, squin_noise.stmts.SingleQubitPauliChannel)
 
-        params = self.cp_results.get(squin_channel.params).data
+        params = get_const_value(ilist.IList, squin_channel.params)
         new_stmts = [
             p_x := py.Constant(params[0]),
             p_y := py.Constant(params[1]),
@@ -94,7 +115,7 @@ class SquinNoiseToStim(RewriteRule):
         squin_channel = stmt.operator.owner
         assert isinstance(squin_channel, squin_noise.stmts.TwoQubitPauliChannel)
 
-        params = self.cp_results.get(squin_channel.params).data
+        params = get_const_value(ilist.IList, squin_channel.params)
         param_stmts = [py.Constant(p) for p in params]
         for param_stmt in param_stmts:
             param_stmt.insert_before(stmt)
@@ -118,3 +139,37 @@ class SquinNoiseToStim(RewriteRule):
             pzz=param_stmts[14].result,
         )
         return stim_stmt
+
+    def rewrite_Depolarize2(
+        self,
+        stmt: qubit.Apply | qubit.Broadcast | wire.Broadcast | wire.Apply,
+        qubit_idx_ssas: Tuple[SSAValue],
+    ) -> Statement:
+        """Rewrite squin.noise.Depolarize2 to stim.Depolarize2."""
+
+        squin_channel = stmt.operator.owner
+        assert isinstance(squin_channel, squin_noise.stmts.Depolarize2)
+
+        p = get_const_value(float, squin_channel.p)
+        p_stmt = py.Constant(p)
+        p_stmt.insert_before(stmt)
+
+        stim_stmt = stim_noise.Depolarize2(targets=qubit_idx_ssas, p=p_stmt.result)
+        return stim_stmt
+
+    def rewrite_Depolarize(
+        self,
+        stmt: qubit.Apply | qubit.Broadcast | wire.Broadcast | wire.Apply,
+        qubit_idx_ssas: Tuple[SSAValue],
+    ) -> Statement:
+        """Rewrite squin.noise.Depolarize to stim.Depolarize1."""
+
+        squin_channel = stmt.operator.owner
+        assert isinstance(squin_channel, squin_noise.stmts.Depolarize)
+
+        p = get_const_value(float, squin_channel.p)
+        p_stmt = py.Constant(p)
+        p_stmt.insert_before(stmt)
+
+        stim_stmt = stim_noise.Depolarize1(targets=qubit_idx_ssas, p=p_stmt.result)
+        return stim_stmt

bloqade/stim/rewrite/util.py

@@ -1,4 +1,7 @@
-from kirin import ir
+from typing import TypeVar
+
+from kirin import ir, interp
+from kirin.analysis import const
 from kirin.dialects import py
 from kirin.rewrite.abc import RewriteResult
 
@@ -201,3 +204,19 @@ def is_measure_result_used(
     Check if the result of a measure statement is used in the program.
     """
     return bool(stmt.result.uses)
+
+
+T = TypeVar("T")
+
+
+def get_const_value(typ: type[T], value: ir.SSAValue) -> T:
+    if isinstance(hint := value.hints.get("const"), const.Value):
+        data = hint.data
+        if isinstance(data, typ):
+            return hint.data
+        raise interp.InterpreterError(
+            f"Expected constant value <type = {typ}>, got {data}"
+        )
+    raise interp.InterpreterError(
+        f"Expected constant value <type = {typ}>, got {value}"
+    )

{bloqade_circuit-0.5.3.dist-info → bloqade_circuit-0.6.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: bloqade-circuit
-Version: 0.5.3
+Version: 0.6.1
 Summary: The software development toolkit for neutral atom arrays.
 Author-email: Roger-luo <rluo@quera.com>, kaihsin <khwu@quera.com>, weinbe58 <pweinberg@quera.com>, johnzl-777 <jlong@quera.com>
 License-File: LICENSE

{bloqade_circuit-0.5.3.dist-info → bloqade_circuit-0.6.1.dist-info}/RECORD

@@ -37,7 +37,7 @@ bloqade/pyqrack/squin/wire.py,sha256=rqlAeU-r_EHOwJMqHrEAxpZ_rKsvUpwGG7MP4BW75Nw
 bloqade/pyqrack/squin/noise/__init__.py,sha256=uXgRQPOrHNRp3k2ff2HD8mheUEaqxZPKEnwV-s4BiV4,31
 bloqade/pyqrack/squin/noise/native.py,sha256=KF4VGzU5Ps92DeLcIDIMsxQQtQ97z_3KUHqBPPkZFaM,2286
 bloqade/qasm2/__init__.py,sha256=W9dR4Qnvigc7e7Ay7puSJHAIuiQk8vWqY-W64SMu5oU,515
-bloqade/qasm2/_qasm_loading.py,sha256=1EFTt1YDkL8fsoSgSuqD1QcKO4EMFIGuBTX9HCnb6S0,4724
+bloqade/qasm2/_qasm_loading.py,sha256=dSfjlB6Bm1ednfxc9L42dEa48s5q4N5SGQ9Iw21sBZQ,4753
 bloqade/qasm2/_wrappers.py,sha256=4x3fldC4sV2K_XZ0FPZOorQKAbs_7pualListXtak4A,11148
 bloqade/qasm2/glob.py,sha256=dDZW2KYXi9e0JmEbpVJIJvQytVEr86G7eism9ghlABM,579
 bloqade/qasm2/groups.py,sha256=3-BGCVqJm6ZDgQeDapac65OLedoskJMVHX78YBKV7jY,2531
@@ -81,7 +81,7 @@ bloqade/qasm2/emit/impls/noise.py,sha256=-N9PmCbz8MwC6xtd55GOpjDoWMyJPJBMVDWT3G8
 bloqade/qasm2/parse/__init__.py,sha256=01tlLfrR015nAAPWw3i_Cs9IXsShpXMnJMagcJ_Vuik,986
 bloqade/qasm2/parse/ast.py,sha256=a48ssf0D_xaE-27PsyeBD5lBvwN2Dojj-RWIBhy7jJE,2904
 bloqade/qasm2/parse/build.py,sha256=2CibD1ZRX3_aknmhb5XvFQcI2sBOn97DlQHomb9CMEw,10621
-bloqade/qasm2/parse/lowering.py,sha256=aBIbvJWOdG5lauPiDhh1uNQ398814INtoWZrUZtpyEU,20879
+bloqade/qasm2/parse/lowering.py,sha256=bVAdctfa9LnWl0pQZZrHyTFwROpTXUfV7ktJPl6AzHg,21101
 bloqade/qasm2/parse/parser.py,sha256=fxqp65dv8NnXE-Ie7ryLESfSH3Xr0unx1EBQysctiHM,121
 bloqade/qasm2/parse/print.py,sha256=PaigQ5RbcfhOteWvDdQHoKsTE3tcNefpVfh1sp5eZEI,8973
 bloqade/qasm2/parse/qasm2.lark,sha256=IYrBydUoVLn1VCNDPP5uNN5BHDET3fQ2yG11cOy900k,2238
@@ -123,7 +123,7 @@ bloqade/rewrite/rules/split_ifs.py,sha256=Nm4lpEUHZcnCeewIld0tt7UuGO69LiBGl7Uybu
 bloqade/squin/__init__.py,sha256=MH7i5gR9DhTjLMI6vsP_NT7_yoaEowYiQwsYhrrUEX0,454
 bloqade/squin/_typeinfer.py,sha256=bilWfC6whTMwewFCqDgB6vDHZsgXPr3azNOYqqnvtB4,780
 bloqade/squin/groups.py,sha256=RXGJnNZUSXF_f5ljjhZ9At8UhaijayoxFoWvxEsUOWc,1310
-bloqade/squin/lowering.py,sha256=w-GyOKYZHHKCGA2slcgWNS97Q_znQU65PeYxEIkvChM,816
+bloqade/squin/lowering.py,sha256=SR6q-IfV8WHPKT97M7UFu5KoRgAojfDno8Bft1mUSKM,1736
 bloqade/squin/qubit.py,sha256=LgNJsm6qCyP7_O-lZg3YT8IiqzF5W5ff1VwQ79nXN4c,5148
 bloqade/squin/types.py,sha256=T3lkqid4HEWuAK_wRns_p-K5DbLDwlldoyZtVay7A3o,119
 bloqade/squin/wire.py,sha256=GZhF0EHCu7OU70zTV_N83yann-eQnYG_lM2u0QYFoAs,6596
@@ -141,24 +141,24 @@ bloqade/squin/cirq/emit/noise.py,sha256=rESjGC_66s2Y4FwwYda4rY3mYHYjbqLlKE_vnqpZ
 bloqade/squin/cirq/emit/op.py,sha256=z54NP5KqMxffXeFGWamEzvunpTNrxmYuluurk4j2-ps,4000
 bloqade/squin/cirq/emit/qubit.py,sha256=Z2HUsZmJ5F2uHCPGru81ux2usoX77KwtS97_cgeJRMI,1910
 bloqade/squin/cirq/emit/runtime.py,sha256=dH7JSMt2mALPhVFjmZETQzvnTUQ3BFY5poe0YZpM5vQ,6819
-bloqade/squin/noise/__init__.py,sha256=HQl3FE0SZAGEX3qdveapCaMX391lgLvWeWnoE6Z2pYw,332
+bloqade/squin/noise/__init__.py,sha256=xST2qojx6ZApRoiKIXOtifDzSpTZgo-67ja309FFvWw,364
 bloqade/squin/noise/_dialect.py,sha256=2IR98J-lXm5Y3srP9g-FD4JC-qTq2seureM6mKKq1xg,63
-bloqade/squin/noise/_wrapper.py,sha256=b2HymlFi1BTgAZRaXvRnujJsoXkowmxQFPRBgZso82g,750
+bloqade/squin/noise/_wrapper.py,sha256=P8fkr1_2U47PtvqnQqeTI7VzThNIK17cNh2QX6ABh_w,815
 bloqade/squin/noise/rewrite.py,sha256=-IqFfDGnhuaFI-9b6PXjhSuiXFM1C5Qu0ibL5GvZldI,3917
-bloqade/squin/noise/stmts.py,sha256=jktv_7nlfE7PizsPVl-LXcu71eVOcubx1CHGmpUgel8,1689
+bloqade/squin/noise/stmts.py,sha256=F8AsDp2xsLez9vkSamDW985MUCubz3TMRrE0L745GmI,1875
 bloqade/squin/op/__init__.py,sha256=6JOjPdzc6RKO4299ZFz4Jk-wtVyPlGTkakYewHBueXw,841
 bloqade/squin/op/_dialect.py,sha256=66G1IYqmsqUEaCTyUqn2shSHmGYduiTU8GfDXcoMvw4,55
 bloqade/squin/op/_wrapper.py,sha256=bg6MLA6u-qkPpo-sKL3lib1VVtQWKCe6RMZb57w8PJQ,1929
 bloqade/squin/op/number.py,sha256=yujWUqLrOAr8i8OBDsiS5M882wV7t08u345NgNA6TUc,95
 bloqade/squin/op/rewrite.py,sha256=Itxz_hTAPNLyLYeLS0PCVk143J1Z558UR7N9-urbnoU,1327
 bloqade/squin/op/stdlib.py,sha256=4UFK3wKImpums2v5a9OFKuVvz2TLYbYwidg3JYYEi2o,1073
-bloqade/squin/op/stmts.py,sha256=68dASDOK6IFqS4G02A5Wlnc4ThyyIrls4aurK09aqgE,5975
+bloqade/squin/op/stmts.py,sha256=wPfEzial7_onG9zUaFxQ7iz2wrojQ1PIC9--NX-InFc,6001
 bloqade/squin/op/traits.py,sha256=jjsnzWtPtmQK7K3H_D2fvc8XiW1Y3EMBcgeyPax2sjc,1065
 bloqade/squin/op/types.py,sha256=ozUT0Bv9NuUxPjB2vAeqJ9cpdvUaBfP9trB5mybYxgc,663
 bloqade/squin/rewrite/U3_to_clifford.py,sha256=72ECWFrjeaEelR5e6IgNgaJXnTQ6ZXL4ZakZfXQbi8I,5670
 bloqade/squin/rewrite/__init__.py,sha256=cY1GbXQXKvDeXi0YE4PgjORm6iGBPk63xzMCpVjiCgw,349
 bloqade/squin/rewrite/canonicalize.py,sha256=hcfsn4ntsvnJ_cVnoUgcE5Zk9EqvwgixGArLPx4OjP0,2100
-bloqade/squin/rewrite/desugar.py,sha256=ZPZnhBvIpPYOZDCFsyja4-AL5KMGfH0h8kS-AGu6sHY,3526
+bloqade/squin/rewrite/desugar.py,sha256=sZKqnwyoM7_gIEKbXOVE9aQKLrRiSfC8f6Lddada0So,4075
 bloqade/squin/rewrite/remove_dangling_qubits.py,sha256=iTuWV-03YW5wtYbSeKMlnnWjNzDj9SmflyqYPgoYGy8,469
 bloqade/squin/rewrite/wrap_analysis.py,sha256=JUPS4OAYbDHOK0VIrdz1pprSizISUfN7osuoP_P-bIo,2256
 bloqade/stim/__init__.py,sha256=QPZnQRWiiC66pwZ4yRiX2m5doqgPQorQLqc3b7fav2A,935
@@ -200,14 +200,14 @@ bloqade/stim/parse/__init__.py,sha256=l2DjReB2KkgrDjP_4nP6RnoziiOewoSeZfTno1sVYT
 bloqade/stim/parse/lowering.py,sha256=L-IcR_exlxsTVv4SQ0bhzIF4_L82P-GEdK6qRd6B86Y,23723
 bloqade/stim/passes/__init__.py,sha256=SO4OJLaRxq9Lt2AaUxNqiAz-eJnfWsJ6TijUAX64DM4,62
 bloqade/stim/passes/simplify_ifs.py,sha256=45lWKmc6ybt0KjEuE297IouPVJ7NwX_j9q4GNUsIkEc,690
-bloqade/stim/passes/squin_to_stim.py,sha256=jUch2SFE0LxgkTFEEdXRfMaM7hsMtIlXXBLfOmI9mqA,5439
+bloqade/stim/passes/squin_to_stim.py,sha256=pZvSd1rmOnLRfZONctQAb6ORjcoMd1Qjpbhyf-7m-MQ,5125
 bloqade/stim/rewrite/__init__.py,sha256=SHWryh7rZHXOlIz8BMNpj-w7-8VQCRMLt6PfzYFbBfw,434
 bloqade/stim/rewrite/ifs_to_stim.py,sha256=LXkmmTIgi8-Exrz1EGjG8QpdRn6EV3HZM-bZeAaf-cQ,6718
 bloqade/stim/rewrite/py_constant_to_stim.py,sha256=PV8bHvn759-d_0JW4akaGSORW_oxigrlUBhAC51PJAU,1354
 bloqade/stim/rewrite/qubit_to_stim.py,sha256=oiKmi8BlBwXJq-8kGhN1nXgyxJ2UIt_9uouNkU1J8vs,2624
 bloqade/stim/rewrite/squin_measure.py,sha256=zPH2q_ciV2D615GK9l9LWGYmjv3dOju18jKMYERIL7c,4817
-bloqade/stim/rewrite/squin_noise.py,sha256=dNt3C2fHebPEYYqlY2eonqiQr7V6GwIl69mI9E5U61g,4265
-bloqade/stim/rewrite/util.py,sha256=XgQnY7UoGf-f-C9EKQzJUCp3H3aC9xQ2hdil7ygvWSg,6734
+bloqade/stim/rewrite/squin_noise.py,sha256=NafmAiByT4Y5895fZM4Od8arKjsJuW6F5wvRpAFFo70,6240
+bloqade/stim/rewrite/util.py,sha256=xnLDiEj45CBoG3mpG-ywE1Jjh1k_OVP4iI1A75VR6sw,7257
 bloqade/stim/rewrite/wire_identity_elimination.py,sha256=Cscu8yaSslPuW04HvbXx4HJ3JzdUZNUMyFqcvuc4sxY,795
 bloqade/stim/rewrite/wire_to_stim.py,sha256=rZY4Ya4I2b4C3tk84LvJvEi--jyUgza8WmtDtTxCajI,1814
 bloqade/stim/upstream/__init__.py,sha256=Skev79lMyfz2bFoih-Fn_9iXbMArqlKxHSd1agHAtlA,55
@@ -223,7 +223,7 @@ bloqade/visual/animation/runtime/atoms.py,sha256=EmjxhujLiHHPS_HtH_B-7TiqeHgvW5u
 bloqade/visual/animation/runtime/ppoly.py,sha256=JB9IP53N1w6adBJEue6J5Nmj818Id9JvrlgrmiQTU1I,1385
 bloqade/visual/animation/runtime/qpustate.py,sha256=rlmxQeJSvaohXrTpXQL5y-NJcpvfW33xPaYM1slv7cc,4270
 bloqade/visual/animation/runtime/utils.py,sha256=ju9IzOWX-vKwfpqUjlUKu3Ssr_UFPFFq-tzH_Nqyo_c,1212
-bloqade_circuit-0.5.3.dist-info/METADATA,sha256=7_NyHD80Mm98Lxu_kZyKMNTFTcCHyK2vfp-6SncvcII,3849
-bloqade_circuit-0.5.3.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-bloqade_circuit-0.5.3.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
-bloqade_circuit-0.5.3.dist-info/RECORD,,
+bloqade_circuit-0.6.1.dist-info/METADATA,sha256=UulZPuoA-eaFH24p9sAdzlPQ2exC05Yvl7mdxTtuDJ0,3849
+bloqade_circuit-0.6.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+bloqade_circuit-0.6.1.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
+bloqade_circuit-0.6.1.dist-info/RECORD,,