Type Alias: ProofMethod
@kortexya/reasoninglayer / ProofMethod
Type Alias: ProofMethod
Section titled “Type Alias: ProofMethod”ProofMethod =
"AbstractInterpretation"|"DeterministicTrace"|"Alethe"|"DratRup"
Defined in: src/types/verification.ts:29
The sound proof method that produced a ProvenSafe verdict.
Remarks
Section titled “Remarks”Wire values are the engine’s PascalCase enum names, passed through unchanged.