bloqade.stim.rewrite.resolve_set_annotate.ResolveSetAnnotate

← Module overview

classResolveSetAnnotate¶source

bloqade.stim.rewrite.resolve_set_annotate.ResolveSetAnnotate

Bases: RewriteRule

Expand SetObservable / SetDetector statements that survived the partial rewrites' scf.For-owner guard.

Signature

class ResolveSetAnnotate(measure_id_frame: MeasureIDFrame, obs_idx_frame: ObservableIdxFrame)

Public import paths

• from bloqade.stim.rewrite import ResolveSetAnnotate
• from bloqade.stim.passes.squin_to_stim import ResolveSetAnnotate

Runs post-MeasurementIDAnalysis. Reads MeasureIdTuple directly from the analysis frame and computes record indices without going through GetRecIdxFromMeasurement placeholders. Applicable when concrete RawMeasureId (or MeasureIdBool) entries survive in frame — true for scf.For result SSAs consumed outside the loop. Observable indices come from ObservableIdxAnalysis to share a single namespace with SetObservablePartial.

Parameters

Name	Type	Description
measure_id_frame	MeasureIDFrame
obs_idx_frame	ObservableIdxFrame

Attributes

Name	Type	Description
measure_id_frame	MeasureIDFrame
obs_idx_frame	ObservableIdxFrame

methodrewrite_Statement¶source

bloqade.stim.rewrite.resolve_set_annotate.ResolveSetAnnotate.rewrite_Statement

def rewrite_Statement(node: ir.Statement) -> RewriteResult

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source