Interface: ValidatedUnifyResponse
@kortexya/reasoninglayer / ValidatedUnifyResponse
Interface: ValidatedUnifyResponse
Section titled “Interface: ValidatedUnifyResponse”Defined in: src/types/terms.ts:469
Response from witness-validated unification.
Contains the unified term, GLB sort, processing time, and witness satisfaction/residuation information.
Properties
Section titled “Properties”durationUs
Section titled “durationUs”durationUs:
number
Defined in: src/types/terms.ts:479
Processing time in microseconds.
failureReason?
Section titled “failureReason?”
optionalfailureReason?:string|null
Defined in: src/types/terms.ts:477
Failure reason (if failed).
glbSortId?
Section titled “glbSortId?”
optionalglbSortId?:string|null
Defined in: src/types/terms.ts:475
The GLB sort UUID used.
success
Section titled “success”success:
boolean
Defined in: src/types/terms.ts:471
Whether unification succeeded (including witness validation).
unifiedTerm?
Section titled “unifiedTerm?”
optionalunifiedTerm?:TermDto|null
Defined in: src/types/terms.ts:473
The unified term (if successful).
witnessesFailed
Section titled “witnessesFailed”witnessesFailed:
WitnessFailure[]
Defined in: src/types/terms.ts:489
Witnesses the search refuted: no instantiation can satisfy them, so waiting for more information cannot help. A contradiction is never reported under witnessesResiduated. Empty when none failed.
witnessesResiduated
Section titled “witnessesResiduated”witnessesResiduated:
ResiduationDto[]
Defined in: src/types/terms.ts:483
Witnesses residuated (couldn’t satisfy yet, but may succeed later).
witnessesSatisfied
Section titled “witnessesSatisfied”witnessesSatisfied:
WitnessInstantiationDto[]
Defined in: src/types/terms.ts:481
Witnesses satisfied during unification.