fhelium.experimental.jit.passes.lower_logical_to_ckks

Lower role-explicit logical operations to explicit CKKS primitives.

LowerLogicalToCkksPass

class View source

LowerLogicalToCkksPass(name: str = 'lower-logical-to-ckks')

Lower logical operations with local CKKS prerequisites.

Recognized operations are rewritten across all top-level function blocks. Locally unresolved patterns are retained and counted as skipped, allowing later specialized passes to supply policy or extension handling.

Attributes

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

run

method

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

Lower locally ready operations and report retained patterns.