# codebase-verification

Record: `algo-domain:codebase-verification`
Kind: domain
Canonical: https://banes-lab.com/ontology/algorithms#algo-domain-codebase-verification

## contracts

- [Verification Loop](https://banes-lab.com/records/algo/verification-loop.md)
- [Context Initialization](https://banes-lab.com/records/algo/context-initialization.md)
- [Verification Execution](https://banes-lab.com/records/algo/verification-execution.md)
- [Early Success Exit](https://banes-lab.com/records/algo/early-success-exit.md)
- [Violation Classification](https://banes-lab.com/records/algo/violation-classification.md)
- [Severity-Ordered Remediation](https://banes-lab.com/records/algo/severity-ordered-remediation.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)
- [File Limit Remediation](https://banes-lab.com/records/algo/file-limit-remediation.md)
- [Import Boundary Remediation](https://banes-lab.com/records/algo/import-boundary-remediation.md)
- [Naming Convention Remediation](https://banes-lab.com/records/algo/naming-convention-remediation.md)
- [Base-Class Compliance Remediation](https://banes-lab.com/records/algo/base-class-compliance-remediation.md)
- [CSS Token Remediation](https://banes-lab.com/records/algo/css-token-remediation.md)
- [DOM Factory Remediation](https://banes-lab.com/records/algo/dom-factory-remediation.md)
- [Console Usage Remediation](https://banes-lab.com/records/algo/console-usage-remediation.md)
- [Lifecycle Symmetry Remediation](https://banes-lab.com/records/algo/lifecycle-symmetry-remediation.md)
- [Stylelint Post-Fix](https://banes-lab.com/records/algo/stylelint-post-fix.md)
- [Reverification Gate](https://banes-lab.com/records/algo/reverification-gate.md)
- [Partial Success Reporting](https://banes-lab.com/records/algo/partial-success-reporting.md)
- [Completion Report](https://banes-lab.com/records/algo/completion-report.md)
- [Codebase Verification Kernel](https://banes-lab.com/records/algo/codebase-verification-kernel.md)
- [<Compliance Verification Concern>](https://banes-lab.com/records/algo/compliance-verification-concern.md)