{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-explicit-contracts",
  "id": "explicit-contracts",
  "kind": "principle",
  "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": "Explicit Contracts",
  "ref": "architecture:explicit-contracts",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-stable-interfaces",
          "json": "https://banes-lab.com/json/records/architecture/stable-interfaces",
          "label": "Stable Interfaces",
          "markdown": "https://banes-lab.com/records/architecture/stable-interfaces.md",
          "ref": "architecture:stable-interfaces"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-type-safety",
          "json": "https://banes-lab.com/json/records/architecture/type-safety",
          "label": "Type Safety",
          "markdown": "https://banes-lab.com/records/architecture/type-safety.md",
          "ref": "architecture:type-safety"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-predictability",
          "json": "https://banes-lab.com/json/records/architecture/predictability",
          "label": "Predictability",
          "markdown": "https://banes-lab.com/records/architecture/predictability.md",
          "ref": "architecture:predictability"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-interoperability",
          "json": "https://banes-lab.com/json/records/architecture/interoperability",
          "label": "Interoperability",
          "markdown": "https://banes-lab.com/records/architecture/interoperability.md",
          "ref": "architecture:interoperability"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-contract-first-design",
          "json": "https://banes-lab.com/json/records/architecture/contract-first-design",
          "label": "Contract-First Design",
          "markdown": "https://banes-lab.com/records/architecture/contract-first-design.md",
          "ref": "architecture:contract-first-design"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-implicit-contract",
          "json": "https://banes-lab.com/json/records/architecture/implicit-contract",
          "label": "Implicit Contract",
          "markdown": "https://banes-lab.com/records/architecture/implicit-contract.md",
          "ref": "architecture:implicit-contract"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-rapid-prototyping",
          "json": "https://banes-lab.com/json/records/lexicon/rapid-prototyping",
          "label": "Rapid Prototyping",
          "markdown": "https://banes-lab.com/records/lexicon/rapid-prototyping.md",
          "ref": "lexicon:rapid-prototyping"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-explicit-contracts-rapid-prototyping",
          "json": "https://banes-lab.com/json/records/tension/explicit-contracts-rapid-prototyping",
          "label": "Explicit Contracts / Rapid Prototyping",
          "markdown": "https://banes-lab.com/records/tension/explicit-contracts-rapid-prototyping.md",
          "ref": "tension:explicit-contracts-rapid-prototyping"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-contracts-core",
          "json": "https://banes-lab.com/json/records/algorithms/contracts-core",
          "label": "Contracts Core",
          "markdown": "https://banes-lab.com/records/algorithms/contracts-core.md",
          "ref": "algorithms:contracts-core"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pag-authoring-kernel",
          "json": "https://banes-lab.com/json/records/algorithms/pag-authoring-kernel",
          "label": "PAG Authoring Kernel",
          "markdown": "https://banes-lab.com/records/algorithms/pag-authoring-kernel.md",
          "ref": "algorithms:pag-authoring-kernel"
        }
      ],
      "relation": "contracts"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-dynamic-untyped-boundaries",
          "json": "https://banes-lab.com/json/records/lexicon/dynamic-untyped-boundaries",
          "label": "Dynamic Untyped Boundaries",
          "markdown": "https://banes-lab.com/records/lexicon/dynamic-untyped-boundaries.md",
          "ref": "lexicon:dynamic-untyped-boundaries"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-untyped-payloads",
          "json": "https://banes-lab.com/json/records/lexicon/untyped-payloads",
          "label": "Untyped Payloads",
          "markdown": "https://banes-lab.com/records/lexicon/untyped-payloads.md",
          "ref": "lexicon:untyped-payloads"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-introduce-boundary-dto",
          "json": "https://banes-lab.com/json/records/lexicon/introduce-boundary-dto",
          "label": "Introduce Boundary DTO",
          "markdown": "https://banes-lab.com/records/lexicon/introduce-boundary-dto.md",
          "ref": "lexicon:introduce-boundary-dto"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-schema-validation",
          "json": "https://banes-lab.com/json/records/architecture/schema-validation",
          "label": "Schema Validation",
          "markdown": "https://banes-lab.com/records/architecture/schema-validation.md",
          "ref": "architecture:schema-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-extract-interface",
          "json": "https://banes-lab.com/json/records/lexicon/extract-interface",
          "label": "Extract Interface",
          "markdown": "https://banes-lab.com/records/lexicon/extract-interface.md",
          "ref": "lexicon:extract-interface"
        }
      ],
      "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/anatomy/governance#file-governance-codemods-entrypoints-binding-entrypoint-ts",
          "json": "https://banes-lab.com/json/source/governance/codemods/entrypoints/binding.entrypoint.ts",
          "label": "codemods/entrypoints/binding.entrypoint.ts",
          "markdown": "https://banes-lab.com/source/governance/codemods/entrypoints/binding.entrypoint.ts.md",
          "ref": "anatomy:file-governance-codemods-entrypoints-binding-entrypoint-ts"
        },
        {
          "href": "https://banes-lab.com/anatomy/governance#file-governance-rules-eslint-no-undeclared-dependency-eslint-rule-ts",
          "json": "https://banes-lab.com/json/source/governance/rules/eslint/no-undeclared-dependency.eslint.rule.ts",
          "label": "rules/eslint/no-undeclared-dependency.eslint.rule.ts",
          "markdown": "https://banes-lab.com/source/governance/rules/eslint/no-undeclared-dependency.eslint.rule.ts.md",
          "ref": "anatomy:file-governance-rules-eslint-no-undeclared-dependency-eslint-rule-ts"
        }
      ],
      "relation": "enforced-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-consumer-driven-contracts",
          "json": "https://banes-lab.com/json/records/architecture/consumer-driven-contracts",
          "label": "Consumer-Driven Contracts",
          "markdown": "https://banes-lab.com/records/architecture/consumer-driven-contracts.md",
          "ref": "architecture:consumer-driven-contracts"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-autonomy",
          "json": "https://banes-lab.com/json/records/architecture/autonomy",
          "label": "Autonomy",
          "markdown": "https://banes-lab.com/records/architecture/autonomy.md",
          "ref": "architecture:autonomy"
        }
      ],
      "relation": "required-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/pag#what-is-pag",
          "json": "https://banes-lab.com/json/pag/introduction/what-is-pag",
          "label": "What PAG is",
          "markdown": "https://banes-lab.com/pag/introduction/what-is-pag.md",
          "ref": "chapter:/pag#what-is-pag"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-anti-patterns",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-anti-patterns",
          "label": "Anti-patterns",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-anti-patterns.md",
          "ref": "chapter:/ontology#architecture-category-anti-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-contracts-interfaces-compatibility",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-contracts-interfaces-compatibility",
          "label": "Contracts / Interfaces / Compatibility",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-contracts-interfaces-compatibility.md",
          "ref": "chapter:/ontology#architecture-category-contracts-interfaces-compatibility"
        },
        {
          "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-core-modular-design",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-core-modular-design",
          "label": "Core Modular Design",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-core-modular-design.md",
          "ref": "chapter:/ontology#architecture-category-core-modular-design"
        },
        {
          "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-schema-canonical-data-semantics",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-schema-canonical-data-semantics",
          "label": "Schema / Canonical Data / Semantics",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-schema-canonical-data-semantics.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-schema-canonical-data-semantics"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-solid-object-oriented-design",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-solid-object-oriented-design",
          "label": "SOLID / Object-Oriented Design",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-solid-object-oriented-design.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-solid-object-oriented-design"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-architectural-clusters",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-architectural-clusters",
          "label": "Architectural Clusters",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-architectural-clusters.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-architectural-clusters"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-pag",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-pag",
          "label": "Pattern Abstract Grammar",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-pag"
        },
        {
          "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 design rule that every boundary declares the shape and meaning of what crosses it in a typed contract.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-stable-interfaces",
      "json": "https://banes-lab.com/json/records/architecture/stable-interfaces",
      "label": "Stable Interfaces",
      "markdown": "https://banes-lab.com/records/architecture/stable-interfaces.md",
      "ref": "architecture:stable-interfaces"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-design-by-contract",
      "json": "https://banes-lab.com/json/records/architecture/design-by-contract",
      "label": "Design by Contract",
      "markdown": "https://banes-lab.com/records/architecture/design-by-contract.md",
      "ref": "architecture:design-by-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": "interface SaveFoo {\n  execute(input: Readonly<{ id: FooId; name: string }>): Promise<{ saved: true; version: number }>;\n}\nconst saveFoo: SaveFoo = { execute: input => fooStore.save(input) };",
    "before": "function saveFoo(foo: any): any { return fooStore.save(foo); }",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "API",
    "service",
    "data",
    "protocol"
  ],
  "severity": "mandatory"
}