# Semantic Correctness

> output(input) = expected(input)

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Read After Write Verification](https://banes-lab.com/records/reasoning/technique-read-after-write-verification.md) and before [Functional Correctness](https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md).

## Dimension

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

## Evidence grounds

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

## Evidence source

- [test-result](https://banes-lab.com/records/vocabulary/evidence-source-test-result.md)

## Invariant

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

## Lens

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

## Predicate grounds

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

## Predicate type

- [equivalence](https://banes-lab.com/records/vocabulary/predicate-type-equivalence.md)

## Techniques

- [unit-testing](https://banes-lab.com/records/reasoning/technique-unit-testing.md)
- [property-based-testing](https://banes-lab.com/records/reasoning/technique-property-based-testing.md)
- [differential-testing](https://banes-lab.com/records/reasoning/technique-differential-testing.md)
- [assertion-checking](https://banes-lab.com/records/reasoning/technique-assertion-checking.md)

## Verdict domain

- [pass](https://banes-lab.com/records/vocabulary/verdict-pass.md)
- [fail](https://banes-lab.com/records/vocabulary/verdict-fail.md)
- [unknown](https://banes-lab.com/records/vocabulary/verdict-unknown.md)

## Grounded by

- [Surface Grid Walk](https://banes-lab.com/records/algorithms/surface-grid-walk.md)
- [Concern Classification](https://banes-lab.com/records/algorithms/concern-classification.md)

## Linked from

- [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md)
- [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md)
- [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md)
- [The dimensions](https://banes-lab.com/ontology/reasoning/the-dimensions.md)
- [The lenses](https://banes-lab.com/ontology/reasoning/the-lenses.md)
- [The techniques](https://banes-lab.com/ontology/reasoning/the-techniques.md)
- [The invariants](https://banes-lab.com/ontology/reasoning/the-invariants.md)
- [Verdicts](https://banes-lab.com/ontology/schema/the-vocabulary-verdict.md)
- [Predicate types](https://banes-lab.com/ontology/schema/the-vocabulary-predicate-type.md)
- [Evidence sources](https://banes-lab.com/ontology/schema/the-vocabulary-evidence-source.md)