bloqade-circuit 0.6.8__py3-none-any.whl → 0.7.1__py3-none-any.whl

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.8.dist-info → bloqade_circuit-0.7.1.dist-info}/METADATA

@@ -1,11 +1,11 @@
 Metadata-Version: 2.4
 Name: bloqade-circuit
-Version: 0.6.8
+Version: 0.7.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
 Requires-Python: >=3.10
-Requires-Dist: kirin-toolchain~=0.17.0
+Requires-Dist: kirin-toolchain~=0.17.17
 Requires-Dist: numpy>=1.22.0
 Requires-Dist: pandas>=2.2.3
 Requires-Dist: pydantic<2.11.0,>=1.3.0

{bloqade_circuit-0.6.8.dist-info → bloqade_circuit-0.7.1.dist-info}/RECORD

@@ -10,17 +10,17 @@ 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=-zlr1lSzOvcj5l28nnevy1oMYct79DTOdLYyGaT2Yco,11567
@@ -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
@@ -80,7 +80,7 @@ bloqade/qasm2/emit/__init__.py,sha256=Fl9WWMoSyAt3UGAsvCPwnbelhPiPdWDjTpkr8XAJTH
 bloqade/qasm2/emit/base.py,sha256=Ln7gwnstszmrdAe4SmI5_7hnSgaSRgDwSYZbpI4l3Dg,2342
 bloqade/qasm2/emit/gate.py,sha256=zVxVQEf_M8pzfbQ1kMEn3e5PiDQAQvEp6CSsFBHRr0w,2684
 bloqade/qasm2/emit/main.py,sha256=OGfOWnBEmd3vwoQYpx8iRGyqJchd-cLZXmYPhhd2xl8,4325
-bloqade/qasm2/emit/target.py,sha256=V4GXYixErdXnls7yTQy4xX7ygD259yTFhcV0EGgQKrU,6081
+bloqade/qasm2/emit/target.py,sha256=6kUatL9L5jlhl_Cnh_1BKIkou7IWYbi4Gs6s2hCtt2Q,6205
 bloqade/qasm2/emit/impls/__init__.py,sha256=ynptLB_449irP9_9u2h3KXmOqF8YvH_NH08NnVoc7zQ,46
 bloqade/qasm2/emit/impls/noise.py,sha256=-N9PmCbz8MwC6xtd55GOpjDoWMyJPJBMVDWT3G83Ads,2779
 bloqade/qasm2/parse/__init__.py,sha256=01tlLfrR015nAAPWw3i_Cs9IXsShpXMnJMagcJ_Vuik,986
@@ -127,11 +127,11 @@ bloqade/rewrite/rules/inline_getitem_ilist.py,sha256=uIXQRCsr3_GPMciDT4ghI-ezhQm
 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=gWMLghj65yQeAbwy2E0YhRLbzM_DkYBlvXKfsgY26fc,4712
-bloqade/squin/cirq/emit/qubit.py,sha256=IegghRU5E1urd0ddV1X2Fh_aEWAPmUPZLVj9AafN2Cg,1930
-bloqade/squin/cirq/emit/runtime.py,sha256=RA_3C_0qkwQCcztalmfOqJe-c4DZgEqWn2ArNjyycZ4,7170
-bloqade/squin/noise/__init__.py,sha256=xST2qojx6ZApRoiKIXOtifDzSpTZgo-67ja309FFvWw,364
+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=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.8.dist-info/METADATA,sha256=8pPrKcmeLw4CJWHLi6DJuYS-xhwkGMOKZLtzzvxFAa4,3849
-bloqade_circuit-0.6.8.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-bloqade_circuit-0.6.8.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
-bloqade_circuit-0.6.8.dist-info/RECORD,,
+bloqade_circuit-0.7.1.dist-info/METADATA,sha256=z-DYZxBKke2_YBJPwEQKOwMqr9lWSJWG35Dio9e-afk,3850
+bloqade_circuit-0.7.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+bloqade_circuit-0.7.1.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
+bloqade_circuit-0.7.1.dist-info/RECORD,,