Interface: CoherenceDerivationEdge
@kortexya/reasoninglayer / CoherenceDerivationEdge
Interface: CoherenceDerivationEdge
Section titled “Interface: CoherenceDerivationEdge”Defined in: src/types/coherence.ts:267
A directed derivation sources ⊢ target, or sources ⊢ conflict when
target is absent, with its full proof.
Properties
Section titled “Properties”conclusionRelation?
Section titled “conclusionRelation?”
optionalconclusionRelation?:CoherenceDerivedMatch
Defined in: src/types/coherence.ts:275
Relation between the derived fact and the target claim.
degree
Section titled “degree”degree:
number
Defined in: src/types/coherence.ts:277
Gödel degree: the minimum rule certainty along the proof.
derivedSort
Section titled “derivedSort”derivedSort:
string
Defined in: src/types/coherence.ts:271
Sort name of the derived fact.
proof:
CoherenceDerivationStep[]
Defined in: src/types/coherence.ts:279
The proof, from the derived fact towards the roots.
sources
Section titled “sources”sources:
number[]
Defined in: src/types/coherence.ts:273
Root claims that support the derivation (target excluded).
target?
Section titled “target?”
optionaltarget?:number
Defined in: src/types/coherence.ts:269
Claim index the derivation establishes. Absent for a conflict fact.