{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-invariant",
  "id": "invariant",
  "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": "Invariant",
  "ref": "architecture:invariant",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-encapsulation",
          "json": "https://banes-lab.com/json/records/architecture/encapsulation",
          "label": "Encapsulation",
          "markdown": "https://banes-lab.com/records/architecture/encapsulation.md",
          "ref": "architecture:encapsulation"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-validation",
          "json": "https://banes-lab.com/json/records/architecture/validation",
          "label": "Validation",
          "markdown": "https://banes-lab.com/records/architecture/validation.md",
          "ref": "architecture:validation"
        }
      ],
      "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#architecture-consistency",
          "json": "https://banes-lab.com/json/records/architecture/consistency",
          "label": "Consistency",
          "markdown": "https://banes-lab.com/records/architecture/consistency.md",
          "ref": "architecture:consistency"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-safe-refactoring",
          "json": "https://banes-lab.com/json/records/lexicon/safe-refactoring",
          "label": "Safe Refactoring",
          "markdown": "https://banes-lab.com/records/lexicon/safe-refactoring.md",
          "ref": "lexicon:safe-refactoring"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-external-state-mutation",
          "json": "https://banes-lab.com/json/records/lexicon/external-state-mutation",
          "label": "External State Mutation",
          "markdown": "https://banes-lab.com/records/lexicon/external-state-mutation.md",
          "ref": "lexicon:external-state-mutation"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-flexibility",
          "json": "https://banes-lab.com/json/records/lexicon/flexibility",
          "label": "Flexibility",
          "markdown": "https://banes-lab.com/records/lexicon/flexibility.md",
          "ref": "lexicon:flexibility"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-flexibility-invariant",
          "json": "https://banes-lab.com/json/records/tension/flexibility-invariant",
          "label": "Invariant / Flexibility",
          "markdown": "https://banes-lab.com/records/tension/flexibility-invariant.md",
          "ref": "tension:flexibility-invariant"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-reachable-invalid-state",
          "json": "https://banes-lab.com/json/records/lexicon/reachable-invalid-state",
          "label": "Reachable Invalid State",
          "markdown": "https://banes-lab.com/records/lexicon/reachable-invalid-state.md",
          "ref": "lexicon:reachable-invalid-state"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-encapsulate-state",
          "json": "https://banes-lab.com/json/records/lexicon/encapsulate-state",
          "label": "Encapsulate State",
          "markdown": "https://banes-lab.com/records/lexicon/encapsulate-state.md",
          "ref": "lexicon:encapsulate-state"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-factory-pattern",
          "json": "https://banes-lab.com/json/records/architecture/factory-pattern",
          "label": "Factory Pattern",
          "markdown": "https://banes-lab.com/records/architecture/factory-pattern.md",
          "ref": "architecture:factory-pattern"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-validate-at-the-boundary",
          "json": "https://banes-lab.com/json/records/lexicon/validate-at-the-boundary",
          "label": "Validate at the Boundary",
          "markdown": "https://banes-lab.com/records/lexicon/validate-at-the-boundary.md",
          "ref": "lexicon:validate-at-the-boundary"
        }
      ],
      "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/ontology/reasoning#reasoning-substrate-node-invariant",
          "json": "https://banes-lab.com/json/records/reasoning/substrate-node-invariant",
          "label": "Invariant",
          "markdown": "https://banes-lab.com/records/reasoning/substrate-node-invariant.md",
          "ref": "reasoning:substrate-node-invariant"
        }
      ],
      "relation": "concept"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/anatomy/governance#file-governance-rules-eslint-factory-owned-value-eslint-rule-ts",
          "json": "https://banes-lab.com/json/source/governance/rules/eslint/factory-owned-value.eslint.rule.ts",
          "label": "rules/eslint/factory-owned-value.eslint.rule.ts",
          "markdown": "https://banes-lab.com/source/governance/rules/eslint/factory-owned-value.eslint.rule.ts.md",
          "ref": "anatomy:file-governance-rules-eslint-factory-owned-value-eslint-rule-ts"
        },
        {
          "href": "https://banes-lab.com/anatomy/governance#file-governance-rules-eslint-validated-construction-eslint-rule-ts",
          "json": "https://banes-lab.com/json/source/governance/rules/eslint/validated-construction.eslint.rule.ts",
          "label": "rules/eslint/validated-construction.eslint.rule.ts",
          "markdown": "https://banes-lab.com/source/governance/rules/eslint/validated-construction.eslint.rule.ts.md",
          "ref": "anatomy:file-governance-rules-eslint-validated-construction-eslint-rule-ts"
        }
      ],
      "relation": "enforced-by"
    },
    {
      "links": [
        {
          "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"
        },
        {
          "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"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-postconditions",
          "json": "https://banes-lab.com/json/records/architecture/postconditions",
          "label": "Postconditions",
          "markdown": "https://banes-lab.com/records/architecture/postconditions.md",
          "ref": "architecture:postconditions"
        },
        {
          "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"
        }
      ],
      "relation": "required-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-aggregate",
          "json": "https://banes-lab.com/json/records/architecture/aggregate",
          "label": "Aggregate",
          "markdown": "https://banes-lab.com/records/architecture/aggregate.md",
          "ref": "architecture:aggregate"
        }
      ],
      "relation": "reinforced-by"
    },
    {
      "links": [
        {
          "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-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-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-transactions-state-concurrency",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-transactions-state-concurrency",
          "label": "Transactions / State / Concurrency",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-transactions-state-concurrency.md",
          "ref": "chapter:/ontology#architecture-category-transactions-state-concurrency"
        },
        {
          "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-modular-design",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-core-modular-design",
          "label": "Core Modular Design",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-core-modular-design.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-core-modular-design"
        },
        {
          "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-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-correctness-determinism-verification"
        },
        {
          "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/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/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 holds for an entity or aggregate in every state it can reach.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-backward-compatibility",
      "json": "https://banes-lab.com/json/records/architecture/backward-compatibility",
      "label": "Backward Compatibility",
      "markdown": "https://banes-lab.com/records/architecture/backward-compatibility.md",
      "ref": "architecture:backward-compatibility"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-postconditions",
      "json": "https://banes-lab.com/json/records/architecture/postconditions",
      "label": "Postconditions",
      "markdown": "https://banes-lab.com/records/architecture/postconditions.md",
      "ref": "architecture:postconditions"
    }
  },
  "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": "class FooAccount {\n  #balance = 0;\n  withdraw(amount: number) {\n    if (amount <= 0 || amount > this.#balance) throw new Error(\"invariant: balance >= 0\");\n    this.#balance -= amount;\n  }\n}",
    "before": "class FooAccount {\n  balance = 0;\n  withdraw(amount: number) { this.balance -= amount; }\n}",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "entity",
    "aggregate",
    "module",
    "system"
  ],
  "severity": "mandatory"
}