# Computation Core

> The rules governing computation determinism and purity — no mutable shared state, no hidden nondeterminism, reproducible results.

Record: `algorithms:computation-core`
Kind: algorithm
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-computation-core
Closure: https://banes-lab.com/json/records/algorithms/computation-core/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [Execution Core](https://banes-lab.com/records/algorithms/execution-core.md) and before [Security Core](https://banes-lab.com/records/algorithms/security-core.md).

## Domain

- [Architectural Clusters](https://banes-lab.com/records/algorithms-domain/architectural-clusters.md)

## Tier

- [exempt](https://banes-lab.com/records/vocabulary/domain-tier-exempt.md)

## Principle

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

## Composed by

- [Immutable Data Over Mutable State](https://banes-lab.com/records/algorithms/no-mutable.md)
- [Errors As Language Over Silent Errors](https://banes-lab.com/records/algorithms/no-silent.md)
- [Explicit Invalidity Over Hidden](https://banes-lab.com/records/algorithms/no-hidden-invalidity.md)
- [Injected Nondeterminism Over Hidden](https://banes-lab.com/records/algorithms/no-hidden-nondeterminism.md)

## Contract of

- [Computation Core](https://banes-lab.com/records/layer/computation-core.md)

## Linked from

- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [Architectural Rules](https://banes-lab.com/ontology/algorithms/algorithms-domain-architectural-rules.md)
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The layer topology](https://banes-lab.com/ontology/schema/the-layer-topology.md)