Interface: UnifyTermsResponse
@kortexya/reasoninglayer / UnifyTermsResponse
Interface: UnifyTermsResponse
Section titled “Interface: UnifyTermsResponse”Defined in: src/types/proof-engine.ts:337
Response after unifying two terms.
Properties
Section titled “Properties”failureReason?
Section titled “failureReason?”
optionalfailureReason?:string|null
Defined in: src/types/proof-engine.ts:339
If unification failed, the reason.
success
Section titled “success”success:
boolean
Defined in: src/types/proof-engine.ts:341
Whether unification was successful.
trailLength
Section titled “trailLength”trailLength:
number
Defined in: src/types/proof-engine.ts:343
Trail length after unification (for backtracking).
unifiedTermId?
Section titled “unifiedTermId?”
optionalunifiedTermId?:string|null
Defined in: src/types/proof-engine.ts:345
The resulting unified term ID (if successful).