Interface: ValidatedUnifyResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Terms / ValidatedUnifyResponse

Interface: ValidatedUnifyResponse

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

Response from witness-validated unification.

Contains the unified term, GLB sort, processing time, and witness satisfaction/residuation information.

Properties

durationUs

durationUs: number

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

Processing time in microseconds.

---

failureReason?

optional failureReason: string | null

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

Failure reason (if failed).

---

glbSortId?

optional glbSortId: string | null

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

The GLB sort UUID used.

---

success

success: boolean

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

Whether unification succeeded (including witness validation).

---

unifiedTerm?

optional unifiedTerm: TermDto | null

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

The unified term (if successful).

---

witnessesResiduated

witnessesResiduated: ResiduationDto[]

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

Witnesses residuated (couldn’t satisfy yet, but may succeed later).

---

witnessesSatisfied

witnessesSatisfied: WitnessInstantiationDto[]

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

Witnesses satisfied during unification.