{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-postconditions",
  "id": "postconditions",
  "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": "Postconditions",
  "ref": "architecture:postconditions",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-result-validation",
          "json": "https://banes-lab.com/json/records/lexicon/result-validation",
          "label": "Result Validation",
          "markdown": "https://banes-lab.com/records/lexicon/result-validation.md",
          "ref": "lexicon:result-validation"
        },
        {
          "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"
        }
      ],
      "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-predictability",
          "json": "https://banes-lab.com/json/records/architecture/predictability",
          "label": "Predictability",
          "markdown": "https://banes-lab.com/records/architecture/predictability.md",
          "ref": "architecture:predictability"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-testability",
          "json": "https://banes-lab.com/json/records/architecture/testability",
          "label": "Testability",
          "markdown": "https://banes-lab.com/records/architecture/testability.md",
          "ref": "architecture:testability"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-undefined-results",
          "json": "https://banes-lab.com/json/records/lexicon/undefined-results",
          "label": "Undefined Results",
          "markdown": "https://banes-lab.com/records/lexicon/undefined-results.md",
          "ref": "lexicon:undefined-results"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-runtime-cost",
          "json": "https://banes-lab.com/json/records/lexicon/runtime-cost",
          "label": "Runtime Cost",
          "markdown": "https://banes-lab.com/records/lexicon/runtime-cost.md",
          "ref": "lexicon:runtime-cost"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-postconditions-runtime-cost",
          "json": "https://banes-lab.com/json/records/tension/postconditions-runtime-cost",
          "label": "Postconditions / Runtime Cost",
          "markdown": "https://banes-lab.com/records/tension/postconditions-runtime-cost.md",
          "ref": "tension:postconditions-runtime-cost"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-undefined-results",
          "json": "https://banes-lab.com/json/records/lexicon/undefined-results",
          "label": "Undefined Results",
          "markdown": "https://banes-lab.com/records/lexicon/undefined-results.md",
          "ref": "lexicon:undefined-results"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-invariant-check",
          "json": "https://banes-lab.com/json/records/lexicon/invariant-check",
          "label": "Invariant Check",
          "markdown": "https://banes-lab.com/records/lexicon/invariant-check.md",
          "ref": "lexicon:invariant-check"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-introduce-typed-result",
          "json": "https://banes-lab.com/json/records/lexicon/introduce-typed-result",
          "label": "Introduce Typed Result",
          "markdown": "https://banes-lab.com/records/lexicon/introduce-typed-result.md",
          "ref": "lexicon:introduce-typed-result"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-contract-testing",
          "json": "https://banes-lab.com/json/records/lexicon/contract-testing",
          "label": "Contract Testing",
          "markdown": "https://banes-lab.com/records/lexicon/contract-testing.md",
          "ref": "lexicon:contract-testing"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-recommended",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-recommended",
          "label": "recommended",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-recommended.md",
          "ref": "vocabulary:severity-recommended"
        }
      ],
      "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#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-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-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/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-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-error-handling-resilience",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-error-handling-resilience",
          "label": "Error Handling / Resilience",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-error-handling-resilience.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-error-handling-resilience"
        },
        {
          "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 an operation's result and resulting state must satisfy when it returns.",
  "siblings": {
    "next": {
      "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"
    },
    "previous": {
      "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"
    }
  },
  "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": "async function createFoo(foo: Foo): Promise<FooId> {\n  await fooStore.save(foo);\n  const saved = await fooStore.find(foo.id);\n  if (!saved) throw new Error(\"post: Foo must be persisted\");\n  return saved.id;\n}",
    "before": "async function createFoo(foo: Foo) { return fooStore.save(foo); }",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "function",
    "method",
    "transaction"
  ],
  "severity": "recommended"
}