# Controlled State

> The requirement that all inputs and state affecting a computation be fixed, bounded or fully specified, so its behavior is reproducible.

Record: `lexicon:controlled-state`
Kind: constraint
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Aliases: Controlled Inputs
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-controlled-state

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Tests](https://banes-lab.com/records/lexicon/tests.md) and before [Deterministic Behavior](https://banes-lab.com/records/lexicon/deterministic-behavior.md).

## Category

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

## Required by

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

## Linked from

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