# Result Validation

> The activity of checking that an operation's result satisfies its promised postconditions.

Record: `lexicon:result-validation`
Kind: activity
Layer: [Contracts Core](https://banes-lab.com/records/layer/contracts-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-result-validation

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Protocol Contract](https://banes-lab.com/records/lexicon/protocol-contract.md) and before [Semantic Contract](https://banes-lab.com/records/lexicon/semantic-contract.md).

## Category

- [Contracts / Interfaces / Compatibility](https://banes-lab.com/records/lexicon-category/contracts-interfaces-compatibility.md)

## Required by

- [Postconditions](https://banes-lab.com/records/architecture/postconditions.md)

## Linked from

- [Contracts / Interfaces / Compatibility](https://banes-lab.com/ontology/principles/architecture-category-contracts-interfaces-compatibility.md)