Expand description
Backend-independent instructions executed by the Bloq VM.
The types in this module deliberately contain no Bloq IR node, graph, or
expression types. crate::lower() resolves those into dense identifiers,
executable quantum streams, and structured control flow once up front.
Structs§
- Boundary
Binding - Runtime boundary operator.
inputfaces are declarative source endpoints;outputfaces are measured when their observable closes. - Boundary
Flow - Decode
Request - One decoder query against an already-lowered
Observable. - Frontier
Initializer - Set
recordtoparitybefore a dynamic wait executes its first cycle. A cycle overwrites the same frontier record with its measured value. - Logical
Input - One external logical input in dense VM coordinates.
- Logical
Output - One terminal logical output in dense VM coordinates.
- Memory
Cycle - One dynamically repeatable memory cycle on a seam. Boundary flows carry the last-round evidence needed to compose detectors across extra cycles.
- Moment
- Pauli
Product - Hermitian Pauli product.
negativerepresents the real sign; ±i products are rejected during lowering. - Program
- A lowered executable program.
- Quantum
Alternative - Quantum
Stream - Quantum
Task - A conditional quantum stage is lowered to its finite executable choices.
- Record
Parity - Affine measurement parity.
constantis the expected-sign term. - Source
Schedule - Stable schedule summary for one independently released source.
- Stream
- A set of tasks scheduled together. Dependencies, rather than vector order, define readiness; order only makes inspection deterministic.
- Task
- One schedulable unit.
- Task
Origin - Source geometry and function of one lowered task.
Enums§
- BoolOp
- Boolean bytecode with absolute register operands, or argument slots within a
shared
BoolOp::Callbody. - Clifford1
- Named single-qubit Clifford gates. Paulis and resets have dedicated ops.
- Decode
Timing - Epoch from which decoder latency is measured.
- Instruction
- VM instruction set. Structured bodies refer to the shared task arena.
- Moment
Kind - Physical moment class used by deterministic lane alignment.
- Pauli
- Quantum
Op - Source
Role - Why an independently released task exists.
- Task
Function - Plot-facing function classification derived from compiled IR provenance.
Constants§
- DEFAULT_
DECODER_ LATENCY_ ROUNDS - Default mock streaming-decoder latency, in physical memory rounds.
Type Aliases§
- BitId
- Dense classical bit register.
- QubitId
- Dense simulator qubit.
- Record
Id - Dense measurement record.
- Resource
Id - Runtime readiness signal, normally produced by an accepted RUS region.
- TaskId
- Dense task identifier in
Program::tasks.