Type Alias: ChaseStepKindDto
@kortexya/reasoninglayer / Chase / 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';