Transversal

RewriteLogicalToPhysicalConversion

Bases: RewriteRule

              flowchart TD
              bloqade.lanes.rewrite.transversal.RewriteLogicalToPhysicalConversion[RewriteLogicalToPhysicalConversion]

              

              click bloqade.lanes.rewrite.transversal.RewriteLogicalToPhysicalConversion href "" "bloqade.lanes.rewrite.transversal.RewriteLogicalToPhysicalConversion"
            

Note that this rewrite is to be combined with RewriteGetMeasurementResult.

RewriteStarRz dataclass

RewriteStarRz(
    transform_location: Callable[
        [LocationAddress], Iterable[LocationAddress] | None
    ],
)

Bases: RewriteRule

              flowchart TD
              bloqade.lanes.rewrite.transversal.RewriteStarRz[RewriteStarRz]

              

              click bloqade.lanes.rewrite.transversal.RewriteStarRz href "" "bloqade.lanes.rewrite.transversal.RewriteStarRz"
            

Lower logical STAR rotations to physical local Rz rotations.

v1 supports the k=3 Steane STAR protocol. The logical target angle is stored in SQuIn IR turn units; the STAR formula converts through radians internally and returns the physical STAR angle in turns.