# Valid Interfaces And Contracts

> Interfaces and contracts are valid

Record: `reason:invariant-valid-interfaces-and-contracts`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reason-invariant-valid-interfaces-and-contracts

## surfaces

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

## referenced-by

- [Interface Correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md)