Interface: SafetyProperty
@kortexya/reasoninglayer / SafetyProperty
Interface: SafetyProperty
Section titled “Interface: SafetyProperty”Defined in: src/types/verification.ts:240
A verification obligation.
Properties
Section titled “Properties”assert
Section titled “assert”assert:
OutputPredicate
Defined in: src/types/verification.ts:248
The post-condition on the output.
assume
Section titled “assume”assume:
AbstractIntervalVec
Defined in: src/types/verification.ts:246
The assumed input bound.
label:
string
Defined in: src/types/verification.ts:242
Human-readable name for diagnostics; not part of the semantic content.
target
Section titled “target”target:
VerificationTarget
Defined in: src/types/verification.ts:244
What is being verified.