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