Interface: ChaseRunResponse
@kortexya/reasoninglayer / ChaseRunResponse
Interface: ChaseRunResponse
Section titled “Interface: ChaseRunResponse”Defined in: src/types/chase.ts:149
Response from running the chase.
Remarks
Section titled “Remarks”reachedFixpoint distinguishes a terminating chase (true — no rule can
fire any more) from one truncated at ChaseRunRequest.maxSteps (false),
in which case allFacts is a partial, not a saturated, instance.
Example
Section titled “Example”const response = await client.chase.run(request);if (!response.reachedFixpoint) { console.warn('chase truncated after', response.steps, 'firings');}console.log(response.derivedFacts.length, 'new facts');Properties
Section titled “Properties”allFacts
Section titled “allFacts”allFacts:
ChaseAtomDto[]
Defined in: src/types/chase.ts:151
All facts present after the chase (initial ∪ derived).
derivedFacts
Section titled “derivedFacts”derivedFacts:
ChaseAtomDto[]
Defined in: src/types/chase.ts:153
Only the facts that were newly derived (not in the initial seed).
reachedFixpoint
Section titled “reachedFixpoint”reachedFixpoint:
boolean
Defined in: src/types/chase.ts:155
true if the chase reached fixpoint; false if it stopped at maxSteps.
steps:
number
Defined in: src/types/chase.ts:157
Number of successful rule firings.
witnessesCreated
Section titled “witnessesCreated”witnessesCreated:
number
Defined in: src/types/chase.ts:159
Number of fresh existential witnesses minted.