# Verification

Record: `arch:verification`
Kind: activity
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Severity: mandatory
Scope: implementation, system
Canonical: https://banes-lab.com/ontology#arch-verification

## Repair

- Refactored by: Add Tests, Add Static Checks
- Detected by: missing tests/static checks
- Violated by: code lacking spec conformance checks
- Measured by: verification coverage
- Enforced by: CI gates

## requires

- [Specification](https://banes-lab.com/records/lex/specification.md)

## reinforces

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

## enables

- [Specification Compliance](https://banes-lab.com/records/lex/specification-compliance.md)

## conflicts-with

- [Untested Implementation](https://banes-lab.com/records/lex/untested-implementation.md)

## tensions-with

- [Cost](https://banes-lab.com/records/lex/cost.md)

## tensions

- [Verification Cost](https://banes-lab.com/records/tension/cost-verification.md)

## referenced-by

- [Repeatability](https://banes-lab.com/records/arch/repeatability.md)