Interface: PsiTermDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Homoiconic / PsiTermDto

Interface: PsiTermDto

Defined in: src/types/homoiconic.ts:14

A Psi-term in the homoiconic (untagged) representation.

Returned by inference endpoints (backward chaining, forward chaining, etc.). Features use the untagged FeatureValueDto format.

Remarks

This is the homoiconic representation where data, code, and constraints are all Psi-terms. Distinct from import(’./terms.js’).TermDto which uses the tagged import(’./values.js’).ValueDto format.

Properties

display

display: string

Defined in: src/types/homoiconic.ts:24

Human-readable display string.

---

features

features: Record<string, FeatureValueDto>

Defined in: src/types/homoiconic.ts:22

Named features with untagged values.

---

sortId

sortId: string

Defined in: src/types/homoiconic.ts:18

Sort (type) UUID.

---

sortName

sortName: string

Defined in: src/types/homoiconic.ts:20

Sort name (resolved by the server).

---

termId

termId: string

Defined in: src/types/homoiconic.ts:16

Term UUID.