Interface: FormalVerdictDto
@kortexya/reasoninglayer / Scenarios / FormalVerdictDto
Interface: FormalVerdictDto
Defined in: src/types/scenarios.ts:265
FormalJudge semantic verdict.
Properties
confidence
confidence:
number
Defined in: src/types/scenarios.ts:267
Overall score (0.0 to 1.0).
deterministicFacts
deterministicFacts:
number
Defined in: src/types/scenarios.ts:269
Number of deterministic facts checked (no LLM).
layerResults
layerResults:
LayerResultSummaryDto[]
Defined in: src/types/scenarios.ts:271
Per-layer verification summaries.
overallVerdict
overallVerdict:
string
Defined in: src/types/scenarios.ts:273
Overall verdict: “safe”, “unsafe”, “partial”, or “residuated”.
semanticFacts
semanticFacts:
number
Defined in: src/types/scenarios.ts:275
Number of semantic facts checked (with LLM).
totalLlmCalls
totalLlmCalls:
number
Defined in: src/types/scenarios.ts:277
Total LLM calls made.