Interface: ChaseRunResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Chase / ChaseRunResponse

Interface: ChaseRunResponse

Defined in: src/types/chase.ts:149

Response from running the chase.

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

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

allFacts

allFacts: ChaseAtomDto[]

Defined in: src/types/chase.ts:151

All facts present after the chase (initial ∪ derived).

---

derivedFacts

derivedFacts: ChaseAtomDto[]

Defined in: src/types/chase.ts:153

Only the facts that were newly derived (not in the initial seed).

---

reachedFixpoint

reachedFixpoint: boolean

Defined in: src/types/chase.ts:155

true if the chase reached fixpoint; false if it stopped at maxSteps.

---

steps

steps: number

Defined in: src/types/chase.ts:157

Number of successful rule firings.

---

witnessesCreated

witnessesCreated: number

Defined in: src/types/chase.ts:159

Number of fresh existential witnesses minted.