bloqade.gemini.logical.validation.clifford.analysis.GeminiLogicalValidation

← Module overview

classGeminiLogicalValidation¶source

bloqade.gemini.logical.validation.clifford.analysis.GeminiLogicalValidation

Bases: ValidationPass

Validates a logical gemini program.

class GeminiLogicalValidation

Public import paths

• from bloqade.gemini.compile.task import GeminiLogicalValidation
• from bloqade.lanes.transform.native_to_place import GeminiLogicalValidation
• from bloqade.gemini.device.logical.device import GeminiLogicalValidation
• from bloqade.gemini.logical.validation.clifford import GeminiLogicalValidation

Unresolved calls are reported by delegating to NoStaticCallValidation rather than by an impl in impls.py. A func.Invoke impl only sees the statements this Forward analysis reaches, and the scf.For impl returns bottom without descending into the loop body — so a call nested in a loop was never visited. The delegate is a syntactic walk() and sees all of them.

Delegating rather than composing the two passes side by side in every suite keeps this pass a drop-in for callers who assemble their own ValidationSuite, and stops a single unresolved call being counted twice.

methodname¶source

bloqade.gemini.logical.validation.clifford.analysis.GeminiLogicalValidation.name

def name() -> str

Returns

str

source

methodrun¶source

bloqade.gemini.logical.validation.clifford.analysis.GeminiLogicalValidation.run

def run(method: ir.Method) -> tuple[Any, list[ir.ValidationError]]

Parameters

Name	Type	Description
method	ir.Method

Returns

tuple[Any, list[ir.ValidationError]]

source