AutomatedReasoningCheckInvalidFinding¶
Structure Class¶
dataclass
¶
Indicates that the claims are logically false and contradictory to the established rules or premises.
Attributes¶
class-attribute
instance-attribute
¶
contradicting_rules: list[AutomatedReasoningCheckRule] | None = None
The automated reasoning policy rules that contradict the claims in the input.
class-attribute
instance-attribute
¶
logic_warning: AutomatedReasoningCheckLogicWarning | None = None
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
class-attribute
instance-attribute
¶
translation: AutomatedReasoningCheckTranslation | None = None
The logical translation of the input that this finding invalidates.