Interface: TermResponse
@kortexya/reasoninglayer / Terms / TermResponse
Interface: TermResponse
Defined in: src/types/terms.ts:123
Response wrapper for term CRUD operations.
Remarks
Important: Term CRUD endpoints return TermResponse, NOT raw TermDto.
The wrapper includes validation state, witness proofs, and residual witnesses
that indicate whether the term satisfies its sort’s type constraints.
Properties
residualWitnesses?
optionalresidualWitnesses:ResidualWitnessDto[]
Defined in: src/types/terms.ts:131
Residuated witnesses awaiting more information.
state?
optionalstate:TermState
Defined in: src/types/terms.ts:127
Validation state of the term against its sort’s witnesses.
term
term:
TermDto
Defined in: src/types/terms.ts:125
The underlying term data.
witnessProofs?
optionalwitnessProofs:WitnessProofDto[]
Defined in: src/types/terms.ts:129
Proofs of satisfied type witnesses.