# Contracts

> Explicit, enforceable agreements specifying the inputs, outputs, and guarantees between components.

Record: `lex:contracts`
Kind: constraint
Layer: [Structural Core](https://banes-lab.com/records/layer/structural-core.md)
Aliases: Contract
Canonical: https://banes-lab.com/ontology/lexicon#lex-contracts

## category

- [Core Vocabulary](https://banes-lab.com/records/lex-category/core-vocabulary.md)

## referenced-by

- [Impact Analysis](https://banes-lab.com/records/arch/impact-analysis.md)
- [Component-Based Architecture](https://banes-lab.com/records/arch/component-based-architecture.md)
- [Interoperability](https://banes-lab.com/records/arch/interoperability.md)
- [Decentralization](https://banes-lab.com/records/arch/decentralization.md)
- [Specification-Based Testing](https://banes-lab.com/records/arch/specification-based-testing.md)
- [Capability Declaration](https://banes-lab.com/records/arch/capability-declaration.md)
- [Extension Points](https://banes-lab.com/records/arch/extension-points.md)
- [Type Safety](https://banes-lab.com/records/arch/type-safety.md)