# Verification

> The activity of checking that an implementation conforms to its specification.

Record: `architecture: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#architecture-verification

Listed in [Architecture principles](https://banes-lab.com/api/records/architecture.md), after [Validation](https://banes-lab.com/records/architecture/validation.md) and before [Portability](https://banes-lab.com/records/architecture/portability.md).

## 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/lexicon/specification.md)

## Reinforces

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

## Enables

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

## Conflicts with

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

## In tension with

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

## Tensions

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

## Contracts

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

## Severity

- [mandatory](https://banes-lab.com/records/vocabulary/severity-mandatory.md)

## Category

- [Correctness / Determinism / Verification](https://banes-lab.com/records/architecture-category/correctness-determinism-verification.md)

## Concept

- [Verification](https://banes-lab.com/records/reasoning/axis-verification.md)

## Reinforced by

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

## Linked from

- [PAG and the method](https://banes-lab.com/pag/introduction/pag-and-the-method.md)
- [Document structure](https://banes-lab.com/pag/guide/document-structure.md)
- [Phase binding](https://banes-lab.com/pag/orchestration/phase-binding.md)
- [Instruction patterns](https://banes-lab.com/pag/patterns/instruction-patterns.md)
- [From intent to structure](https://banes-lab.com/pag/patterns/intent-to-structure.md)
- [Genesis stages](https://banes-lab.com/pag/patterns/genesis-stages.md)
- [Planning templates](https://banes-lab.com/pag/templates/templates-planning.md)
- [Agent templates](https://banes-lab.com/pag/templates/templates-agents.md)
- [The stance](https://banes-lab.com/disciplined-methodology/start/the-stance.md)
- [Adversarial by default](https://banes-lab.com/disciplined-methodology/start/adversarial-by-default.md)
- [Resolving a message](https://banes-lab.com/disciplined-methodology/start/resolving-a-message.md)
- [Execute the template](https://banes-lab.com/disciplined-methodology/plan/execute-the-template.md)
- [One home](https://banes-lab.com/disciplined-methodology/build/one-home.md)
- [It looked right](https://banes-lab.com/disciplined-methodology/verify/it-looked-right.md)
- [Verify the verifier](https://banes-lab.com/disciplined-methodology/verify/verify-the-verifier.md)
- [A report, not a checkbox](https://banes-lab.com/disciplined-methodology/verify/a-report-not-a-checkbox.md)
- [Moves and renames](https://banes-lab.com/disciplined-methodology/verify/moves-and-renames.md)
- [One chain](https://banes-lab.com/disciplined-methodology/ship/one-chain.md)
- [Computation and resource](https://banes-lab.com/software-architecture/principles/computation-and-resource.md)
- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [Core Vocabulary](https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md)
- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md)
- [Codebase verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md)
- [Severity levels](https://banes-lab.com/ontology/schema/the-vocabulary-severity.md)
- [The resolutions](https://banes-lab.com/ontology/schema/the-resolutions.md)