Skip to content

AutomatedReasoningCheckValidFinding

Source code in docs_src/capo_bedrock/types/automated_reasoning_check_valid_finding.py 
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
class AutomatedReasoningCheckValidFinding(TypedDict, closed=True):
    translation: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_translation.AutomatedReasoningCheckTranslation"
    ]
    """<p>The logical translation of the input that this finding validates.</p>"""
    claims_true_scenario: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_scenario.AutomatedReasoningCheckScenario"
    ]
    """<p>An example scenario demonstrating how the claims are logically true.</p>"""
    supporting_rules: NotRequired[
        "capo_bedrock.types.automated_reasoning_check_rule_list.AutomatedReasoningCheckRuleList"
    ]
    """<p>The automated reasoning policy rules that support why this result is considered valid.</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>"""

claims_true_scenario instance-attribute 

claims_true_scenario: NotRequired[AutomatedReasoningCheckScenario]

An example scenario demonstrating how the claims are logically true.

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.

supporting_rules instance-attribute 

supporting_rules: NotRequired[AutomatedReasoningCheckRuleList]

The automated reasoning policy rules that support why this result is considered valid.

translation instance-attribute 

translation: NotRequired[AutomatedReasoningCheckTranslation]

The logical translation of the input that this finding validates.