# Verification Loop

> Initialize verification context, execute the verification suite, classify failures, remediate violations, and repeat until pass or iteration limit.

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

## stage

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

## axis

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

## composes

- [Violation Classification](https://banes-lab.com/records/algo/violation-classification.md)