GuardrailAutomatedReasoningValidFinding

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

Types

An example scenario demonstrating how the claims are logically true.

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

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

The logical translation of the input that this finding validates.

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun toString(): String