# Verification Execution

> Run the configured verification procedure, capture raw output, parse errors and warnings, and derive pass status from zero-error condition.

Record: `algo:verification-execution`
Kind: codebase-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-verification-execution
Closure: https://banes-lab.com/json/records/algo/verification-execution/closure

## stage

- [verify](https://banes-lab.com/records/stage/verify.md)

## axis

- [verification](https://banes-lab.com/records/reason/axis-verification.md)

## composed-by

- [Reverification Gate](https://banes-lab.com/records/algo/reverification-gate.md)
- [Codebase Verification Kernel](https://banes-lab.com/records/algo/codebase-verification-kernel.md)

## grounds

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)

## derived-by

- [Codebase Verification Kernel](https://banes-lab.com/records/algo/codebase-verification-kernel.md)