Interface: LayerResultSummaryDto
@kortexya/reasoninglayer / LayerResultSummaryDto
Interface: LayerResultSummaryDto
Section titled “Interface: LayerResultSummaryDto”Defined in: src/types/scenarios.ts:586
Per-layer verification summary from FormalJudge.
Properties
Section titled “Properties”factsChecked
Section titled “factsChecked”factsChecked:
number
Defined in: src/types/scenarios.ts:588
Number of facts checked.
factsSatisfied
Section titled “factsSatisfied”factsSatisfied:
number
Defined in: src/types/scenarios.ts:590
Number of facts satisfied.
layer:
string
Defined in: src/types/scenarios.ts:592
Layer name (e.g., “L0_format”, “L3_tool_contract”).
score:
number
Defined in: src/types/scenarios.ts:594
Layer satisfaction score (0.0 to 1.0).