fhelium.compile.passes.ckks._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 registered logical arithmetic through visible typed CKKS edges.

Unrealized conversion casts preserve mixed-level result types for consumers that have not been lowered. Locally unresolved patterns remain legal no-ops and leave their original operations unchanged with diagnostics.

Attributes

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

run

method

def run(compilation: 'Compilation') -> PassResult: ...

Lower locally ready registered operations and report blockers.