# Codebase Verification Kernel

> Load compliance context, run verification, parse results, exit on pass, classify violations on failure, remediate by severity, run post-fix style validation, and repeat until zero errors or iteration limit.

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

## composes

- [Context Initialization](https://banes-lab.com/records/algo/context-initialization.md)
- [Verification Execution](https://banes-lab.com/records/algo/verification-execution.md)
- [Violation Classification](https://banes-lab.com/records/algo/violation-classification.md)
- [Iteration Bound](https://banes-lab.com/records/algo/iteration-bound.md)
- [File-Scoped Fix](https://banes-lab.com/records/algo/file-scoped-fix.md)
- [Reverification Gate](https://banes-lab.com/records/algo/reverification-gate.md)
- [Completion Report](https://banes-lab.com/records/algo/completion-report.md)

## grounds

- [derivation-loop](https://banes-lab.com/records/reason/loop-derivation-loop.md)