{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-stated-invariant",
  "id": "stated-invariant",
  "kind": "principle",
  "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": "Stated Invariant",
  "ref": "architecture:stated-invariant",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-coordination-surface",
          "json": "https://banes-lab.com/json/records/lexicon/coordination-surface",
          "label": "Coordination Surface",
          "markdown": "https://banes-lab.com/records/lexicon/coordination-surface.md",
          "ref": "lexicon:coordination-surface"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-fitness-functions",
          "json": "https://banes-lab.com/json/records/architecture/fitness-functions",
          "label": "Fitness Functions",
          "markdown": "https://banes-lab.com/records/architecture/fitness-functions.md",
          "ref": "architecture:fitness-functions"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-traceable-guarantee",
          "json": "https://banes-lab.com/json/records/lexicon/traceable-guarantee",
          "label": "Traceable Guarantee",
          "markdown": "https://banes-lab.com/records/lexicon/traceable-guarantee.md",
          "ref": "lexicon:traceable-guarantee"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-contradicted-invariant",
          "json": "https://banes-lab.com/json/records/architecture/contradicted-invariant",
          "label": "Contradicted Invariant",
          "markdown": "https://banes-lab.com/records/architecture/contradicted-invariant.md",
          "ref": "architecture:contradicted-invariant"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-unobjected-invariant",
          "json": "https://banes-lab.com/json/records/lexicon/unobjected-invariant",
          "label": "Unobjected Invariant",
          "markdown": "https://banes-lab.com/records/lexicon/unobjected-invariant.md",
          "ref": "lexicon:unobjected-invariant"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-unreceived-invariant",
          "json": "https://banes-lab.com/json/records/lexicon/unreceived-invariant",
          "label": "Unreceived Invariant",
          "markdown": "https://banes-lab.com/records/lexicon/unreceived-invariant.md",
          "ref": "lexicon:unreceived-invariant"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-name-the-objector",
          "json": "https://banes-lab.com/json/records/lexicon/name-the-objector",
          "label": "Name the Objector",
          "markdown": "https://banes-lab.com/records/lexicon/name-the-objector.md",
          "ref": "lexicon:name-the-objector"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-mark-the-invariant-unheld",
          "json": "https://banes-lab.com/json/records/lexicon/mark-the-invariant-unheld",
          "label": "Mark the Invariant Unheld",
          "markdown": "https://banes-lab.com/records/lexicon/mark-the-invariant-unheld.md",
          "ref": "lexicon:mark-the-invariant-unheld"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-invariant",
          "json": "https://banes-lab.com/json/records/pag/keyword-invariant",
          "label": "INVARIANT",
          "markdown": "https://banes-lab.com/records/pag/keyword-invariant.md",
          "ref": "pag:keyword-invariant"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-production-invariant-record",
          "json": "https://banes-lab.com/json/records/pag/production-invariant-record",
          "label": "invariant_record",
          "markdown": "https://banes-lab.com/records/pag/production-invariant-record.md",
          "ref": "pag:production-invariant-record"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-production-invariant-block",
          "json": "https://banes-lab.com/json/records/pag/production-invariant-block",
          "label": "invariant_block",
          "markdown": "https://banes-lab.com/records/pag/production-invariant-block.md",
          "ref": "pag:production-invariant-block"
        }
      ],
      "relation": "expressed-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-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-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": "reinforced-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/pag/orchestration#orchestration-invariants",
          "json": "https://banes-lab.com/json/pag/orchestration/orchestration-invariants",
          "label": "Orchestration invariants",
          "markdown": "https://banes-lab.com/pag/orchestration/orchestration-invariants.md",
          "ref": "chapter:/pag/orchestration#orchestration-invariants"
        },
        {
          "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-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-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 design rule that an invariant a topology relies on is written with its property in a form that could be false, the set it ranges over, the parties it binds and the thing that would object if it stopped holding.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-derived-record-state",
      "json": "https://banes-lab.com/json/records/architecture/derived-record-state",
      "label": "Derived Record State",
      "markdown": "https://banes-lab.com/records/architecture/derived-record-state.md",
      "ref": "architecture:derived-record-state"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-space-based-architecture",
      "json": "https://banes-lab.com/json/records/architecture/space-based-architecture",
      "label": "Space-Based Architecture",
      "markdown": "https://banes-lab.com/records/architecture/space-based-architecture.md",
      "ref": "architecture:space-based-architecture"
    }
  },
  "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": "property: one writer per record → set: every record on a coordination surface → parties: every writer → objector: a check failing a record whose fence names two writers",
    "before": "every surface has one writer → nothing counts writers → a second writer lands and every guarantee resting on the first still reads as sound",
    "lang": "flow",
    "medium": "composite"
  },
  "formedBy": null,
  "scope": [
    "topology",
    "coordination"
  ],
  "severity": "mandatory"
}