Skip to content

bloqade.gemini.common.validation.move_to

move_to

bloqade.gemini.common.validation.move_to

Eager per-statement validation for ``arrange.MoveTo`` (failures 1-5 from spec §4).

Registered against the lanes validation interpreter key (move.address.validation). The impl checks:

  1. len(qubits) == len(locations)
  2. locations must be compile-time constants (const-foldable)
  3. Every LocationAddress is in-range for the arch spec
  4. No duplicate destination LocationAddress values within one call
  5. No duplicate Qubit SSA values within one call

Attributes

NameTypeDefaultDescription
arrange_dialect—ir.Dialect('gemini.common.arrange')
View bloqade.gemini.common.validation.move_to.MoveToValidation →View bloqade.gemini.common.validation.move_to.MoveToValidation.arch_spec →View bloqade.gemini.common.validation.move_to.MoveToValidation.name →View bloqade.gemini.common.validation.move_to.MoveToValidation.run →