Interface: ConfluenceDto
@kortexya/reasoninglayer / ConfluenceDto
Interface: ConfluenceDto
Section titled “Interface: ConfluenceDto”Defined in: src/types/analysis.ts:435
Confluence (order-independence) half of the rule-base certificate.
Properties
Section titled “Properties”conflict?
Section titled “conflict?”
optionalconflict?:ConfluenceConflictDto|null
Defined in: src/types/analysis.ts:457
The counterexample, when the rule base is not order-independent.
orderIndependent
Section titled “orderIndependent”orderIndependent:
boolean
Defined in: src/types/analysis.ts:437
true iff forward reasoning gives the same result whatever order rules fire in.
reason
Section titled “reason”reason:
string
Defined in: src/types/analysis.ts:445
Why: monotone-least-fixpoint, congruence-closure, monotone-chase,
vacuous, semipositive (negation reads only asserted data),
stratified-perfect-model (negation is evaluated stratum by stratum),
branching (disjunctive rules explore several models), or
functional-conflict / negative-cycle (a counterexample was found).
ruleInteractions
Section titled “ruleInteractions”ruleInteractions:
number
Defined in: src/types/analysis.ts:450
Places one rule’s output can trigger another. All are order-safe when
orderIndependent is true.
strata?
Section titled “strata?”
optionalstrata?:number
Defined in: src/types/analysis.ts:455
How many evaluation strata CHAIN runs, lowest first, when negation is
evaluated stratum by stratum. Absent otherwise.