Values.GuardrailAutomatedReasoningImpossibleFindingSourceIndicates that no valid claims can be made due to logical contradictions in the premises or rules.
type nonrec t = {translation : GuardrailAutomatedReasoningTranslation.t option;The logical translation of the input that this finding evaluates.
*)contradictingRules : GuardrailAutomatedReasoningRuleList.t option;The automated reasoning policy rules that contradict the claims and/or premises in the input.
*)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 ]