Interface: RuleProofStep
@kortexya/reasoninglayer / RuleProofStep
Interface: RuleProofStep
Section titled “Interface: RuleProofStep”Defined in: src/types/document-check.ts:65
One step of a KB rule’s proof trace, as carried by a rule_violation
CheckFinding.
Remarks
Section titled “Remarks”The trace is a flat, ordered list of these steps, from the first reasoning step to the verdict.
Properties
Section titled “Properties”confidence
Section titled “confidence”confidence:
number
Defined in: src/types/document-check.ts:71
Confidence at this step (0.0-1.0).
description
Section titled “description”description:
string
Defined in: src/types/document-check.ts:69
Human-readable description of the step.
ruleUsed?
Section titled “ruleUsed?”
optionalruleUsed?:string|null
Defined in: src/types/document-check.ts:73
The rule or fact the step used, when it used one.
stepType
Section titled “stepType”stepType:
string
Defined in: src/types/document-check.ts:67
Step type (e.g. backward_chain, unification, fact_match).