bloqade-circuit 0.6.7__py3-none-any.whl → 0.7.0__py3-none-any.whl

bloqade/squin/qubit.py

@@ -7,7 +7,7 @@ Depends on:
 - `kirin.dialects.ilist`: provides the `ilist.IListType` type for lists of qubits.
 """
 
-from typing import Any, overload
+from typing import Any, TypeVar, overload
 
 from kirin import ir, types, lowering
 from kirin.decl import info, statement
@@ -18,7 +18,7 @@ from bloqade.types import Qubit, QubitType
 from bloqade.squin.op.types import Op, OpType
 
 from .types import MeasurementResult, MeasurementResultType
-from .lowering import ApplyAnyCallLowering
+from .lowering import ApplyAnyCallLowering, BroadcastCallLowering
 
 dialect = ir.Dialect("squin.qubit")
 
@@ -34,7 +34,7 @@ class New(ir.Statement):
 class Apply(ir.Statement):
     traits = frozenset({lowering.FromPythonCall()})
     operator: ir.SSAValue = info.argument(OpType)
-    qubits: ir.SSAValue = info.argument(ilist.IListType[QubitType])
+    qubits: tuple[ir.SSAValue, ...] = info.argument(QubitType)
 
 
 @statement(dialect=dialect)
@@ -47,9 +47,9 @@ class ApplyAny(ir.Statement):
 
 @statement(dialect=dialect)
 class Broadcast(ir.Statement):
-    traits = frozenset({lowering.FromPythonCall()})
+    traits = frozenset({BroadcastCallLowering()})
     operator: ir.SSAValue = info.argument(OpType)
-    qubits: ir.SSAValue = info.argument(ilist.IListType[QubitType])
+    qubits: tuple[ir.SSAValue, ...] = info.argument(ilist.IListType[QubitType])
 
 
 @statement(dialect=dialect)
@@ -93,26 +93,10 @@ def new(n_qubits: int) -> ilist.IList[Qubit, Any]:
     ...
 
 
-@overload
-def apply(operator: Op, qubits: ilist.IList[Qubit, Any] | list[Qubit]) -> None:
-    """Apply an operator to a list of qubits.
-
-    Note, that when considering atom loss, lost qubits will be skipped.
-
-    Args:
-        operator: The operator to apply.
-        qubits: The list of qubits to apply the operator to. The size of the list
-            must be inferable and match the number of qubits expected by the operator.
-
-    Returns:
-        None
-    """
-    ...
-
-
-@overload
+@wraps(ApplyAny)
 def apply(operator: Op, *qubits: Qubit) -> None:
-    """Apply and operator to any number of qubits.
+    """Apply an operator to qubits. The number of qubit arguments must match the
+    size of the operator.
 
     Note, that when considering atom loss, lost qubits will be skipped.
 
@@ -127,10 +111,6 @@ def apply(operator: Op, *qubits: Qubit) -> None:
     ...
 
 
-@wraps(ApplyAny)
-def apply(operator: Op, *qubits) -> None: ...
-
-
 @overload
 def measure(input: Qubit) -> MeasurementResult: ...
 @overload
@@ -154,23 +134,30 @@ def measure(input: Any) -> Any:
     ...
 
 
+OpSize = TypeVar("OpSize")
+
+
 @wraps(Broadcast)
-def broadcast(operator: Op, qubits: ilist.IList[Qubit, Any] | list[Qubit]) -> None:
-    """Broadcast and apply an operator to a list of qubits. For example, an operator
-    that expects 2 qubits can be applied to a list of 2n qubits, where n is an integer > 0.
+def broadcast(operator: Op, *qubits: ilist.IList[Qubit, OpSize] | list[Qubit]) -> None:
+    """Broadcast and apply an operator to lists of qubits. The number of qubit lists must
+    match the size of the operator and the lists must be of same length. The operator is
+    then applied to the list elements similar to what python's map function does.
 
-    For controlled operators, the list of qubits is interpreted as sets of (controls, targets).
-    For example
+    ## Usage examples
 
-    ```
-    apply(CX, [q0, q1, q2, q3])
-    ```
+    ```python
+    from bloqade import squin
 
-    is equivalent to
+    @squin.kernel
+    def ghz():
+        controls = squin.qubit.new(4)
+        targets = squin.qubit.new(4)
 
-    ```
-    apply(CX, [q0, q1])
-    apply(CX, [q2, q3])
+        h = squin.op.h()
+        squin.qubit.broadcast(h, controls)
+
+        cx = squin.op.cx()
+        squin.qubit.broadcast(cx, controls, targets)
     ```
 
     Args:

bloqade/squin/rewrite/desugar.py

@@ -1,3 +1,5 @@
+from warnings import warn
+
 from kirin import ir, types
 from kirin.dialects import py, ilist
 from kirin.rewrite.abc import RewriteRule, RewriteResult
@@ -43,6 +45,8 @@ class MeasureDesugarRule(RewriteRule):
 class ApplyDesugarRule(RewriteRule):
     """
     Desugar apply operators in the kernel.
+
+    NOTE: this pass can be removed once we decide to disallow the syntax apply(op: Op, qubits: list)
     """
 
     def rewrite_Statement(self, node: ir.Statement) -> RewriteResult:
@@ -53,72 +57,46 @@ class ApplyDesugarRule(RewriteRule):
         op = node.operator
         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 is just a tuple of SSAValues
-            qubits_ilist = qubits_ilist_stmt.result
-
-        elif len(qubits) == 1 and qubits[0].type.is_subseteq(QubitType):
-            (qubits_ilist_stmt := ilist.New(qubits)).insert_before(node)
-            qubits_ilist = qubits_ilist_stmt.result
-
-        elif len(qubits) == 1 and qubits[0].type.is_subseteq(
-            ilist.IListType[QubitType, types.Any]
-        ):
-            qubits_ilist = qubits[0]
-
-        elif len(qubits) == 1:
-            # TODO: remove this elif clause once we're at kirin v0.18
-            # NOTE: this is a temporary workaround for kirin#408
-            # currently type inference fails here in for loops since the loop var
-            # is an IList for some reason
-
-            if not isinstance(qubits[0], ir.ResultValue):
-                return RewriteResult()
-
-            is_ilist = isinstance(qbit_stmt := qubits[0].stmt, ilist.New)
-
-            if is_ilist:
-
-                if not all(
-                    isinstance(qbit_getindex_result, ir.ResultValue)
-                    for qbit_getindex_result in qbit_stmt.values
-                ):
-                    return RewriteResult()
-
-                # 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_getindices = [qubit.stmt for qubit in qubits]
-
-            if any(
-                not isinstance(qbit_getindex, py.indexing.GetItem)
-                for qbit_getindex in qbit_getindices
-            ):
-                return RewriteResult()
-
-            # 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:
-                qubits_ilist = qbit_stmt.result
-            else:
-                (qubits_ilist_stmt := ilist.New(values=[qubits[0]])).insert_before(node)
-                qubits_ilist = qubits_ilist_stmt.result
-        else:
+        if len(qubits) == 0:
+            # NOTE: this is invalid syntax, but we don't error in rewrites
+            return RewriteResult()
+
+        if all(q.type.is_subseteq(QubitType) for q in qubits):
+            # NOTE: this is the syntax we want; the entire rewrite becomes unnecessary
+            # once we disallow the old syntax (just wrap Apply directly)
+            apply_stmt = Apply(op, qubits)
+            node.replace_by(apply_stmt)
+            return RewriteResult(has_done_something=True)
+
+        if len(qubits) > 1:
+            # NOTE: multiple arguments, that aren't qubits, let's bail
             return RewriteResult()
 
-        stmt = Apply(operator=op, qubits=qubits_ilist)
-        node.replace_by(stmt)
+        qubit_type = qubits[0].type
+        is_qubit_list = qubit_type.is_subseteq(ilist.IListType[QubitType, types.Any])
+
+        if not is_qubit_list:
+            return RewriteResult()
+
+        # NOTE: deprecated syntax: we have a single list of qubits here
+        warn(
+            "The syntax `apply(operator: Op, qubits: list[Qubit])` is deprecated and may already lead to errors. Use `apply(operator: Op, *qubits: Qubit)` instead."
+        )
+        if not isinstance(qubit_type.vars[1], types.Literal):
+            # NOTE: unknown size, nothing we can do here, it will probably error down the road somewhere
+            return RewriteResult()
+
+        n = qubit_type.vars[1].data
+        if not isinstance(n, int):
+            # wat?
+            return RewriteResult()
+
+        qubits_rewrite = []
+        for i in range(n):
+            (idx := py.Constant(i)).insert_before(node)
+            (get_item := py.GetItem(qubits[0], idx.result)).insert_before(node)
+            qubits_rewrite.append(get_item.result)
+
+        apply_stmt = Apply(op, tuple(qubits_rewrite))
+        node.replace_by(apply_stmt)
         return RewriteResult(has_done_something=True)

bloqade/stim/passes/squin_to_stim.py

@@ -17,6 +17,7 @@ from kirin.passes.abc import Pass
 from kirin.rewrite.abc import RewriteResult
 from kirin.passes.inline import InlinePass
 from kirin.rewrite.alias import InlineAlias
+from kirin.dialects.scf.unroll import PickIfElse
 
 from bloqade.stim.rewrite import (
     SquinWireToStim,
@@ -34,7 +35,7 @@ from bloqade.squin.rewrite import (
 from bloqade.rewrite.passes import CanonicalizeIList
 from bloqade.analysis.address import AddressAnalysis
 from bloqade.analysis.measure_id import MeasurementIDAnalysis
-from bloqade.squin.rewrite.desugar import ApplyDesugarRule
+from bloqade.squin.rewrite.desugar import ApplyDesugarRule, MeasureDesugarRule
 
 from .simplify_ifs import StimSimplifyIfs
 from ..rewrite.ifs_to_stim import IfToStim
@@ -91,7 +92,11 @@ class SquinToStimPass(Pass):
             Walk(Fixpoint(CFGCompactify())).rewrite(mt.code).join(rewrite_result)
         )
 
-        Walk(InlineAlias()).rewrite(mt.code).join(rewrite_result)
+        rewrite_result = (
+            Walk(Chain(InlineAlias(), PickIfElse()))
+            .rewrite(mt.code)
+            .join(rewrite_result)
+        )
 
         rewrite_result = (
             StimSimplifyIfs(mt.dialects, no_raise=self.no_raise)
@@ -112,8 +117,20 @@ class SquinToStimPass(Pass):
             .join(rewrite_result)
         )
 
-        TypeInfer(dialects=mt.dialects, no_raise=self.no_raise).unsafe_run(mt)
-        Walk(ApplyDesugarRule()).rewrite(mt.code)
+        rewrite_result = TypeInfer(
+            dialects=mt.dialects, no_raise=self.no_raise
+        ).unsafe_run(mt)
+
+        rewrite_result = (
+            Walk(
+                Chain(
+                    ApplyDesugarRule(),
+                    MeasureDesugarRule(),
+                )
+            )
+            .rewrite(mt.code)
+            .join(rewrite_result)
+        )
 
         # after this the program should be in a state where it is analyzable
         # -------------------------------------------------------------------

bloqade/stim/rewrite/ifs_to_stim.py

@@ -170,7 +170,12 @@ class IfToStim(IfElseSimplification, RewriteRule):
         get_record_stmt = GetRecord(id=measure_id_idx_stmt.result)  # noqa: F841
 
         # get address attribute and generate qubit idx statements
-        address_attr = apply_or_broadcast.qubits.hints.get("address")
+        if len(apply_or_broadcast.qubits) != 1:
+            # NOTE: this is actually invalid since we are dealing with single-qubit operators here
+            return RewriteResult()
+
+        address_attr = apply_or_broadcast.qubits[0].hints.get("address")
+
         if address_attr is None:
             return RewriteResult()
         assert isinstance(address_attr, AddressAttribute)

bloqade/stim/rewrite/qubit_to_stim.py

@@ -58,7 +58,7 @@ class SquinQubitToStim(RewriteRule):
         if stim_1q_op is None:
             return RewriteResult()
 
-        address_attr = stmt.qubits.hints.get("address")
+        address_attr = stmt.qubits[0].hints.get("address")
 
         if address_attr is None:
             return RewriteResult()

bloqade/stim/rewrite/squin_noise.py

@@ -19,13 +19,13 @@ class SquinNoiseToStim(RewriteRule):
 
     def rewrite_Statement(self, node: Statement) -> RewriteResult:
         match node:
-            case qubit.Apply() | qubit.Broadcast():
+            case qubit.Apply() | qubit.Broadcast() | wire.Apply() | wire.Broadcast():
                 return self.rewrite_Apply_and_Broadcast(node)
             case _:
                 return RewriteResult()
 
     def rewrite_Apply_and_Broadcast(
-        self, stmt: qubit.Apply | qubit.Broadcast
+        self, stmt: qubit.Apply | qubit.Broadcast | wire.Apply | wire.Broadcast
     ) -> RewriteResult:
         """Rewrite Apply and Broadcast to their stim statements."""
 
@@ -37,20 +37,22 @@ class SquinNoiseToStim(RewriteRule):
 
         if isinstance(applied_op, squin_noise.stmts.NoiseChannel):
 
+            rewrite_method = getattr(self, f"rewrite_{type(applied_op).__name__}", None)
+            # No rewrite method exists and the rewrite should stop
+            if rewrite_method is None:
+                return RewriteResult()
+
             qubit_idx_ssas = insert_qubit_idx_after_apply(stmt=stmt)
             if qubit_idx_ssas is None:
                 return RewriteResult()
 
-            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)
 
-            if stim_stmt is not None:
-                stmt.replace_by(stim_stmt)
-            if len(stmt.operator.owner.result.uses) == 0:
-                stmt.operator.owner.delete()
+            # guaranteed that you have a valid stim_stmt to plug in
+            stmt.replace_by(stim_stmt)
 
             return RewriteResult(has_done_something=True)
         return RewriteResult()

bloqade/stim/rewrite/util.py

@@ -106,9 +106,21 @@ def insert_qubit_idx_after_apply(
     """
     if isinstance(stmt, (qubit.Apply, qubit.Broadcast)):
         qubits = stmt.qubits
-        address_attribute = qubits.hints.get("address")
-        if address_attribute is None:
-            return
+        if len(qubits) == 1:
+            address_attribute = qubits[0].hints.get("address")
+            if address_attribute is None:
+                return
+        else:
+            address_attribute_data = []
+            for qbit in qubits:
+                address_attribute = qbit.hints.get("address")
+                if not isinstance(address_attribute, AddressAttribute):
+                    return
+                address_attribute_data.append(address_attribute.address)
+            address_attribute = AddressAttribute(
+                AddressTuple(data=tuple(address_attribute_data))
+            )
+
         assert isinstance(address_attribute, AddressAttribute)
         return insert_qubit_idx_from_address(
             address=address_attribute, stmt_to_insert_before=stmt

{bloqade_circuit-0.6.7.dist-info → bloqade_circuit-0.7.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: bloqade-circuit
-Version: 0.6.7
+Version: 0.7.0
 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.6.7.dist-info → bloqade_circuit-0.7.0.dist-info}/RECORD

@@ -10,23 +10,23 @@ bloqade/analysis/address/lattice.py,sha256=dUq999feqPoBYkqEXe1hjHOn4TP_bkvKip8fy
 bloqade/analysis/fidelity/__init__.py,sha256=iJkhoHvCMU9bKxQqgxIWKQWvpqNFRgNBI5DK8-4RAB8,59
 bloqade/analysis/fidelity/analysis.py,sha256=G6JEYc8eeWJ9mwsbUAIzXuU2nrnTU4te41c04xE71gM,3218
 bloqade/analysis/measure_id/__init__.py,sha256=r_R_br1e3H7ZzwkeQw4TnDAP4M_bUaRlRb7ZRdowvNI,145
-bloqade/analysis/measure_id/analysis.py,sha256=F22mLWeOLH_QHm25_4DZLLse4ljsiZr7UNThaIy4pzA,2149
-bloqade/analysis/measure_id/impls.py,sha256=ojFSQrrqj-jdcBklaLa3HHojHvw59Z7Dl2iNdfSuP1w,6376
+bloqade/analysis/measure_id/analysis.py,sha256=D8KcV8aL1yrqKhtqgaqMArX-PGXYcFXumEC5tx36plU,1974
+bloqade/analysis/measure_id/impls.py,sha256=q_HKSxptGfOvvGrRcpl42UGoe7eRL2-5dIGiA0tDyrA,6866
 bloqade/analysis/measure_id/lattice.py,sha256=WPrn0R79umCH909BFWsUJ64qx9n_3KYimIW5UaXNuGU,1891
 bloqade/cirq_utils/__init__.py,sha256=1DRDCF3PpgJCOr0z7iULdrn3dqm7GLpRGs9AlqE7XA8,280
 bloqade/cirq_utils/lineprog.py,sha256=JosrhfeOHI9FycUT_sYFj8TBzLpo97TL8zK-Ap2U4eQ,11021
 bloqade/cirq_utils/parallelize.py,sha256=E2MsPm61Dkm3n0v4EFPJFGOc4B_Aw01yfhu-ViOKGiA,13812
-bloqade/cirq_utils/noise/__init__.py,sha256=Z7d293ibzsNZyfS0tbL2JrdoypsDm20KE4zwlY6QnVA,559
-bloqade/cirq_utils/noise/_two_zone_utils.py,sha256=3atgRbCMXZh0hu3zXAk7dThe4vljigKg0Z1bKPGM0s4,18293
+bloqade/cirq_utils/noise/__init__.py,sha256=hUBi53U0wE4u3AqGh5cNdgdCspt3O-Vw-SR68cfBZYc,421
+bloqade/cirq_utils/noise/_two_zone_utils.py,sha256=iq4nwdJQITFlGB61wfrV7vyPA2194p-i_nv36powZ90,17883
 bloqade/cirq_utils/noise/conflict_graph.py,sha256=ZUwPWTknrb6SgtZUVPeICn3YA-nUeWQJDuKKX5jL9tE,7179
-bloqade/cirq_utils/noise/model.py,sha256=06Y_BLChOA-PhhAJcWLSgLVAAJoNjOrAujL1YCwcXA0,20590
-bloqade/cirq_utils/noise/transform.py,sha256=tvDt4WMLM8dKPME51y0_peSZk2-jKmjq0urOxm0lWuQ,2309
+bloqade/cirq_utils/noise/model.py,sha256=8qovvB50oHzDszXkuMAs2I9BQV3eS1IU2D7Wux_dsGE,18459
+bloqade/cirq_utils/noise/transform.py,sha256=pauFnOKbk2QjxeyXEV_x2zyRGypr5wiQ6ySirU7C2zg,2278
 bloqade/pyqrack/__init__.py,sha256=lonTS-luJkTVujCCtgdZRC12V7FQdoFcozAI-byXwN0,810
 bloqade/pyqrack/base.py,sha256=g0GRlEgyJ_P8z-lR8RK2CAuRTj6KPfglKX0iwrgg4DM,4408
-bloqade/pyqrack/device.py,sha256=40vduanEgA26GAW3buHoRpyqPA0xUt2tONY3w5JeH5s,7524
+bloqade/pyqrack/device.py,sha256=-zlr1lSzOvcj5l28nnevy1oMYct79DTOdLYyGaT2Yco,11567
 bloqade/pyqrack/reg.py,sha256=uTL07CT1R0xUsInLmwU9YuuNdV6lV0lCs1zhdUz1qIs,1660
 bloqade/pyqrack/target.py,sha256=c78VtLWAiDNp_0sXwvVzhaEoeFsr1fUVsupxWuo6p3s,3661
-bloqade/pyqrack/task.py,sha256=ydVso4wZQ1iIzgSBG0lDxClPTLcsZfkbnZk_1qFV95o,991
+bloqade/pyqrack/task.py,sha256=hzMueE03C-MR_-ti_5Z0lqFZcHDVCxmQHFaX9tPNm2o,1522
 bloqade/pyqrack/noise/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 bloqade/pyqrack/noise/native.py,sha256=BmRlRzqCzvSgfSsDlIjuB8L0gx4uaPqmPyfJ5-Ole6M,2751
 bloqade/pyqrack/qasm2/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -36,8 +36,8 @@ bloqade/pyqrack/qasm2/parallel.py,sha256=ITetuXOH2KUDpDOBuFnJoz2DhduvyBC72cOAOOi
 bloqade/pyqrack/qasm2/uop.py,sha256=bLZONsEK15ymFGIQwy7muQv-TX0mvLrECuMp1Y3XTfA,8612
 bloqade/pyqrack/squin/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 bloqade/pyqrack/squin/op.py,sha256=m9QiQgQnKy1tYvrieU6MjXf_b9i2fovj4r2novcQwIc,5535
-bloqade/pyqrack/squin/qubit.py,sha256=svQMbsLxv3yjiFMSRc4C7QGllzjtmlSWOsMY1mjTI8Q,2223
-bloqade/pyqrack/squin/runtime.py,sha256=BM_xRoTpsRipL_Vt-N5UO-x2Nsgiafw3nwiqiuOeH68,15401
+bloqade/pyqrack/squin/qubit.py,sha256=IXoAN_wOAzmKsKMKUakTQd_TbeJrFrtvH5Fd9SlQVLo,2277
+bloqade/pyqrack/squin/runtime.py,sha256=3iVCN3XMUL8uk-bm0y4HSaVU7i5xZsNm5sY285rUKQE,15583
 bloqade/pyqrack/squin/wire.py,sha256=rqlAeU-r_EHOwJMqHrEAxpZ_rKsvUpwGG7MP4BW75Nw,1658
 bloqade/pyqrack/squin/noise/__init__.py,sha256=uXgRQPOrHNRp3k2ff2HD8mheUEaqxZPKEnwV-s4BiV4,31
 bloqade/pyqrack/squin/noise/native.py,sha256=KF4VGzU5Ps92DeLcIDIMsxQQtQ97z_3KUHqBPPkZFaM,2286
@@ -124,14 +124,14 @@ bloqade/rewrite/passes/canonicalize_ilist.py,sha256=LmX09aPjagT6NzU-M87V8kZaCGkY
 bloqade/rewrite/rules/__init__.py,sha256=3e1Z5T3INqNtP6OU0Vivu_SdMOR_2KDixeA0Yjoddgg,82
 bloqade/rewrite/rules/flatten_ilist.py,sha256=QoIxMaBXSlatpWzi5s_MAPnV3bV3GeoWc31RBw0WQ3s,1465
 bloqade/rewrite/rules/inline_getitem_ilist.py,sha256=uIXQRCsr3_GPMciDT4ghI-ezhQmkDcGcC6pguABPUVw,875
-bloqade/rewrite/rules/split_ifs.py,sha256=Nm4lpEUHZcnCeewIld0tt7UuGO69LiBGl7Uybuwissw,2119
+bloqade/rewrite/rules/split_ifs.py,sha256=KhwvUx-oBrBO2F1j-J5kwNbdnrnEZcZtJflzyQm-UOI,2613
 bloqade/squin/__init__.py,sha256=b7ZD69ql9GriIPxN6JhWxANJVzuIJh_r-gC24wsW1mM,621
 bloqade/squin/_typeinfer.py,sha256=bilWfC6whTMwewFCqDgB6vDHZsgXPr3azNOYqqnvtB4,780
-bloqade/squin/gate.py,sha256=tCnjfrSVsXHX7VxkEulZ2SQS5ydtmON8QlcGibM6c2I,4028
+bloqade/squin/gate.py,sha256=NEmdr6ZTdaVDc4onB0ref-r-4T9fxyYosiX0DVuQJOo,4162
 bloqade/squin/groups.py,sha256=RXGJnNZUSXF_f5ljjhZ9At8UhaijayoxFoWvxEsUOWc,1310
-bloqade/squin/lowering.py,sha256=SR6q-IfV8WHPKT97M7UFu5KoRgAojfDno8Bft1mUSKM,1736
+bloqade/squin/lowering.py,sha256=bfrPjx6t2mnd1qoBshF_RW-FXMWg3TOUA6XKUeONyig,2560
 bloqade/squin/parallel.py,sha256=X6Ps9kQIgnFMlZO14y2ntdxvivqbIP28PAWF8KmxByM,5172
-bloqade/squin/qubit.py,sha256=LgNJsm6qCyP7_O-lZg3YT8IiqzF5W5ff1VwQ79nXN4c,5148
+bloqade/squin/qubit.py,sha256=cRy2a2jFLlor4KPHWk_05fMqr8Gmj5ixk624dLdWKmY,4911
 bloqade/squin/types.py,sha256=T3lkqid4HEWuAK_wRns_p-K5DbLDwlldoyZtVay7A3o,119
 bloqade/squin/wire.py,sha256=GZhF0EHCu7OU70zTV_N83yann-eQnYG_lM2u0QYFoAs,6596
 bloqade/squin/analysis/__init__.py,sha256=DvnFHmEqMxRG92jVT3ZWwAQDTb6DC4fZDTV8ZSLZgP0,43
@@ -142,30 +142,30 @@ bloqade/squin/analysis/nsites/analysis.py,sha256=rIe1RU1MZRItcE2aB8DYahLrv73HfD3
 bloqade/squin/analysis/nsites/impls.py,sha256=wSNWjNmgwCP35FgmreyLKmRYedxlebWi7LhsEq9jPs4,3097
 bloqade/squin/analysis/nsites/lattice.py,sha256=ruh0808SHtj3ecuT-C3AZTsLY2j3DRhtezGiTZvcuVs,942
 bloqade/squin/cirq/__init__.py,sha256=7OYYboSl5lPwdWOKk4AJgm1s1lBX_WAstVqPfaynSv8,10156
-bloqade/squin/cirq/lowering.py,sha256=F0_skv9lORxUFrhbNaN2ZQpqGnhPyslHt5E92uta5BQ,17959
+bloqade/squin/cirq/lowering.py,sha256=trrcBDQQzy2r3JVKb2x6i2BdzBMYkjQNBzH_Va6JOu0,17789
 bloqade/squin/cirq/emit/emit_circuit.py,sha256=JVFXiaSB7A9kamRwCjLqs03Sel4PVCBT-6kRNRWX-jo,4393
 bloqade/squin/cirq/emit/noise.py,sha256=rESjGC_66s2Y4FwwYda4rY3mYHYjbqLlKE_vnqpZDYI,1534
-bloqade/squin/cirq/emit/op.py,sha256=z54NP5KqMxffXeFGWamEzvunpTNrxmYuluurk4j2-ps,4000
-bloqade/squin/cirq/emit/qubit.py,sha256=IegghRU5E1urd0ddV1X2Fh_aEWAPmUPZLVj9AafN2Cg,1930
+bloqade/squin/cirq/emit/op.py,sha256=u1FoOlbz7NNXPlU-hMbnX_yRB5suKbsEm2jF3Ts4f68,5764
+bloqade/squin/cirq/emit/qubit.py,sha256=FManFeDyi1l4Sd07IeD7Lb4xR-7jy5Nwe-quQHI1yPw,1984
 bloqade/squin/cirq/emit/runtime.py,sha256=dH7JSMt2mALPhVFjmZETQzvnTUQ3BFY5poe0YZpM5vQ,6819
-bloqade/squin/noise/__init__.py,sha256=xST2qojx6ZApRoiKIXOtifDzSpTZgo-67ja309FFvWw,364
+bloqade/squin/noise/__init__.py,sha256=JFJ4kmEeWt6bJ2xx3yA5ek-NEbj8ilYWf6mepgbJLOo,338
 bloqade/squin/noise/_dialect.py,sha256=2IR98J-lXm5Y3srP9g-FD4JC-qTq2seureM6mKKq1xg,63
-bloqade/squin/noise/_wrapper.py,sha256=P8fkr1_2U47PtvqnQqeTI7VzThNIK17cNh2QX6ABh_w,815
-bloqade/squin/noise/rewrite.py,sha256=8v8AAi2G-ZatZ6dTpqc88hCBMMoWz2TK3nwkLkwk7Fo,5099
-bloqade/squin/noise/stmts.py,sha256=F8AsDp2xsLez9vkSamDW985MUCubz3TMRrE0L745GmI,1875
+bloqade/squin/noise/_wrapper.py,sha256=yGiL_x5INGA_86A04Ra6aF-i1eYTk2JhvpJWIPSdUZ4,783
+bloqade/squin/noise/rewrite.py,sha256=_6kGvxmbiMtL7MDHhLzgQnkq4SRthYA-cSKh_MBbC_U,4656
+bloqade/squin/noise/stmts.py,sha256=-_BX18aJTALYehDMczehYd_cNwsixzuZbOXh5ZG8lFw,1686
 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/_wrapper.py,sha256=XrEImj0M78u6imXq7SkckmWemziL7cM98FtoMj03l2M,1955
 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=wPfEzial7_onG9zUaFxQ7iz2wrojQ1PIC9--NX-InFc,6001
+bloqade/squin/op/stmts.py,sha256=DEV-hm9vNY2zMlnOZtWEOSQo-ByVFfW5EepCK0_tF1Y,6864
 bloqade/squin/op/traits.py,sha256=jjsnzWtPtmQK7K3H_D2fvc8XiW1Y3EMBcgeyPax2sjc,1065
-bloqade/squin/op/types.py,sha256=ozUT0Bv9NuUxPjB2vAeqJ9cpdvUaBfP9trB5mybYxgc,663
+bloqade/squin/op/types.py,sha256=xCFdaYZags7YvANUIlsv7VOIoj8iB1sGISe7NjDEH_o,2283
 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=sZKqnwyoM7_gIEKbXOVE9aQKLrRiSfC8f6Lddada0So,4075
+bloqade/squin/rewrite/desugar.py,sha256=nl7yvUKgruIU0Ksb184a6r6ebeQ93HsEAG6hrPOmpWk,3296
 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
@@ -207,14 +207,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=aysjOZyn0IrJQCQBEqiz8pwZ5u5t2s9TmEzA9Y9KG9w,167
 bloqade/stim/passes/simplify_ifs.py,sha256=zicqggWu_yzfrf2a7uUCt-ZenbYSEnFsyGxDfKw72qQ,1084
-bloqade/stim/passes/squin_to_stim.py,sha256=6TpnpvA6JA3dQyH6mxNpGn9-__sPlSmyUBIdThn9xVg,6018
+bloqade/stim/passes/squin_to_stim.py,sha256=cDn4W9TEsCZQT5YhEMEId87LtLv4iqwaurwgTqtE1qQ,6421
 bloqade/stim/rewrite/__init__.py,sha256=zL5G73JEsXkehN7gCtUgGnmC2BJ3vKihOd1ohVwM68E,480
-bloqade/stim/rewrite/ifs_to_stim.py,sha256=jmCb6AwNqGXWuLR8BkAYIVvAlOptQzVPHWv52_v-Vsw,6755
+bloqade/stim/rewrite/ifs_to_stim.py,sha256=A3SndoGinZHLul17zXWyQrK_1Hy5I4qvuOskLIeDRMU,6942
 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/qubit_to_stim.py,sha256=vdTjzVJyzslp6BbXz5219DjF1pUJF9kvNWwUtQ_MP0g,2627
 bloqade/stim/rewrite/squin_measure.py,sha256=1zuILosGACN7rPYA87MYVwv0M4pPTala1YTe9owbhkw,2519
-bloqade/stim/rewrite/squin_noise.py,sha256=NafmAiByT4Y5895fZM4Od8arKjsJuW6F5wvRpAFFo70,6240
-bloqade/stim/rewrite/util.py,sha256=xnLDiEj45CBoG3mpG-ywE1Jjh1k_OVP4iI1A75VR6sw,7257
+bloqade/stim/rewrite/squin_noise.py,sha256=P-54e3lH9L2irsknRQ7u9UkCmUOQZFDra_yHlLlClDk,6379
+bloqade/stim/rewrite/util.py,sha256=o96hA-h03vpwsB0jVe_q0hCmTVINaMaZKn1IYWM6DtM,7751
 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
@@ -230,7 +230,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.6.7.dist-info/METADATA,sha256=n1lFzCB0O9SdZuCP9tn57cphpaOC57lIqQ75sXMnTIU,3849
-bloqade_circuit-0.6.7.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-bloqade_circuit-0.6.7.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
-bloqade_circuit-0.6.7.dist-info/RECORD,,
+bloqade_circuit-0.7.0.dist-info/METADATA,sha256=nH4KSeEfISkRsNt7OaAZgsdnGq_Fpt73ad7eIoHwt8E,3849
+bloqade_circuit-0.7.0.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+bloqade_circuit-0.7.0.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
+bloqade_circuit-0.7.0.dist-info/RECORD,,