# <Compliance Verification Concern>

> <Load rules> → <Run authoritative verifier> → <Parse failures> → <Classify by violation type> → <Apply bounded fixes> → <Run local post-fix validation> → <Rerun verifier> → <Exit on pass or bound>

Record: `algorithms:compliance-verification-concern`
Kind: algorithm
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-compliance-verification-concern
Closure: https://banes-lab.com/json/records/algorithms/compliance-verification-concern/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [Codebase Verification Kernel](https://banes-lab.com/records/algorithms/codebase-verification-kernel.md) and before [Phase-Separated Execution](https://banes-lab.com/records/algorithms/phase-separated-execution.md).

## Domain

- [Codebase verification](https://banes-lab.com/records/algorithms-domain/codebase-verification.md)

## Tier

- [process](https://banes-lab.com/records/vocabulary/domain-tier-process.md)

## Force

- [Correctness verification](https://banes-lab.com/records/force/correctness-verification.md)

## Linked from

- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md)