saealib.core.CompilationRule# class saealib.core.CompilationRule(*args, **kwargs)[source]# Bases: Protocol Common metadata and application boundary for compiler rules. Methods __init__ apply Apply this rule to the current rule context. Method Details CompilationRule.__init__(*args, **kwargs)# CompilationRule.apply(context)[source]# Apply this rule to the current rule context. Parameters: context (RuleContext) Return type: VerificationResult | ResolutionResult