# Interface Correctness

> payload models declaredSchema

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

## dimension

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

## evidence-grounds

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

## invariant

- [valid-interfaces-and-contracts](https://banes-lab.com/records/reason/invariant-valid-interfaces-and-contracts.md)

## lens

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

## predicate-grounds

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

## techniques

- [runtime-validation](https://banes-lab.com/records/reason/technique-runtime-validation.md)
- [contract-testing](https://banes-lab.com/records/reason/technique-contract-testing.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)
- [Structure](https://banes-lab.com/records/reason/dimension-structure.md)
- [Valid Interfaces And Contracts](https://banes-lab.com/records/reason/invariant-valid-interfaces-and-contracts.md)
- [Structural](https://banes-lab.com/records/reason/lens-structural.md)
- [Contract Testing](https://banes-lab.com/records/reason/technique-contract-testing.md)
- [Runtime Validation](https://banes-lab.com/records/reason/technique-runtime-validation.md)