Interface: VerifyRunResult
@kortexya/reasoninglayer / VerifyRunResult
Interface: VerifyRunResult
Section titled “Interface: VerifyRunResult”Defined in: src/types/verification.ts:317
Result of POST /api/v1/verification/run.
Properties
Section titled “Properties”certificateId
Section titled “certificateId”certificateId:
string
Defined in: src/types/verification.ts:319
Content-addressed id of the stored certificate; fetch it with getCertificate.
kind:
string
Defined in: src/types/verification.ts:321
Compact verdict tag: proven_safe, falsified, empirically_safe or residuated.
method?
Section titled “method?”
optionalmethod?:ProofMethod
Defined in: src/types/verification.ts:323
The sound method, when the verdict is a proof.
verdict
Section titled “verdict”verdict:
VerdictKind
Defined in: src/types/verification.ts:325
The verdict.