Interface: FormalVerdictDto
@kortexya/reasoninglayer / FormalVerdictDto
Interface: FormalVerdictDto
Section titled “Interface: FormalVerdictDto”Defined in: src/types/scenarios.ts:600
FormalJudge semantic verdict.
Properties
Section titled “Properties”confidence
Section titled “confidence”confidence:
number
Defined in: src/types/scenarios.ts:602
Overall score (0.0 to 1.0).
deterministicFacts
Section titled “deterministicFacts”deterministicFacts:
number
Defined in: src/types/scenarios.ts:604
Number of deterministic facts checked (no LLM).
layerResults
Section titled “layerResults”layerResults:
LayerResultSummaryDto[]
Defined in: src/types/scenarios.ts:606
Per-layer verification summaries.
overallVerdict
Section titled “overallVerdict”overallVerdict:
string
Defined in: src/types/scenarios.ts:608
Overall verdict: “safe”, “unsafe”, “partial”, or “residuated”.
semanticFacts
Section titled “semanticFacts”semanticFacts:
number
Defined in: src/types/scenarios.ts:610
Number of semantic facts checked (with LLM).
totalLlmCalls
Section titled “totalLlmCalls”totalLlmCalls:
number
Defined in: src/types/scenarios.ts:612
Total LLM calls made.