Interface: UnifyTermsResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / ProofEngine / UnifyTermsResponse

Interface: UnifyTermsResponse

Defined in: src/types/proof-engine.ts:337

Response after unifying two terms.

Properties

failureReason?

optional failureReason: string | null

Defined in: src/types/proof-engine.ts:339

If unification failed, the reason.

---

success

success: boolean

Defined in: src/types/proof-engine.ts:341

Whether unification was successful.

---

trailLength

trailLength: number

Defined in: src/types/proof-engine.ts:343

Trail length after unification (for backtracking).

---

unifiedTermId?

optional unifiedTermId: string | null

Defined in: src/types/proof-engine.ts:345

The resulting unified term ID (if successful).