Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: ReasoningVerdict

@kortexya/reasoninglayer

@kortexya/reasoninglayer / ReasoningVerdict

Type Alias: ReasoningVerdict

Section titled “Type Alias: ReasoningVerdict”

ReasoningVerdict = "subsumes" | "does_not_subsume" | "merged" | "entails" | "does_not_entail" | "holds" | "violated"

Defined in: src/types/reasoning.ts:468

The outcome of a logged reasoning operation, as the operation’s own response reported it.

Remarks

Section titled “Remarks”

Each verdict belongs to one operation: subsumes / does_not_subsume (subsumption), merged (merge), entails / does_not_entail (entailment), holds / violated (disentailment).