# Semantic Contracts

> A rule or precondition that each term and value at a boundary has one agreed meaning, beyond its type.

Record: `architecture:semantic-contracts`
Kind: constraint
Layer: [Contracts Core](https://banes-lab.com/records/layer/contracts-core.md)
Severity: mandatory
Scope: domain, API, data
Canonical: https://banes-lab.com/ontology#architecture-semantic-contracts

Listed in [Architecture principles](https://banes-lab.com/api/records/architecture.md), after [Schema Contract](https://banes-lab.com/records/architecture/schema-contract.md) and before [Preconditions](https://banes-lab.com/records/architecture/preconditions.md).

## Repair

- Refactored by: Rename, Introduce Bounded Context, Add Anti-Corruption Layer
- Detected by: conflicting field meanings, overloaded names
- Violated by: same term with different meanings
- Measured by: semantic conflict count
- Enforced by: domain glossary, contract review

## Requires

- [Ubiquitous Language](https://banes-lab.com/records/architecture/ubiquitous-language.md)
- [Domain Model](https://banes-lab.com/records/architecture/domain-model.md)

## Reinforces

- [Semantic Consistency](https://banes-lab.com/records/architecture/semantic-consistency.md)
- [Correctness](https://banes-lab.com/records/architecture/correctness.md)

## Enables

- [Reliable Integration](https://banes-lab.com/records/lexicon/reliable-integration.md)

## Conflicts with

- [Ambiguous Naming](https://banes-lab.com/records/lexicon/ambiguous-naming.md)

## In tension with

- [Cross-Domain Translation](https://banes-lab.com/records/lexicon/cross-domain-translation.md)

## Tensions

- [Semantic Contracts / Cross-Domain Translation](https://banes-lab.com/records/tension/cross-domain-translation-semantic-contracts.md)

## Severity

- [mandatory](https://banes-lab.com/records/vocabulary/severity-mandatory.md)

## Category

- [Contracts / Interfaces / Compatibility](https://banes-lab.com/records/architecture-category/contracts-interfaces-compatibility.md)

## Linked from

- [Why it works](https://banes-lab.com/pag/introduction/why-pag-works.md)
- [Semantic operations](https://banes-lab.com/pag/guide/tool-invocation.md)
- [Instruction patterns](https://banes-lab.com/pag/patterns/instruction-patterns.md)
- [Domain Architecture](https://banes-lab.com/ontology/principles/architecture-category-domain-architecture.md)
- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [Schema / Canonical Data / Semantics](https://banes-lab.com/ontology/principles/architecture-category-schema-canonical-data-semantics.md)
- [Contracts / Interfaces / Compatibility](https://banes-lab.com/ontology/lexicon/lexicon-category-contracts-interfaces-compatibility.md)
- [Core Vocabulary](https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md)
- [Severity levels](https://banes-lab.com/ontology/schema/the-vocabulary-severity.md)
- [The resolutions](https://banes-lab.com/ontology/schema/the-resolutions.md)