# Semantic Correctness

> output(input) = expected(input)

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

## dimension

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

## evidence-grounds

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

## invariant

- [correct-outputs](https://banes-lab.com/records/reason/invariant-correct-outputs.md)

## lens

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

## predicate-grounds

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

## techniques

- [unit-testing](https://banes-lab.com/records/reason/technique-unit-testing.md)
- [property-based-testing](https://banes-lab.com/records/reason/technique-property-based-testing.md)
- [differential-testing](https://banes-lab.com/records/reason/technique-differential-testing.md)
- [assertion-checking](https://banes-lab.com/records/reason/technique-assertion-checking.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)
- [Meaning](https://banes-lab.com/records/reason/dimension-meaning.md)
- [Correct Outputs](https://banes-lab.com/records/reason/invariant-correct-outputs.md)
- [Semantic](https://banes-lab.com/records/reason/lens-semantic.md)
- [Unit Testing](https://banes-lab.com/records/reason/technique-unit-testing.md)
- [Property Based Testing](https://banes-lab.com/records/reason/technique-property-based-testing.md)
- [Differential Testing](https://banes-lab.com/records/reason/technique-differential-testing.md)
- [Assertion Checking](https://banes-lab.com/records/reason/technique-assertion-checking.md)