{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-contradicted-invariant",
  "id": "contradicted-invariant",
  "kind": "anti-pattern",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-execution-core",
    "json": "https://banes-lab.com/json/records/layer/execution-core",
    "label": "Execution Core",
    "markdown": "https://banes-lab.com/records/layer/execution-core.md",
    "ref": "layer:execution-core"
  },
  "name": "Contradicted Invariant",
  "ref": "architecture:contradicted-invariant",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-treat-the-statements-as-one-unit",
          "json": "https://banes-lab.com/json/records/lexicon/treat-the-statements-as-one-unit",
          "label": "Treat the Statements as One Unit",
          "markdown": "https://banes-lab.com/records/lexicon/treat-the-statements-as-one-unit.md",
          "ref": "lexicon:treat-the-statements-as-one-unit"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-re-derive-every-copy-on-change",
          "json": "https://banes-lab.com/json/records/lexicon/re-derive-every-copy-on-change",
          "label": "Re-Derive Every Copy on Change",
          "markdown": "https://banes-lab.com/records/lexicon/re-derive-every-copy-on-change.md",
          "ref": "lexicon:re-derive-every-copy-on-change"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-discouraged",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-discouraged",
          "label": "discouraged",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-discouraged.md",
          "ref": "vocabulary:severity-discouraged"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-coordination-surfaces",
          "json": "https://banes-lab.com/json/records/architecture-category/coordination-surfaces",
          "label": "Coordination Surfaces",
          "markdown": "https://banes-lab.com/records/architecture-category/coordination-surfaces.md",
          "ref": "architecture-category:coordination-surfaces"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-stated-invariant",
          "json": "https://banes-lab.com/json/records/architecture/stated-invariant",
          "label": "Stated Invariant",
          "markdown": "https://banes-lab.com/records/architecture/stated-invariant.md",
          "ref": "architecture:stated-invariant"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-operand-free-outcome-surface",
          "json": "https://banes-lab.com/json/records/architecture/operand-free-outcome-surface",
          "label": "Operand-Free Outcome Surface",
          "markdown": "https://banes-lab.com/records/architecture/operand-free-outcome-surface.md",
          "ref": "architecture:operand-free-outcome-surface"
        }
      ],
      "relation": "negated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/disciplined-methodology/collaborate#stating-an-invariant",
          "json": "https://banes-lab.com/json/disciplined-methodology/collaborate/stating-an-invariant",
          "label": "Stating an invariant",
          "markdown": "https://banes-lab.com/disciplined-methodology/collaborate/stating-an-invariant.md",
          "ref": "chapter:/disciplined-methodology/collaborate#stating-an-invariant"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-coordination-surfaces",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-coordination-surfaces",
          "label": "Coordination Surfaces",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-coordination-surfaces.md",
          "ref": "chapter:/ontology#architecture-category-coordination-surfaces"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-coordination-surfaces",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-coordination-surfaces",
          "label": "Coordination Surfaces",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-coordination-surfaces"
        },
        {
          "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"
        }
      ],
      "relation": "linked-from"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/anatomy/coordination#file-coordination-models-coordination-model-md",
          "json": "https://banes-lab.com/json/source/coordination/models/coordination.model.md",
          "label": "models/coordination.model.md",
          "markdown": "https://banes-lab.com/source/coordination/models/coordination.model.md.md",
          "ref": "anatomy:file-coordination-models-coordination-model-md"
        }
      ],
      "relation": "evidence"
    }
  ],
  "summary": "A defect in which one surface states the opposite of an invariant another relies on, so every mechanism faithfully implementing either statement stays green while the invariant is violated.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-written-status-marker",
      "json": "https://banes-lab.com/json/records/architecture/written-status-marker",
      "label": "Written Status Marker",
      "markdown": "https://banes-lab.com/records/architecture/written-status-marker.md",
      "ref": "architecture:written-status-marker"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-single-aggregate",
      "json": "https://banes-lab.com/json/records/architecture/single-aggregate",
      "label": "Single Aggregate",
      "markdown": "https://banes-lab.com/records/architecture/single-aggregate.md",
      "ref": "architecture:single-aggregate"
    }
  },
  "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": "every copy of the invariant is listed → a change re-derives the set → the most delivered copy is updated first",
    "before": "the model states one writer per record → a template states one writer per file → a tool built from the template rewrites whole files and every check passes",
    "lang": "flow",
    "medium": "composite"
  },
  "formedBy": "restating an invariant in a second surface and changing only one of the copies",
  "scope": [
    "topology"
  ],
  "severity": "discouraged"
}