fhelium.experimental.jit.passes.validate_executable_graph

Validate the exact operation surface selected for execution.

ValidateExecutableGraphPass

class View source

ValidateExecutableGraphPass(entry: str = 'main', name: str = 'validate-executable-graph')

Apply the selected-entry operation/schema/obligation execution gate.

Attributes

Name	Type	Default/value
entry	str	'main'
name	str	'validate-executable-graph'

run

method

def run(program: Program, workspace: MutableMapping[Any, Any]) -> PassResult: ...

Validate entry and return an unchanged Program report.

validate_executable_graph

function View source

def validate_executable_graph(program: Program, *, entry: str='main', handled_operations: Collection[str]=(), handled_torch_targets: Collection[str]=()) -> None: ...

Validate the exact selected-entry schema consumed by the interpreter.

Validation requires structural module integrity, one selected single-block entry, valid entry input metadata, one final return, cleared scheduling obligations, exact built-in operation arities/roles/attributes, authorized Torch targets, authorized extension operations, and valid captured output metadata. Built-in runtime names are reserved: handled_operations can authorize extension names but cannot replace a built-in schema.

This entry-scoped execution gate complements permissive structural import and module-wide ordinary rewriting passes.