Interface: ForwardChainCompletion
@kortexya/reasoninglayer / ForwardChainCompletion
Interface: ForwardChainCompletion
Section titled “Interface: ForwardChainCompletion”Defined in: src/types/inference.ts:679
Completion evidence of one forward-chaining execution.
Remarks
Section titled “Remarks”Only fixpointReached: true means the derived set is closed under the
rules. When ruleMatchLimitReached is true, a rule’s candidate budget
truncated exploration and more conclusions may exist.
Properties
Section titled “Properties”factIdentityIncomplete
Section titled “factIdentityIncomplete”factIdentityIncomplete:
FactIdentityIssue[]
Defined in: src/types/inference.ts:688
Candidates retained because exact duplicate checking was incomplete. Empty when every candidate was checked.
fixpointReached
Section titled “fixpointReached”fixpointReached:
boolean
Defined in: src/types/inference.ts:681
Whether matching and duplicate admission both established a fixpoint.
ruleMatchLimitReached
Section titled “ruleMatchLimitReached”ruleMatchLimitReached:
boolean
Defined in: src/types/inference.ts:683
Whether a rule’s materialized-candidate budget truncated exploration.