Interface: SortDto

@kortexya/reasoninglayer / Sorts / SortDto

Interface: SortDto

Defined in: src/types/sorts.ts:121

A sort (type) in the sort hierarchy lattice.

Sorts are types with multiple inheritance forming a lattice structure. They define feature declarations and constraints that their instances (terms) must satisfy.

Properties

boundConstraints?

optional boundConstraints: BoundConstraintDto[]

Defined in: src/types/sorts.ts:133

Inter-feature ordering constraints.

description?

optional description: string | null

Defined in: src/types/sorts.ts:135

Human-readable description.

featureDeclarations?

optional featureDeclarations: FeatureDescriptorDto[]

Defined in: src/types/sorts.ts:131

Feature declarations as an array of descriptors.

id

id: string

Defined in: src/types/sorts.ts:123

Unique identifier (UUID).

name

name: string

Defined in: src/types/sorts.ts:125

Sort name (unique within tenant).

needsReview?

optional needsReview: boolean

Defined in: src/types/sorts.ts:141

Whether this sort needs human review.

origin?

optional origin: SortOriginDto | null

Defined in: src/types/sorts.ts:137

How this sort was created.

parents

parents: string[]

Defined in: src/types/sorts.ts:129

Parent sort IDs (multiple inheritance).

status?

optional status: SortStatusDto | null

Defined in: src/types/sorts.ts:139

Lifecycle status.

tenantId

tenantId: string

Defined in: src/types/sorts.ts:127

Tenant that owns this sort.