Interface: CoherenceDerivationStep
@kortexya/reasoninglayer / CoherenceDerivationStep
Interface: CoherenceDerivationStep
Section titled “Interface: CoherenceDerivationStep”Defined in: src/types/coherence.ts:247
One step of a derivation proof.
Properties
Section titled “Properties”antecedentClaims
Section titled “antecedentClaims”antecedentClaims:
number[]
Defined in: src/types/coherence.ts:256
Antecedents of this step that are claims, as claim indices.
derivedFactLabel
Section titled “derivedFactLabel”derivedFactLabel:
string
Defined in: src/types/coherence.ts:254
The fact this step derived, rendered as an OSFQL pattern (for example
incoherence(motif: "two colours")), not a bare term id.
iteration
Section titled “iteration”iteration:
number
Defined in: src/types/coherence.ts:258
Forward-chaining iteration of this step.
ruleCertainty
Section titled “ruleCertainty”ruleCertainty:
number
Defined in: src/types/coherence.ts:260
The firing rule’s certainty (1 when the rule declares none).
ruleTermId
Section titled “ruleTermId”ruleTermId:
string
Defined in: src/types/coherence.ts:249
Term id of the homoiconic rule that fired.