{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-correctness",
  "id": "correctness",
  "kind": "quality-attribute",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-computation-core",
    "json": "https://banes-lab.com/json/records/layer/computation-core",
    "label": "Computation Core",
    "markdown": "https://banes-lab.com/records/layer/computation-core.md",
    "ref": "layer:computation-core"
  },
  "name": "Correctness",
  "ref": "architecture:correctness",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-specification",
          "json": "https://banes-lab.com/json/records/lexicon/specification",
          "label": "Specification",
          "markdown": "https://banes-lab.com/records/lexicon/specification.md",
          "ref": "lexicon:specification"
        },
        {
          "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"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-tests",
          "json": "https://banes-lab.com/json/records/lexicon/tests",
          "label": "Tests",
          "markdown": "https://banes-lab.com/records/lexicon/tests.md",
          "ref": "lexicon:tests"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "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"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-safe-operation",
          "json": "https://banes-lab.com/json/records/lexicon/safe-operation",
          "label": "Safe Operation",
          "markdown": "https://banes-lab.com/records/lexicon/safe-operation.md",
          "ref": "lexicon:safe-operation"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-undefined-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/undefined-behavior",
          "label": "Undefined Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/undefined-behavior.md",
          "ref": "lexicon:undefined-behavior"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-delivery-speed",
          "json": "https://banes-lab.com/json/records/lexicon/delivery-speed",
          "label": "Delivery Speed",
          "markdown": "https://banes-lab.com/records/lexicon/delivery-speed.md",
          "ref": "lexicon:delivery-speed"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-correctness-delivery-speed",
          "json": "https://banes-lab.com/json/records/tension/correctness-delivery-speed",
          "label": "Correctness / Delivery Speed",
          "markdown": "https://banes-lab.com/records/tension/correctness-delivery-speed.md",
          "ref": "tension:correctness-delivery-speed"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-undefined-behavior",
          "json": "https://banes-lab.com/json/records/lexicon/undefined-behavior",
          "label": "Undefined Behavior",
          "markdown": "https://banes-lab.com/records/lexicon/undefined-behavior.md",
          "ref": "lexicon:undefined-behavior"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-unit-tests",
          "json": "https://banes-lab.com/json/records/lexicon/unit-tests",
          "label": "Unit Tests",
          "markdown": "https://banes-lab.com/records/lexicon/unit-tests.md",
          "ref": "lexicon:unit-tests"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-define-contract",
          "json": "https://banes-lab.com/json/records/lexicon/define-contract",
          "label": "Define Contract",
          "markdown": "https://banes-lab.com/records/lexicon/define-contract.md",
          "ref": "lexicon:define-contract"
        }
      ],
      "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-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/records/architecture-category/correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/records/architecture-category/correctness-determinism-verification.md",
          "ref": "architecture-category:correctness-determinism-verification"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/anatomy/governance#file-governance-codemods-entrypoints-code-point-entrypoint-ts",
          "json": "https://banes-lab.com/json/source/governance/codemods/entrypoints/code-point.entrypoint.ts",
          "label": "codemods/entrypoints/code-point.entrypoint.ts",
          "markdown": "https://banes-lab.com/source/governance/codemods/entrypoints/code-point.entrypoint.ts.md",
          "ref": "anatomy:file-governance-codemods-entrypoints-code-point-entrypoint-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-happens-before-relationship",
          "json": "https://banes-lab.com/json/records/architecture/happens-before-relationship",
          "label": "Happens-Before Relationship",
          "markdown": "https://banes-lab.com/records/architecture/happens-before-relationship.md",
          "ref": "architecture:happens-before-relationship"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-semantic-contracts",
          "json": "https://banes-lab.com/json/records/architecture/semantic-contracts",
          "label": "Semantic Contracts",
          "markdown": "https://banes-lab.com/records/architecture/semantic-contracts.md",
          "ref": "architecture:semantic-contracts"
        },
        {
          "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-invariant",
          "json": "https://banes-lab.com/json/records/architecture/invariant",
          "label": "Invariant",
          "markdown": "https://banes-lab.com/records/architecture/invariant.md",
          "ref": "architecture:invariant"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-formal-verification",
          "json": "https://banes-lab.com/json/records/architecture/formal-verification",
          "label": "Formal Verification",
          "markdown": "https://banes-lab.com/records/architecture/formal-verification.md",
          "ref": "architecture:formal-verification"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-specification-based-testing",
          "json": "https://banes-lab.com/json/records/architecture/specification-based-testing",
          "label": "Specification-Based Testing",
          "markdown": "https://banes-lab.com/records/architecture/specification-based-testing.md",
          "ref": "architecture:specification-based-testing"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-property-based-testing",
          "json": "https://banes-lab.com/json/records/architecture/property-based-testing",
          "label": "Property-Based Testing",
          "markdown": "https://banes-lab.com/records/architecture/property-based-testing.md",
          "ref": "architecture:property-based-testing"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-verification",
          "json": "https://banes-lab.com/json/records/architecture/verification",
          "label": "Verification",
          "markdown": "https://banes-lab.com/records/architecture/verification.md",
          "ref": "architecture:verification"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-fail-fast",
          "json": "https://banes-lab.com/json/records/architecture/fail-fast",
          "label": "Fail Fast",
          "markdown": "https://banes-lab.com/records/architecture/fail-fast.md",
          "ref": "architecture:fail-fast"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-error-handling",
          "json": "https://banes-lab.com/json/records/architecture/error-handling",
          "label": "Error Handling",
          "markdown": "https://banes-lab.com/records/architecture/error-handling.md",
          "ref": "architecture:error-handling"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-design-review",
          "json": "https://banes-lab.com/json/records/architecture/design-review",
          "label": "Design Review",
          "markdown": "https://banes-lab.com/records/architecture/design-review.md",
          "ref": "architecture:design-review"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-first-principles-design",
          "json": "https://banes-lab.com/json/records/architecture/first-principles-design",
          "label": "First-Principles Design",
          "markdown": "https://banes-lab.com/records/architecture/first-principles-design.md",
          "ref": "architecture:first-principles-design"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-model-evaluation",
          "json": "https://banes-lab.com/json/records/architecture/model-evaluation",
          "label": "Model Evaluation",
          "markdown": "https://banes-lab.com/records/architecture/model-evaluation.md",
          "ref": "architecture:model-evaluation"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-finite-state-machine",
          "json": "https://banes-lab.com/json/records/architecture/finite-state-machine",
          "label": "Finite State Machine",
          "markdown": "https://banes-lab.com/records/architecture/finite-state-machine.md",
          "ref": "architecture:finite-state-machine"
        },
        {
          "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#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"
        },
        {
          "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-input-validation",
          "json": "https://banes-lab.com/json/records/architecture/input-validation",
          "label": "Input Validation",
          "markdown": "https://banes-lab.com/records/architecture/input-validation.md",
          "ref": "architecture:input-validation"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-atomicity",
          "json": "https://banes-lab.com/json/records/architecture/atomicity",
          "label": "Atomicity",
          "markdown": "https://banes-lab.com/records/architecture/atomicity.md",
          "ref": "architecture:atomicity"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-acid",
          "json": "https://banes-lab.com/json/records/architecture/acid",
          "label": "ACID",
          "markdown": "https://banes-lab.com/records/architecture/acid.md",
          "ref": "architecture:acid"
        },
        {
          "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"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-isolation",
          "json": "https://banes-lab.com/json/records/architecture/isolation",
          "label": "Isolation",
          "markdown": "https://banes-lab.com/records/architecture/isolation.md",
          "ref": "architecture:isolation"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-concurrency-control",
          "json": "https://banes-lab.com/json/records/architecture/concurrency-control",
          "label": "Concurrency Control",
          "markdown": "https://banes-lab.com/records/architecture/concurrency-control.md",
          "ref": "architecture:concurrency-control"
        }
      ],
      "relation": "reinforced-by"
    },
    {
      "links": [
        {
          "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"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-single-source-of-truth",
          "json": "https://banes-lab.com/json/records/architecture/single-source-of-truth",
          "label": "Single Source of Truth",
          "markdown": "https://banes-lab.com/records/architecture/single-source-of-truth.md",
          "ref": "architecture:single-source-of-truth"
        }
      ],
      "relation": "enabled-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/disciplined-methodology#who-does-what",
          "json": "https://banes-lab.com/json/disciplined-methodology/start/who-does-what",
          "label": "Who does what",
          "markdown": "https://banes-lab.com/disciplined-methodology/start/who-does-what.md",
          "ref": "chapter:/disciplined-methodology#who-does-what"
        },
        {
          "href": "https://banes-lab.com/disciplined-methodology/verify#unknown-is-not-pass",
          "json": "https://banes-lab.com/json/disciplined-methodology/verify/unknown-is-not-pass",
          "label": "Unknown is not pass",
          "markdown": "https://banes-lab.com/disciplined-methodology/verify/unknown-is-not-pass.md",
          "ref": "chapter:/disciplined-methodology/verify#unknown-is-not-pass"
        },
        {
          "href": "https://banes-lab.com/disciplined-methodology/verify#counting-copies",
          "json": "https://banes-lab.com/json/disciplined-methodology/verify/counting-copies",
          "label": "Counting copies",
          "markdown": "https://banes-lab.com/disciplined-methodology/verify/counting-copies.md",
          "ref": "chapter:/disciplined-methodology/verify#counting-copies"
        },
        {
          "href": "https://banes-lab.com/disciplined-methodology/verify#coverage-is-derived",
          "json": "https://banes-lab.com/json/disciplined-methodology/verify/coverage-is-derived",
          "label": "Coverage is derived",
          "markdown": "https://banes-lab.com/disciplined-methodology/verify/coverage-is-derived.md",
          "ref": "chapter:/disciplined-methodology/verify#coverage-is-derived"
        },
        {
          "href": "https://banes-lab.com/software-architecture/principles#separate-trade-or-mitigate",
          "json": "https://banes-lab.com/json/software-architecture/principles/separate-trade-or-mitigate",
          "label": "Separate, trade, or mitigate",
          "markdown": "https://banes-lab.com/software-architecture/principles/separate-trade-or-mitigate.md",
          "ref": "chapter:/software-architecture/principles#separate-trade-or-mitigate"
        },
        {
          "href": "https://banes-lab.com/software-architecture/coverage#what-can-drift-seen-through-how-it-drifts",
          "json": "https://banes-lab.com/json/software-architecture/coverage/what-can-drift-seen-through-how-it-drifts",
          "label": "What can drift, seen through how it drifts",
          "markdown": "https://banes-lab.com/software-architecture/coverage/what-can-drift-seen-through-how-it-drifts.md",
          "ref": "chapter:/software-architecture/coverage#what-can-drift-seen-through-how-it-drifts"
        },
        {
          "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-causality-ordering-distributed-time",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-causality-ordering-distributed-time",
          "label": "Causality / Ordering / Distributed Time",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-causality-ordering-distributed-time.md",
          "ref": "chapter:/ontology#architecture-category-causality-ordering-distributed-time"
        },
        {
          "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-error-handling-resilience",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-error-handling-resilience",
          "label": "Error Handling / Resilience",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-error-handling-resilience.md",
          "ref": "chapter:/ontology#architecture-category-error-handling-resilience"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-architecture-review-evolution-governance-artifacts",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-architecture-review-evolution-governance-artifacts",
          "label": "Architecture Review / Evolution / Governance Artifacts",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-architecture-review-evolution-governance-artifacts.md",
          "ref": "chapter:/ontology#architecture-category-architecture-review-evolution-governance-artifacts"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-model-architecture",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-model-architecture",
          "label": "Model Architecture",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-model-architecture.md",
          "ref": "chapter:/ontology#architecture-category-model-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-behavioral-patterns",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-behavioral-patterns",
          "label": "Behavioral Patterns",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-behavioral-patterns.md",
          "ref": "chapter:/ontology#architecture-category-behavioral-patterns"
        },
        {
          "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#architecture-category-security-privacy-compliance-governance",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-security-privacy-compliance-governance",
          "label": "Security / Privacy / Compliance / Governance",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-security-privacy-compliance-governance.md",
          "ref": "chapter:/ontology#architecture-category-security-privacy-compliance-governance"
        },
        {
          "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-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/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": "The degree to which the behavior of code matches its specification.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-formal-verification",
      "json": "https://banes-lab.com/json/records/architecture/formal-verification",
      "label": "Formal Verification",
      "markdown": "https://banes-lab.com/records/architecture/formal-verification.md",
      "ref": "architecture:formal-verification"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-repeatability",
      "json": "https://banes-lab.com/json/records/architecture/repeatability",
      "label": "Repeatability",
      "markdown": "https://banes-lab.com/records/architecture/repeatability.md",
      "ref": "architecture:repeatability"
    }
  },
  "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": "function averageFoo(total: number, count: number) {\n  if (!Number.isFinite(total)) throw new Error(\"invalid total\");\n  if (!Number.isInteger(count) || count <= 0) throw new Error(\"invalid count\");\n  return total / count;\n}",
    "before": "function averageFoo(total: number, count: number) { return total / count; }",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "function",
    "module",
    "system"
  ],
  "severity": "mandatory"
}