AutomatedReasoningCheckSatisfiableFinding ¶

class AutomatedReasoningCheckSatisfiableFinding(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>"""
    claims_true_scenario: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_scenario.AutomatedReasoningCheckScenario"
    ]
    """<p>An example scenario demonstrating how the claims could be logically true.</p>"""
    claims_false_scenario: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_scenario.AutomatedReasoningCheckScenario"
    ]
    """<p>An example scenario demonstrating how the claims could be logically false.</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>"""