Bedrock  >  Structures  >  AutomatedReasoningCheckValidFinding

AutomatedReasoningCheckValidFinding

Structure Class

AutomatedReasoningCheckValidFinding dataclass

Indicates that the claims are definitively true and logically implied by the premises, with no possible alternative interpretations.

Attributes

claims_true_scenario class-attribute instance-attribute

claims_true_scenario: AutomatedReasoningCheckScenario | None = None

An example scenario demonstrating how the claims are logically true.

logic_warning 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.

supporting_rules class-attribute instance-attribute

supporting_rules: list[AutomatedReasoningCheckRule] | None = None

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

translation class-attribute instance-attribute

translation: AutomatedReasoningCheckTranslation | None = None

The logical translation of the input that this finding validates.