# Correct Outputs

> Outputs are correct

Record: `reasoning:invariant-correct-outputs`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-invariant-correct-outputs

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Novelty](https://banes-lab.com/records/reasoning/dimension-novelty.md) and before [Correct State Evolution](https://banes-lab.com/records/reasoning/invariant-correct-state-evolution.md).

## Surfaces

- [semantic-correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md)
- [data-correctness](https://banes-lab.com/records/reasoning/test-surface-data-correctness.md)

## Linked from

- [The test surfaces](https://banes-lab.com/ontology/reasoning/the-test-surfaces.md)