Type Alias: CoherenceVerdict
@kortexya/reasoninglayer / CoherenceVerdict
Type Alias: CoherenceVerdict
Section titled “Type Alias: CoherenceVerdict”CoherenceVerdict = {
verdict:"incoherent";witnesses:number[]; } | {checked:CoherenceCheckedAxioms;verdict:"coherent_certified"; } | {chainIterations:number;checked:CoherenceCheckedAxioms;verdict:"undetermined"; }
Defined in: src/types/coherence.ts:387
The verdict of a coherence analysis, discriminated by verdict.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ verdict: "incoherent"; witnesses: number[]; }
verdict
Section titled “verdict”verdict:
"incoherent"
At least one proven incoherence.
witnesses
Section titled “witnesses”witnesses:
number[]
Indices into CoherenceReport.links of the clash links that witness it.
Type Literal
Section titled “Type Literal”{ checked: CoherenceCheckedAxioms; verdict: "coherent_certified"; }
checked
Section titled “checked”checked:
CoherenceCheckedAxioms
Exactly which constraints were in force.
verdict
Section titled “verdict”verdict:
"coherent_certified"
No incoherence was provable under the declared constraints.
Type Literal
Section titled “Type Literal”{ chainIterations: number; checked: CoherenceCheckedAxioms; verdict: "undetermined"; }
chainIterations
Section titled “chainIterations”chainIterations:
number
Iterations the global run executed before it stopped.
checked
Section titled “checked”checked:
CoherenceCheckedAxioms
The constraints in force for the part that was checked.
verdict
Section titled “verdict”verdict:
"undetermined"
No incoherence was found, but the analysis is not a certificate: scope interpretation may be incomplete (zero chain iterations), or the derivation layer’s global run stopped on a chainer limit before its fixpoint, so a conflict fact may lie past it.
Remarks
Section titled “Remarks”On the wire the discriminant is nested under a key of the same name:
report.verdict.verdict.