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