Struct AutomatedReasoningPolicyGeneratedTestCase 

#[non_exhaustive]
pub struct AutomatedReasoningPolicyGeneratedTestCase {
    pub query_content: String,
    pub guard_content: String,
    pub expected_aggregated_findings_result: AutomatedReasoningCheckResult,
}

Represents a generated test case, consisting of query content, guard content, and expected results.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

query_content: String

The input query or prompt that generated the content. This provides context for the validation.

guard_content: String

The output content that's validated by the Automated Reasoning policy. This represents the foundation model response that will be checked for accuracy.

expected_aggregated_findings_result: AutomatedReasoningCheckResult

The expected results of the generated test case. Possible values include:

• VALID - The claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false. In other words, there are no alternative answers that are true that contradict the claims.

• INVALID - The claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exists different claims that are consistent with the premises and Automated Reasoning policy.

• SATISFIABLE - The claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

• IMPOSSIBLE - Automated Reasoning can’t make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

Implementations

impl AutomatedReasoningPolicyGeneratedTestCase

pub fn query_content(&self) -> &str

The input query or prompt that generated the content. This provides context for the validation.

pub fn guard_content(&self) -> &str

The output content that's validated by the Automated Reasoning policy. This represents the foundation model response that will be checked for accuracy.

pub fn expected_aggregated_findings_result( &self, ) -> &AutomatedReasoningCheckResult

The expected results of the generated test case. Possible values include:

• VALID - The claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false. In other words, there are no alternative answers that are true that contradict the claims.

• INVALID - The claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exists different claims that are consistent with the premises and Automated Reasoning policy.

• SATISFIABLE - The claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

• IMPOSSIBLE - Automated Reasoning can’t make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

impl AutomatedReasoningPolicyGeneratedTestCase

pub fn builder() -> AutomatedReasoningPolicyGeneratedTestCaseBuilder

Creates a new builder-style object to manufacture AutomatedReasoningPolicyGeneratedTestCase.

Trait Implementations

impl Clone for AutomatedReasoningPolicyGeneratedTestCase

fn clone(&self) -> AutomatedReasoningPolicyGeneratedTestCase

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AutomatedReasoningPolicyGeneratedTestCase

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for AutomatedReasoningPolicyGeneratedTestCase

fn eq(&self, other: &AutomatedReasoningPolicyGeneratedTestCase) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for AutomatedReasoningPolicyGeneratedTestCase