Type Alias: CoherenceChainHop
@kortexya/reasoninglayer / CoherenceChainHop
Type Alias: CoherenceChainHop
Section titled “Type Alias: CoherenceChainHop”CoherenceChainHop = {
derivation:number;kind:"derives"; } | {kind:"refinement";link:number; }
Defined in: src/types/coherence.ts:293
One hop of a chain, with a reference to its evidence.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ derivation: number; kind: "derives"; }
derivation
Section titled “derivation”derivation:
number
Index into CoherenceReport.derivations.
kind:
"derives"
A rule derivation.
Type Literal
Section titled “Type Literal”{ kind: "refinement"; link: number; }
kind:
"refinement"
A refinement arrow (equivalent or stricter_in_later).
link:
number
Index into CoherenceReport.links.