# Controlled Memory Usage

> Memory usage is controlled

Record: `reason:invariant-controlled-memory-usage`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reason-invariant-controlled-memory-usage

## surfaces

- [memory-correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md)

## referenced-by

- [Memory Correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md)