Skip to content

Interface: MaterializationSummaryDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / MaterializationSummaryDto

Defined in: src/types/scenarios.ts:40

Summary of materialization results.

beliefsCreated: number

Defined in: src/types/scenarios.ts:42

Number of belief Psi-terms created.


constraintsCreated: number

Defined in: src/types/scenarios.ts:44

Number of generic constraint terms created.


curriculumStagesCreated: number

Defined in: src/types/scenarios.ts:46

Number of curriculum stage terms created.


goalCreated: boolean

Defined in: src/types/scenarios.ts:48

Whether a goal was created.


groundingsCreated: number

Defined in: src/types/scenarios.ts:50

Number of grounding annotation terms created.


guardConstraintsCreated: number

Defined in: src/types/scenarios.ts:52

Number of guard constraint terms created.


rulesCreated: number

Defined in: src/types/scenarios.ts:54

Number of rules registered for inference.


sortNames: string[]

Defined in: src/types/scenarios.ts:56

Names of sorts created.


sortsCreated: number

Defined in: src/types/scenarios.ts:58

Number of sorts created in the hierarchy.


temporalConstraintsCreated: number

Defined in: src/types/scenarios.ts:60

Number of temporal constraint terms created.


toolRegistrationsCreated: number

Defined in: src/types/scenarios.ts:62

Number of tool registrations created.


warnings: string[]

Defined in: src/types/scenarios.ts:69

Warnings from materialization (for example unknown parent sorts or skipped features). Empty when there were none.


webhookActionsCreated: number

Defined in: src/types/scenarios.ts:64

Number of webhook action terms created.