# Memory Correctness

> liveSet bounded as t grows and retained delta approaches 0

Record: `reason:test-surface-memory-correctness`
Kind: test-surface
Canonical: https://banes-lab.com/ontology/reasoning#reason-test-surface-memory-correctness

## dimension

- [composition](https://banes-lab.com/records/reason/dimension-composition.md)

## evidence-grounds

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)

## invariant

- [controlled-memory-usage](https://banes-lab.com/records/reason/invariant-controlled-memory-usage.md)

## lens

- [evolutionary](https://banes-lab.com/records/reason/lens-evolutionary.md)

## predicate-grounds

- [ver-ground-truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)

## techniques

- [heap-analysis](https://banes-lab.com/records/reason/technique-heap-analysis.md)
- [profiling](https://banes-lab.com/records/reason/technique-profiling.md)

## referenced-by

- [Ver Evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [Ver Ground Truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)
- [Composition](https://banes-lab.com/records/reason/dimension-composition.md)
- [Controlled Memory Usage](https://banes-lab.com/records/reason/invariant-controlled-memory-usage.md)
- [Evolutionary](https://banes-lab.com/records/reason/lens-evolutionary.md)
- [Profiling](https://banes-lab.com/records/reason/technique-profiling.md)
- [Heap Analysis](https://banes-lab.com/records/reason/technique-heap-analysis.md)