Type Alias: ClaimKind
@kortexya/reasoninglayer / ClaimKind
Type Alias: ClaimKind
Section titled “Type Alias: ClaimKind”ClaimKind =
"NeuralNetworkRealSemantics"|"TracePredicate"|"OsfSortAbstraction"|"ExtractionSchema"
Defined in: src/types/verification.ts:49
The exact semantic fragment a ProvenSafe certificate checked.
Remarks
Section titled “Remarks”Wire values are the engine’s PascalCase enum names, passed through
unchanged. A sort abstraction (OsfSortAbstraction) does not establish
scalar constraints, knowledge-base entailment, execution success or factual
truth.