Interface: LayerResultSummaryDto
@kortexya/reasoninglayer / Scenarios / LayerResultSummaryDto
Interface: LayerResultSummaryDto
Defined in: src/types/scenarios.ts:251
Per-layer verification summary from FormalJudge.
Properties
factsChecked
factsChecked:
number
Defined in: src/types/scenarios.ts:253
Number of facts checked.
factsSatisfied
factsSatisfied:
number
Defined in: src/types/scenarios.ts:255
Number of facts satisfied.
layer
layer:
string
Defined in: src/types/scenarios.ts:257
Layer name (e.g., “L0_format”, “L3_tool_contract”).
score
score:
number
Defined in: src/types/scenarios.ts:259
Layer satisfaction score (0.0 to 1.0).