microquantum.ir.nodes

MicroQuantum IR node types.

Nodes are immutable (frozen dataclasses) so IR passes can share structure freely and memoize comparisons. Each node understands the qubits, classical bits and symbolic parameters it touches — the minimal data required for inspection, validation and transformation.

The IR is intentionally NumPy-free: gate identity is structural (gate name + qubits + parameters), not matrix-based.

Node hierarchy:

IRNode
├── Gate
├── Measurement
├── Reset
├── Barrier
└── ConditionalBlock   (contains a Condition + nested IRNode list)

Module Contents

microquantum.ir.nodes.IRParam

microquantum.ir.nodes.param_to_dict(param)

Serialize an IR parameter to a JSON-safe dictionary.

Parameters:

param (IRParam)

Return type:

dict[str, Any]

microquantum.ir.nodes.param_to_str(param)

Render a parameter for human-readable IR strings.

Parameters:

param (IRParam)

Return type:

str

class microquantum.ir.nodes.Condition

A classical condition guarding an operation or block.

Variables:

• bit – Classical bit index tested.

• value – Value the bit must equal (0 or 1).

• register – Optional classical register name.

bit: int

value: int = 1

register: str | None = None

to_dict()

Serialize to a JSON-safe dictionary.

Return type:

dict[str, Any]

to_json()

Serialize to a JSON string.

Return type:

str

class microquantum.ir.nodes.IRNode

Bases: abc.ABC

Base class for all MicroQuantum IR nodes.

Every concrete node must provide qubits — either as a dataclass field (Gate, Barrier) or as a property (Measurement, Reset, ConditionalBlock). The cbits / parameters result properties declared here give conservative defaults.

property kind: str

Abstractmethod:

Return type:

str

Node kind identifier (e.g. ‘gate’, ‘measure’, ‘reset’, …).

property cbits: tuple[int, ...]

Classical bits this node touches.

Return type:

tuple[int, …]

property parameters: tuple[IRParam, ...]

Symbolic/numeric parameters this node carries.

Return type:

tuple[IRParam, …]

to_dict()

Serialize to a JSON-safe dictionary.

Return type:

dict[str, Any]

to_json()

Serialize to a JSON string.

Return type:

str

class microquantum.ir.nodes.Gate

Bases: IRNode

A quantum gate operation in the IR.

Variables:

• name – Gate name from the SDK gate library (h, x, y, z, s, sdg, t, tdg, rx, ry, rz, cnot, cz, swap) or a custom operator name.

• qubits – Target qubit indices (deterministic order).

• params – Gate parameters. Numeric rotation angles are stored as plain floats; symbolic angles as Parameter/ParameterExpression.

• condition – Optional Condition guarding the gate.

• source – Optional source/debug metadata (e.g. originating circuit gate index) attached by the builder.

name: str

qubits: tuple[int, ...]

params: tuple[IRParam, ...] = ()

condition: Condition | None = None

source: dict[str, Any] | None = None

property kind: str

Node kind identifier (e.g. ‘gate’, ‘measure’, ‘reset’, …).

Return type:

str

property parameters: tuple[IRParam, ...]

Symbolic/numeric parameters this node carries.

Return type:

tuple[IRParam, …]

property cbits: tuple[int, ...]

Classical bits this node touches.

Return type:

tuple[int, …]

display_name()

Upper-case gate name for human-readable output.

Return type:

str

to_dict()

Serialize to a JSON-safe dictionary.

Return type:

dict[str, Any]

class microquantum.ir.nodes.Measurement

Bases: IRNode

A (mid-circuit or terminal) measurement of one qubit.

Variables:

• qubit – Qubit index measured.

• classical – Classical bit index the outcome is stored into, or None when the outcome is only observed.

qubit: int

classical: int | None = None

property kind: str

Node kind identifier (e.g. ‘gate’, ‘measure’, ‘reset’, …).

Return type:

str

property qubits: tuple[int, ...]

Return type:

tuple[int, …]

property cbits: tuple[int, ...]

Classical bits this node touches.

Return type:

tuple[int, …]

to_dict()

Serialize to a JSON-safe dictionary.

Return type:

dict[str, Any]

class microquantum.ir.nodes.Reset

Bases: IRNode

Reset a qubit to the |0> computational basis state.

Prepares the IR for dynamic-circuit and QEC workflows.

qubit: int

property kind: str

Node kind identifier (e.g. ‘gate’, ‘measure’, ‘reset’, …).

Return type:

str

property qubits: tuple[int, ...]

Return type:

tuple[int, …]

to_dict()

Serialize to a JSON-safe dictionary.

Return type:

dict[str, Any]

class microquantum.ir.nodes.Barrier

Bases: IRNode

A synchronization barrier across a set of qubits.

qubits: tuple[int, ...]

property kind: str

Node kind identifier (e.g. ‘gate’, ‘measure’, ‘reset’, …).

Return type:

str

to_dict()

Serialize to a JSON-safe dictionary.

Return type:

dict[str, Any]

class microquantum.ir.nodes.ConditionalBlock

Bases: IRNode

A classically-controlled block of IR operations.

Variables:

• condition – The classical condition that gates the block.

• operations – Ordered operations executed when the condition holds.

condition: Condition

operations: tuple[IRNode, ...] = ()

property kind: str

Node kind identifier (e.g. ‘gate’, ‘measure’, ‘reset’, …).

Return type:

str

property qubits: tuple[int, ...]

Return type:

tuple[int, …]

property cbits: tuple[int, ...]

Classical bits this node touches.

Return type:

tuple[int, …]

to_dict()

Serialize to a JSON-safe dictionary.

Return type:

dict[str, Any]

microquantum.ir.nodes.IRNodeSubtype