Interface: RuleValidationResponse
@kortexya/reasoninglayer / RuleValidationResponse
Interface: RuleValidationResponse
Section titled “Interface: RuleValidationResponse”Defined in: src/types/inference.ts:1195
What addRule would do with a rule — answered without writing it.
Properties
Section titled “Properties”ok:
boolean
Defined in: src/types/inference.ts:1197
true exactly when addRule would accept the rule.
refusals
Section titled “refusals”refusals:
RuleIssue[]
Defined in: src/types/inference.ts:1199
Why the write would refuse it — empty when ok.
optionalrule?:PsiTermDto|null
Defined in: src/types/inference.ts:1206
The rule as the write would build it. Its term ids are scratch ids unless rule ids are content-addressed on the engine.
warnings
Section titled “warnings”warnings:
RuleIssue[]
Defined in: src/types/inference.ts:1201
What the write accepts but the program may not mean (NAF safety).