AutomatedReasoningPolicyAnnotationStatus module-attribute ¶ AutomatedReasoningPolicyAnnotationStatus: TypeAlias = Literal['APPLIED', 'FAILED']