# Correct Outputs

> Outputs are correct

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

## surfaces

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

## referenced-by

- [Semantic Correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md)
- [Data Correctness](https://banes-lab.com/records/reason/test-surface-data-correctness.md)
