GuardrailAutomatedReasoningSatisfiableFinding dataclass

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

Source code in src/aws_sdk_bedrock_runtime/models.py

@dataclass(kw_only=True)
class GuardrailAutomatedReasoningSatisfiableFinding:
    """Indicates that the claims could be either true or false depending on
    additional assumptions not provided in the input.
    """

    translation: GuardrailAutomatedReasoningTranslation | None = None
    """The logical translation of the input that this finding evaluates."""

    claims_true_scenario: GuardrailAutomatedReasoningScenario | None = None
    """An example scenario demonstrating how the claims could be logically
    true.
    """

    claims_false_scenario: GuardrailAutomatedReasoningScenario | None = None
    """An example scenario demonstrating how the claims could be logically
    false.
    """

    logic_warning: GuardrailAutomatedReasoningLogicWarning | None = None
    """Indication of a logic issue with the translation without needing to
    consider the automated reasoning policy rules.
    """

    def serialize(self, serializer: ShapeSerializer):
        serializer.write_struct(
            _SCHEMA_GUARDRAIL_AUTOMATED_REASONING_SATISFIABLE_FINDING, self
        )

    def serialize_members(self, serializer: ShapeSerializer):
        if self.translation is not None:
            serializer.write_struct(
                _SCHEMA_GUARDRAIL_AUTOMATED_REASONING_SATISFIABLE_FINDING.members[
                    "translation"
                ],
                self.translation,
            )

        if self.claims_true_scenario is not None:
            serializer.write_struct(
                _SCHEMA_GUARDRAIL_AUTOMATED_REASONING_SATISFIABLE_FINDING.members[
                    "claimsTrueScenario"
                ],
                self.claims_true_scenario,
            )

        if self.claims_false_scenario is not None:
            serializer.write_struct(
                _SCHEMA_GUARDRAIL_AUTOMATED_REASONING_SATISFIABLE_FINDING.members[
                    "claimsFalseScenario"
                ],
                self.claims_false_scenario,
            )

        if self.logic_warning is not None:
            serializer.write_struct(
                _SCHEMA_GUARDRAIL_AUTOMATED_REASONING_SATISFIABLE_FINDING.members[
                    "logicWarning"
                ],
                self.logic_warning,
            )

    @classmethod
    def deserialize(cls, deserializer: ShapeDeserializer) -> Self:
        return cls(**cls.deserialize_kwargs(deserializer))

    @classmethod
    def deserialize_kwargs(cls, deserializer: ShapeDeserializer) -> dict[str, Any]:
        kwargs: dict[str, Any] = {}

        def _consumer(schema: Schema, de: ShapeDeserializer) -> None:
            match schema.expect_member_index():
                case 0:
                    kwargs["translation"] = (
                        GuardrailAutomatedReasoningTranslation.deserialize(de)
                    )

                case 1:
                    kwargs["claims_true_scenario"] = (
                        GuardrailAutomatedReasoningScenario.deserialize(de)
                    )

                case 2:
                    kwargs["claims_false_scenario"] = (
                        GuardrailAutomatedReasoningScenario.deserialize(de)
                    )

                case 3:
                    kwargs["logic_warning"] = (
                        GuardrailAutomatedReasoningLogicWarning.deserialize(de)
                    )

                case _:
                    logger.debug("Unexpected member schema: %s", schema)

        deserializer.read_struct(
            _SCHEMA_GUARDRAIL_AUTOMATED_REASONING_SATISFIABLE_FINDING,
            consumer=_consumer,
        )
        return kwargs

Attributes

claims_false_scenario class-attribute instance-attribute

claims_false_scenario: GuardrailAutomatedReasoningScenario | None = None

An example scenario demonstrating how the claims could be logically false.

claims_true_scenario class-attribute instance-attribute

claims_true_scenario: GuardrailAutomatedReasoningScenario | None = None

An example scenario demonstrating how the claims could be logically true.

logic_warning class-attribute instance-attribute

logic_warning: GuardrailAutomatedReasoningLogicWarning | None = None

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

translation class-attribute instance-attribute

translation: GuardrailAutomatedReasoningTranslation | None = None

The logical translation of the input that this finding evaluates.