{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-semantic-contracts",
  "id": "semantic-contracts",
  "kind": "constraint",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-contracts-core",
    "json": "https://banes-lab.com/json/records/layer/contracts-core",
    "label": "Contracts Core",
    "markdown": "https://banes-lab.com/records/layer/contracts-core.md",
    "ref": "layer:contracts-core"
  },
  "name": "Semantic Contracts",
  "ref": "architecture:semantic-contracts",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-ubiquitous-language",
          "json": "https://banes-lab.com/json/records/architecture/ubiquitous-language",
          "label": "Ubiquitous Language",
          "markdown": "https://banes-lab.com/records/architecture/ubiquitous-language.md",
          "ref": "architecture:ubiquitous-language"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-domain-model",
          "json": "https://banes-lab.com/json/records/architecture/domain-model",
          "label": "Domain Model",
          "markdown": "https://banes-lab.com/records/architecture/domain-model.md",
          "ref": "architecture:domain-model"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-semantic-consistency",
          "json": "https://banes-lab.com/json/records/architecture/semantic-consistency",
          "label": "Semantic Consistency",
          "markdown": "https://banes-lab.com/records/architecture/semantic-consistency.md",
          "ref": "architecture:semantic-consistency"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-correctness",
          "json": "https://banes-lab.com/json/records/architecture/correctness",
          "label": "Correctness",
          "markdown": "https://banes-lab.com/records/architecture/correctness.md",
          "ref": "architecture:correctness"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-reliable-integration",
          "json": "https://banes-lab.com/json/records/lexicon/reliable-integration",
          "label": "Reliable Integration",
          "markdown": "https://banes-lab.com/records/lexicon/reliable-integration.md",
          "ref": "lexicon:reliable-integration"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-ambiguous-naming",
          "json": "https://banes-lab.com/json/records/lexicon/ambiguous-naming",
          "label": "Ambiguous Naming",
          "markdown": "https://banes-lab.com/records/lexicon/ambiguous-naming.md",
          "ref": "lexicon:ambiguous-naming"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-cross-domain-translation",
          "json": "https://banes-lab.com/json/records/lexicon/cross-domain-translation",
          "label": "Cross-Domain Translation",
          "markdown": "https://banes-lab.com/records/lexicon/cross-domain-translation.md",
          "ref": "lexicon:cross-domain-translation"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-cross-domain-translation-semantic-contracts",
          "json": "https://banes-lab.com/json/records/tension/cross-domain-translation-semantic-contracts",
          "label": "Semantic Contracts / Cross-Domain Translation",
          "markdown": "https://banes-lab.com/records/tension/cross-domain-translation-semantic-contracts.md",
          "ref": "tension:cross-domain-translation-semantic-contracts"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-ambiguous-naming",
          "json": "https://banes-lab.com/json/records/lexicon/ambiguous-naming",
          "label": "Ambiguous Naming",
          "markdown": "https://banes-lab.com/records/lexicon/ambiguous-naming.md",
          "ref": "lexicon:ambiguous-naming"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-name-the-concept",
          "json": "https://banes-lab.com/json/records/lexicon/name-the-concept",
          "label": "Name the Concept",
          "markdown": "https://banes-lab.com/records/lexicon/name-the-concept.md",
          "ref": "lexicon:name-the-concept"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-split-bounded-context",
          "json": "https://banes-lab.com/json/records/lexicon/split-bounded-context",
          "label": "Split Bounded Context",
          "markdown": "https://banes-lab.com/records/lexicon/split-bounded-context.md",
          "ref": "lexicon:split-bounded-context"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-anti-corruption-layer",
          "json": "https://banes-lab.com/json/records/architecture/anti-corruption-layer",
          "label": "Anti-Corruption Layer",
          "markdown": "https://banes-lab.com/records/architecture/anti-corruption-layer.md",
          "ref": "architecture:anti-corruption-layer"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-mandatory",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-mandatory",
          "label": "mandatory",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-mandatory.md",
          "ref": "vocabulary:severity-mandatory"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-contracts-interfaces-compatibility",
          "json": "https://banes-lab.com/json/records/architecture-category/contracts-interfaces-compatibility",
          "label": "Contracts / Interfaces / Compatibility",
          "markdown": "https://banes-lab.com/records/architecture-category/contracts-interfaces-compatibility.md",
          "ref": "architecture-category:contracts-interfaces-compatibility"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/pag#why-pag-works",
          "json": "https://banes-lab.com/json/pag/introduction/why-pag-works",
          "label": "Why it works",
          "markdown": "https://banes-lab.com/pag/introduction/why-pag-works.md",
          "ref": "chapter:/pag#why-pag-works"
        },
        {
          "href": "https://banes-lab.com/pag/guide#tool-invocation",
          "json": "https://banes-lab.com/json/pag/guide/tool-invocation",
          "label": "Semantic operations",
          "markdown": "https://banes-lab.com/pag/guide/tool-invocation.md",
          "ref": "chapter:/pag/guide#tool-invocation"
        },
        {
          "href": "https://banes-lab.com/pag/patterns#instruction-patterns",
          "json": "https://banes-lab.com/json/pag/patterns/instruction-patterns",
          "label": "Instruction patterns",
          "markdown": "https://banes-lab.com/pag/patterns/instruction-patterns.md",
          "ref": "chapter:/pag/patterns#instruction-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-domain-architecture",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-domain-architecture",
          "label": "Domain Architecture",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-domain-architecture.md",
          "ref": "chapter:/ontology#architecture-category-domain-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology#architecture-category-correctness-determinism-verification"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-schema-canonical-data-semantics",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-schema-canonical-data-semantics",
          "label": "Schema / Canonical Data / Semantics",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-schema-canonical-data-semantics.md",
          "ref": "chapter:/ontology#architecture-category-schema-canonical-data-semantics"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-contracts-interfaces-compatibility",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-contracts-interfaces-compatibility",
          "label": "Contracts / Interfaces / Compatibility",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-contracts-interfaces-compatibility.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-contracts-interfaces-compatibility"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-core-vocabulary",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-core-vocabulary",
          "label": "Core Vocabulary",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-core-vocabulary"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-domain-architecture",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-domain-architecture",
          "label": "Domain Architecture",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-domain-architecture.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-domain-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-severity",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-severity",
          "label": "Severity levels",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-severity.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-severity"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "A rule or precondition that each term and value at a boundary has one agreed meaning, beyond its type.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-preconditions",
      "json": "https://banes-lab.com/json/records/architecture/preconditions",
      "label": "Preconditions",
      "markdown": "https://banes-lab.com/records/architecture/preconditions.md",
      "ref": "architecture:preconditions"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-schema-contract",
      "json": "https://banes-lab.com/json/records/architecture/schema-contract",
      "label": "Schema Contract",
      "markdown": "https://banes-lab.com/records/architecture/schema-contract.md",
      "ref": "architecture:schema-contract"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/architecture",
    "label": "Architecture principles",
    "markdown": "https://banes-lab.com/api/records/architecture.md",
    "ref": "api:records/architecture"
  },
  "aliases": [],
  "exemplar": {
    "after": "type PositiveCount = number & { readonly __brand: \"PositiveCount\" };\nfunction reserveFoo(count: PositiveCount): Promise<{ reserved: true }> {\n  return fooInventory.reserveExactly(count);\n}",
    "before": "function reserveFoo(count: number) { return fooStore.decrement(count); }",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "domain",
    "API",
    "data"
  ],
  "severity": "mandatory"
}