Skip to content

AutomatedReasoningCheckImpossibleFinding

Source code in docs_src/capo_bedrock/types/automated_reasoning_check_impossible_finding.py 
13
14
15
16
17
18
19
20
21
22
23
24
25
class AutomatedReasoningCheckImpossibleFinding(TypedDict, closed=True):
    translation: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_translation.AutomatedReasoningCheckTranslation"
    ]
    """<p>The logical translation of the input that this finding evaluates.</p>"""
    contradicting_rules: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_rule_list.AutomatedReasoningCheckRuleList"
    ]
    """<p>The automated reasoning policy rules that contradict the claims and/or premises in the input.</p>"""
    logic_warning: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_logic_warning.AutomatedReasoningCheckLogicWarning"
    ]
    """<p>Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.</p>"""

contradicting_rules instance-attribute 

contradicting_rules: NotRequired[AutomatedReasoningCheckRuleList]

The automated reasoning policy rules that contradict the claims and/or premises in the input.

logic_warning instance-attribute 

logic_warning: NotRequired[AutomatedReasoningCheckLogicWarning]

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

translation instance-attribute 

translation: NotRequired[AutomatedReasoningCheckTranslation]

The logical translation of the input that this finding evaluates.