bloqade-circuit 0.7.12__py3-none-any.whl → 0.7.13__py3-none-any.whl

bloqade/stim/rewrite/qubit_to_stim.py

@@ -3,7 +3,6 @@ from kirin.rewrite.abc import RewriteRule, RewriteResult
 
 from bloqade.squin import op, noise, qubit
 from bloqade.squin.rewrite import AddressAttribute
-from bloqade.stim.dialects import gate
 from bloqade.stim.rewrite.util import (
     SQUIN_STIM_OP_MAPPING,
     rewrite_Control,
@@ -40,20 +39,24 @@ class SquinQubitToStim(RewriteRule):
 
         assert isinstance(applied_op, op.stmts.Operator)
 
+        # Handle controlled gates with a separate procedure
         if isinstance(applied_op, op.stmts.Control):
             return rewrite_Control(stmt)
 
-        # need to handle Control through separate means
-
         # check if its adjoint, assume its canonicalized so no nested adjoints.
         is_conj = False
         if isinstance(applied_op, op.stmts.Adjoint):
-            if not applied_op.is_unitary:
+            # By default the Adjoint has is_unitary = False, so we need to check
+            # the inner applied operator to make sure its not just unitary,
+            # but something that has an equivalent stim representation with *_DAG format.
+            if isinstance(
+                applied_op.op.owner, (op.stmts.SqrtX, op.stmts.SqrtY, op.stmts.S)
+            ):
+                is_conj = True
+                applied_op = applied_op.op.owner
+            else:
                 return RewriteResult()
 
-            is_conj = True
-            applied_op = applied_op.op.owner
-
         stim_1q_op = SQUIN_STIM_OP_MAPPING.get(type(applied_op))
         if stim_1q_op is None:
             return RewriteResult()
@@ -71,13 +74,14 @@ class SquinQubitToStim(RewriteRule):
         if qubit_idx_ssas is None:
             return RewriteResult()
 
-        if isinstance(stim_1q_op, gate.stmts.Gate):
+        # At this point, we know for certain stim_1q_op must be SQRT_X, SQRT_Y, or S
+        # and has the option to set the dagger attribute. If is_conj is false,
+        # the rewrite would have terminated early so we know anything else has to be
+        # a non 1Q gate operation.
+        if is_conj:
             stim_1q_stmt = stim_1q_op(targets=tuple(qubit_idx_ssas), dagger=is_conj)
         else:
             stim_1q_stmt = stim_1q_op(targets=tuple(qubit_idx_ssas))
         stmt.replace_by(stim_1q_stmt)
 
         return RewriteResult(has_done_something=True)
-
-
-# put rewrites for measure statements in separate rule, then just have to dispatch

{bloqade_circuit-0.7.12.dist-info → bloqade_circuit-0.7.13.dist-info}/METADATA

@@ -1,11 +1,11 @@
 Metadata-Version: 2.4
 Name: bloqade-circuit
-Version: 0.7.12
+Version: 0.7.13
 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.23
+Requires-Dist: kirin-toolchain~=0.17.26
 Requires-Dist: numpy>=1.22.0
 Requires-Dist: pandas>=2.2.3
 Requires-Dist: pydantic<2.11.0,>=1.3.0

{bloqade_circuit-0.7.12.dist-info → bloqade_circuit-0.7.13.dist-info}/RECORD

@@ -224,7 +224,7 @@ bloqade/stim/passes/squin_to_stim.py,sha256=mqCspofBJ60YUU5dl7AdxmctmHygk1yeRr4u
 bloqade/stim/rewrite/__init__.py,sha256=zL5G73JEsXkehN7gCtUgGnmC2BJ3vKihOd1ohVwM68E,480
 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=vdTjzVJyzslp6BbXz5219DjF1pUJF9kvNWwUtQ_MP0g,2627
+bloqade/stim/rewrite/qubit_to_stim.py,sha256=Kf_56IU6v7Fv_2x7Ce5Wv2wE8yfC-UDBG90aA_6nRIw,3112
 bloqade/stim/rewrite/squin_measure.py,sha256=1zuILosGACN7rPYA87MYVwv0M4pPTala1YTe9owbhkw,2519
 bloqade/stim/rewrite/squin_noise.py,sha256=P-54e3lH9L2irsknRQ7u9UkCmUOQZFDra_yHlLlClDk,6379
 bloqade/stim/rewrite/util.py,sha256=o96hA-h03vpwsB0jVe_q0hCmTVINaMaZKn1IYWM6DtM,7751
@@ -243,7 +243,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.7.12.dist-info/METADATA,sha256=vd0O1K5RlBH7OgQCkSl2jUnRjgMT6H-L7hPQP-GHMGI,3725
-bloqade_circuit-0.7.12.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-bloqade_circuit-0.7.12.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
-bloqade_circuit-0.7.12.dist-info/RECORD,,
+bloqade_circuit-0.7.13.dist-info/METADATA,sha256=iAJe2OcOsiezdNzRler8zZvQXrxfT3oh-14PAB5Pz-k,3725
+bloqade_circuit-0.7.13.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+bloqade_circuit-0.7.13.dist-info/licenses/LICENSE,sha256=S5GIJwR6QCixPA9wryYb44ZEek0Nz4rt_zLUqP05UbU,13160
+bloqade_circuit-0.7.13.dist-info/RECORD,,