{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-type-safety",
  "id": "type-safety",
  "kind": "mechanism",
  "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": "Type Safety",
  "ref": "architecture:type-safety",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-explicit-types",
          "json": "https://banes-lab.com/json/records/lexicon/explicit-types",
          "label": "Explicit Types",
          "markdown": "https://banes-lab.com/records/lexicon/explicit-types.md",
          "ref": "lexicon:explicit-types"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "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"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-contracts",
          "json": "https://banes-lab.com/json/records/lexicon/contracts",
          "label": "Contracts",
          "markdown": "https://banes-lab.com/records/lexicon/contracts.md",
          "ref": "lexicon:contracts"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-static-analysis",
          "json": "https://banes-lab.com/json/records/architecture/static-analysis",
          "label": "Static Analysis",
          "markdown": "https://banes-lab.com/records/architecture/static-analysis.md",
          "ref": "architecture:static-analysis"
        }
      ],
      "relation": "enables"
    },
    {
      "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#architecture-stringly-typed-programming",
          "json": "https://banes-lab.com/json/records/architecture/stringly-typed-programming",
          "label": "Stringly Typed Programming",
          "markdown": "https://banes-lab.com/records/architecture/stringly-typed-programming.md",
          "ref": "architecture:stringly-typed-programming"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-rapid-scripting",
          "json": "https://banes-lab.com/json/records/lexicon/rapid-scripting",
          "label": "Rapid Scripting",
          "markdown": "https://banes-lab.com/records/lexicon/rapid-scripting.md",
          "ref": "lexicon:rapid-scripting"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-composite-pattern",
          "json": "https://banes-lab.com/json/records/architecture/composite-pattern",
          "label": "Composite Pattern",
          "markdown": "https://banes-lab.com/records/architecture/composite-pattern.md",
          "ref": "architecture:composite-pattern"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#tension-composite-pattern-type-safety",
          "json": "https://banes-lab.com/json/records/tension/composite-pattern-type-safety",
          "label": "Composite Pattern / Type Safety",
          "markdown": "https://banes-lab.com/records/tension/composite-pattern-type-safety.md",
          "ref": "tension:composite-pattern-type-safety"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-rapid-scripting-type-safety",
          "json": "https://banes-lab.com/json/records/tension/rapid-scripting-type-safety",
          "label": "Type Safety / Rapid Scripting",
          "markdown": "https://banes-lab.com/records/tension/rapid-scripting-type-safety.md",
          "ref": "tension:rapid-scripting-type-safety"
        }
      ],
      "relation": "tensions"
    },
    {
      "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"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-narrow-type",
          "json": "https://banes-lab.com/json/records/lexicon/narrow-type",
          "label": "Narrow Type",
          "markdown": "https://banes-lab.com/records/lexicon/narrow-type.md",
          "ref": "lexicon:narrow-type"
        },
        {
          "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"
        }
      ],
      "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-schema-canonical-data-semantics",
          "json": "https://banes-lab.com/json/records/architecture-category/schema-canonical-data-semantics",
          "label": "Schema / Canonical Data / Semantics",
          "markdown": "https://banes-lab.com/records/architecture-category/schema-canonical-data-semantics.md",
          "ref": "architecture-category:schema-canonical-data-semantics"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/anatomy/governance#file-governance-rules-eslint-closure-discriminated-union-must-be-exhaustive-eslint-rule-ts",
          "json": "https://banes-lab.com/json/source/governance/rules/eslint/closure-discriminated-union-must-be-exhaustive.eslint.rule.ts",
          "label": "rules/eslint/closure-discriminated-union-must-be-exhaustive.eslint.rule.ts",
          "markdown": "https://banes-lab.com/source/governance/rules/eslint/closure-discriminated-union-must-be-exhaustive.eslint.rule.ts.md",
          "ref": "anatomy:file-governance-rules-eslint-closure-discriminated-union-must-be-exhaustive-eslint-rule-ts"
        },
        {
          "href": "https://banes-lab.com/anatomy/governance#file-governance-rules-eslint-closure-no-double-cast-eslint-rule-ts",
          "json": "https://banes-lab.com/json/source/governance/rules/eslint/closure-no-double-cast.eslint.rule.ts",
          "label": "rules/eslint/closure-no-double-cast.eslint.rule.ts",
          "markdown": "https://banes-lab.com/source/governance/rules/eslint/closure-no-double-cast.eslint.rule.ts.md",
          "ref": "anatomy:file-governance-rules-eslint-closure-no-double-cast-eslint-rule-ts"
        },
        {
          "href": "https://banes-lab.com/anatomy/governance#file-governance-rules-eslint-closure-no-null-managed-instance-eslint-rule-ts",
          "json": "https://banes-lab.com/json/source/governance/rules/eslint/closure-no-null-managed-instance.eslint.rule.ts",
          "label": "rules/eslint/closure-no-null-managed-instance.eslint.rule.ts",
          "markdown": "https://banes-lab.com/source/governance/rules/eslint/closure-no-null-managed-instance.eslint.rule.ts.md",
          "ref": "anatomy:file-governance-rules-eslint-closure-no-null-managed-instance-eslint-rule-ts"
        }
      ],
      "relation": "enforced-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-explicit-contracts",
          "json": "https://banes-lab.com/json/records/architecture/explicit-contracts",
          "label": "Explicit Contracts",
          "markdown": "https://banes-lab.com/records/architecture/explicit-contracts.md",
          "ref": "architecture:explicit-contracts"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-data-contract",
          "json": "https://banes-lab.com/json/records/architecture/data-contract",
          "label": "Data Contract",
          "markdown": "https://banes-lab.com/records/architecture/data-contract.md",
          "ref": "architecture:data-contract"
        }
      ],
      "relation": "required-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-liskov-substitution",
          "json": "https://banes-lab.com/json/records/architecture/liskov-substitution",
          "label": "Liskov Substitution Principle",
          "markdown": "https://banes-lab.com/records/architecture/liskov-substitution.md",
          "ref": "architecture:liskov-substitution"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-compile-time-evaluation",
          "json": "https://banes-lab.com/json/records/architecture/compile-time-evaluation",
          "label": "Compile-Time Evaluation",
          "markdown": "https://banes-lab.com/records/architecture/compile-time-evaluation.md",
          "ref": "architecture:compile-time-evaluation"
        }
      ],
      "relation": "reinforced-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/disciplined-methodology/build#a-check-matches-a-shape",
          "json": "https://banes-lab.com/json/disciplined-methodology/build/a-check-matches-a-shape",
          "label": "A check matches a shape",
          "markdown": "https://banes-lab.com/disciplined-methodology/build/a-check-matches-a-shape.md",
          "ref": "chapter:/disciplined-methodology/build#a-check-matches-a-shape"
        },
        {
          "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-solid-object-oriented-design",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-solid-object-oriented-design",
          "label": "SOLID / Object-Oriented Design",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-solid-object-oriented-design.md",
          "ref": "chapter:/ontology#architecture-category-solid-object-oriented-design"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-metaprogramming-language-oriented-architecture",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-metaprogramming-language-oriented-architecture",
          "label": "Metaprogramming / Language-Oriented Architecture",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-metaprogramming-language-oriented-architecture.md",
          "ref": "chapter:/ontology#architecture-category-metaprogramming-language-oriented-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-structural-patterns",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-structural-patterns",
          "label": "Structural Patterns",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-structural-patterns.md",
          "ref": "chapter:/ontology#architecture-category-structural-patterns"
        },
        {
          "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-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/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 mechanism that has the compiler reject operations on values of the wrong type before the code runs.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-canonical-model",
      "json": "https://banes-lab.com/json/records/architecture/canonical-model",
      "label": "Canonical Model",
      "markdown": "https://banes-lab.com/records/architecture/canonical-model.md",
      "ref": "architecture:canonical-model"
    },
    "previous": {
      "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"
    }
  },
  "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 FooId = string & { readonly __brand: \"FooId\" };\ntype Foo = Readonly<{ id: FooId; count: number }>;\nfunction loadFoo(id: FooId): Foo | undefined { return fooStore.get(id); }",
    "before": "function loadFoo(id: string): any { return fooStore.get(id); }\nconst count = loadFoo(\"x\").coutn + 1;",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "function",
    "module",
    "API",
    "data"
  ],
  "severity": "mandatory"
}