Interface: RuleRefusal
@kortexya/reasoninglayer / RuleRefusal
Interface: RuleRefusal
Section titled “Interface: RuleRefusal”Defined in: src/types/inference.ts:1552
A rule-lifecycle refusal, read out of the error a rule write threw.
Remarks
Section titled “Remarks”Read by ruleRefusalOf. code is the contract; the prose of message is not.
Properties
Section titled “Properties”code:
RuleRefusalCode
Defined in: src/types/inference.ts:1556
The stable code.
derivations?
Section titled “derivations?”
optionalderivations?:number
Defined in: src/types/inference.ts:1566
How many derivations the rule currently proves: derived_facts rows and
resident conclusions, one conclusion held in both counted once
(rule_holds_derivations only).
derivationsAtLeast?
Section titled “derivationsAtLeast?”
optionalderivationsAtLeast?:boolean
Defined in: src/types/inference.ts:1568
true when derivations hit the counting cap and is a lower bound.
message
Section titled “message”message:
string
Defined in: src/types/inference.ts:1558
The refusal in words.
ruleId
Section titled “ruleId”ruleId:
string
Defined in: src/types/inference.ts:1560
The rule the refusal is about.
status
Section titled “status”status:
number
Defined in: src/types/inference.ts:1554
HTTP status of the refusal (400, 403 or 404).