Type Alias: ChaseStepKindDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / ChaseStepKindDto

Type Alias: ChaseStepKindDto

ChaseStepKindDto = "Restricted" | "Oblivious"

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

Step discipline governing when the chase fires a rule.

Remarks

Serialized on the wire as the bare capitalized string (e.g. "Restricted"), not as a tagged object.

• "Restricted" — skip a firing whose head is already satisfied (standard restricted chase; terminates more often). This is the default.
• "Oblivious" — fire on every body match, always minting fresh witnesses.

Example

const stepKind: ChaseStepKindDto = 'Oblivious';