Interface: RuleIssue
@kortexya/reasoninglayer / RuleIssue
Interface: RuleIssue
Section titled “Interface: RuleIssue”Defined in: src/types/inference.ts:1181
One finding of a rule validation.
Properties
Section titled “Properties”kind:
string
Defined in: src/types/inference.ts:1187
refused (the write refuses the rule for this reason), unstratifiable
(it closes a NEW cycle through negation), or negation_local_variable (a
warning: a variable only a NOT mentions, read as “no match for any value”).
message
Section titled “message”message:
string
Defined in: src/types/inference.ts:1189
The finding, as the write (or the analysis) words it.
status?
Section titled “status?”
optionalstatus?:number|null
Defined in: src/types/inference.ts:1191
For refused: the status the write answers with.