Interface: VerifyRunRequest
@kortexya/reasoninglayer / VerifyRunRequest
Interface: VerifyRunRequest
Section titled “Interface: VerifyRunRequest”Defined in: src/types/verification.ts:309
Request for POST /api/v1/verification/run.
Properties
Section titled “Properties”property
Section titled “property”property:
SafetyProperty
Defined in: src/types/verification.ts:311
The property to discharge.
trace?
Section titled “trace?”
optionaltrace?:TraceBundle
Defined in: src/types/verification.ts:313
The trace, for an AgentTrace target. Omit for the other targets.