# Untested Implementation

> Shipping code with no tests, so its conformance to the specification is unverified.

Record: `lexicon:untested-implementation`
Kind: anti-pattern
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-untested-implementation

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Undefined Behavior](https://banes-lab.com/records/lexicon/undefined-behavior.md) and before [Behavior Validation](https://banes-lab.com/records/lexicon/behavior-validation.md).

## Category

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

## Negated by

- [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)
- [Failure shapes](https://banes-lab.com/ontology/reasoning/the-failure-shapes.md)