fhelium.experimental.jit.passes.lower_semantic_to_logical

Lower captured semantic operations to role-explicit logical operations.

LowerSemanticToLogicalPass

class View source

LowerSemanticToLogicalPass(name: str = 'lower-semantic-to-logical')

Classify recognized encrypted semantic operations by operand roles.

The pass scans every top-level function block and rewrites only supported single-result local FHElium semantic operations. Other names, unknown roles, regions, successors, and unsupported arities remain structurally intact and are reported as skipped where they match the semantic surface.

Attributes

Name	Type	Default/value
name	str	'lower-semantic-to-logical'

run

method

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

Lower matching operations while preserving extension dialect IR.