# Specification

> A precise, authoritative description of required behavior, structure, or interface.

Record: `lexicon:specification`
Kind: artifact
Layer: [Structural Core](https://banes-lab.com/records/layer/structural-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-specification

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Debugging](https://banes-lab.com/records/lexicon/debugging.md) and before [False Positives](https://banes-lab.com/records/lexicon/false-positives.md).

## Category

- [Core Vocabulary](https://banes-lab.com/records/lexicon-category/core-vocabulary.md)

## Required by

- [Correctness](https://banes-lab.com/records/architecture/correctness.md)
- [Specification-Based Testing](https://banes-lab.com/records/architecture/specification-based-testing.md)
- [Verification](https://banes-lab.com/records/architecture/verification.md)

## Linked from

- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md)
- [Domain Concerns](https://banes-lab.com/ontology/lexicon/lexicon-category-domain-concerns.md)