Skip to content

Interface: ValidatedTermResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Terms / ValidatedTermResponse

Interface: ValidatedTermResponse

Defined in: src/types/terms.ts:192

Response from witness-validated term creation/retrieval.

Contains validation result, the term (if valid), failure reason, and detailed witness satisfaction/residuation information.

Properties

failureReason?

optional failureReason: string | null

Defined in: src/types/terms.ts:198

Reason for failure (if invalid).


term?

optional term: TermDto | null

Defined in: src/types/terms.ts:196

The validated term (if valid).


valid

valid: boolean

Defined in: src/types/terms.ts:194

Whether validation succeeded.


witnessesResiduated

witnessesResiduated: ResiduationDto[]

Defined in: src/types/terms.ts:202

Witnesses that are residuated (waiting for more information).


witnessesSatisfied

witnessesSatisfied: WitnessInstantiationDto[]

Defined in: src/types/terms.ts:200

Witnesses that were satisfied (proof the term is legitimate).