Values.GuardrailAutomatedReasoningValidFindingSourceIndicates that the claims are definitively true and logically implied by the premises, with no possible alternative interpretations.
type nonrec t = {translation : GuardrailAutomatedReasoningTranslation.t option;The logical translation of the input that this finding validates.
*)claimsTrueScenario : GuardrailAutomatedReasoningScenario.t option;An example scenario demonstrating how the claims are logically true.
*)supportingRules : GuardrailAutomatedReasoningRuleList.t option;The automated reasoning policy rules that support why this result is considered valid.
*)logicWarning : GuardrailAutomatedReasoningLogicWarning.t option;Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `List of
[> `Structure of
(string
* [> `String of AutomatedReasoningRuleIdentifier.t ])
list ]
list
| `Structure of
(string
* [> `Double of GuardrailAutomatedReasoningTranslationConfidence.t
| `Enum of string
| `List of
[> `Structure of
(string
* [> `String of
GuardrailAutomatedReasoningStatementLogicContent.t ])
list ]
list ])
list ])
list ]