Interface: CoherenceReport
@kortexya/reasoninglayer / CoherenceReport
Interface: CoherenceReport
Section titled “Interface: CoherenceReport”Defined in: src/types/coherence.ts:461
The full coherence report of one claim sequence.
Remarks
Section titled “Remarks”Read from the engine’s CoherenceReport component, field by field.
Optional fields are absent (never null) when the engine has no value for
them: an omitted key and a null both read as an absent field.
Properties
Section titled “Properties”bundles
Section titled “bundles”bundles:
CoherenceBundle[]
Defined in: src/types/coherence.ts:473
Coherent bundles, largest first.
chains
Section titled “chains”chains:
CoherenceChain[]
Defined in: src/types/coherence.ts:471
Longest start-to-end chains.
claims
Section titled “claims”claims:
CoherenceClaimRef[]
Defined in: src/types/coherence.ts:463
The analyzed claims, in text order.
derivations
Section titled “derivations”derivations:
CoherenceDerivationEdge[]
Defined in: src/types/coherence.ts:469
Rule derivations with proofs (including conflict-fact derivations).
diagnostics
Section titled “diagnostics”diagnostics:
string[]
Defined in: src/types/coherence.ts:481
Non-fatal notes (unverified tensions, suppressed bundle merges, …).
independentPairs
Section titled “independentPairs”independentPairs:
number
Defined in: src/types/coherence.ts:467
Pairs below the co-reference gate.
interBundleClashes
Section titled “interBundleClashes”interBundleClashes:
CoherenceInterBundleClash[]
Defined in: src/types/coherence.ts:475
Clashes between bundles.
links:
CoherenceLink[]
Defined in: src/types/coherence.ts:465
Typed pairwise links, with evidence.
metrics
Section titled “metrics”metrics:
CoherenceMetrics
Defined in: src/types/coherence.ts:477
Aggregate metrics.
unfinishedDerivationRuns
Section titled “unfinishedDerivationRuns”unfinishedDerivationRuns:
number
Defined in: src/types/coherence.ts:487
Derivation runs (the global run and the leave-one-out runs) that stopped
on a chainer limit before their fixpoint. When non-zero, derivations may
lack edges those runs would have found.
verdict
Section titled “verdict”verdict:
CoherenceVerdict
Defined in: src/types/coherence.ts:479
The verdict.