# Tests

> Executable checks that assert a system behaves as intended.

Record: `lex:tests`
Kind: artifact
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-tests

## category

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

## referenced-by

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