# Contract-Based Verification Kernel

> Declare assumptions, detect phase, verify environment, calibrate tools, execute phase-legal behavior, test adversarially, enforce validation gates, self-verify claims, and emit a typed artifact.

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

## composes

- [Tool Calibration](https://banes-lab.com/records/algo/tool-calibration.md)
- [Behavioral Self-Test](https://banes-lab.com/records/algo/behavioral-self-test.md)
- [Validation Gate](https://banes-lab.com/records/algo/validation-gate.md)

## grounds

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