Interface: CoherenceCheckedAxioms
@kortexya/reasoninglayer / CoherenceCheckedAxioms
Interface: CoherenceCheckedAxioms
Section titled “Interface: CoherenceCheckedAxioms”Defined in: src/types/coherence.ts:365
The constraint set a coherent_certified verdict is relative to: “no
incoherence found under these axioms”.
Properties
Section titled “Properties”conflictSorts
Section titled “conflictSorts”conflictSorts:
string[]
Defined in: src/types/coherence.ts:373
Conflict sorts whose derivation refutes coherence.
deontic
Section titled “deontic”deontic:
boolean
Defined in: src/types/coherence.ts:369
Deontic conflicts were checked.
derivationRules
Section titled “derivationRules”derivationRules:
number
Defined in: src/types/coherence.ts:375
Number of homoiconic rules the derivation layer consulted.
matchThreshold
Section titled “matchThreshold”matchThreshold:
number
Defined in: src/types/coherence.ts:377
Co-reference gate used for pairing.
polarity
Section titled “polarity”polarity:
boolean
Defined in: src/types/coherence.ts:367
Polarity flips (negated) were checked.
valueFeatures
Section titled “valueFeatures”valueFeatures:
string[]
Defined in: src/types/coherence.ts:371
Value features checked for conflicts on co-referent claims.