bloqade.lanes.logical_mvp.append_measurements_and_annotations

← Module overview

functionappend_measurements_and_annotations¶source

bloqade.lanes.logical_mvp.append_measurements_and_annotations

Signature

def append_measurements_and_annotations(mt: ir.Method, m2dets: list[list[int]] | None, m2obs: list[list[int]] | None) -> None

Append terminal measurement, detector, and observable IR statements to a squin kernel.

The method is mutated in-place.

Parameters

Name	Type	Description
mt	ir.Method	A squin ``ir.Method`` whose body returns ``None``.
m2dets	list[list[int]] | None	Binary matrix of shape ``(num_total_meas, num_detectors)``. Each column defines a detector by its non-zero row indices.
m2obs	list[list[int]] | None	Binary matrix of shape ``(num_total_meas, num_observables)``. Each column defines an observable by its non-zero row indices.

source