{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-operand-free-outcome-surface",
  "id": "operand-free-outcome-surface",
  "kind": "constraint",
  "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": "Operand-Free Outcome Surface",
  "ref": "architecture:operand-free-outcome-surface",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-outcome-surface",
          "json": "https://banes-lab.com/json/records/lexicon/outcome-surface",
          "label": "Outcome Surface",
          "markdown": "https://banes-lab.com/records/lexicon/outcome-surface.md",
          "ref": "lexicon:outcome-surface"
        }
      ],
      "relation": "requires"
    },
    {
      "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"
        }
      ],
      "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-assumed-single-writer",
          "json": "https://banes-lab.com/json/records/lexicon/assumed-single-writer",
          "label": "Assumed Single Writer",
          "markdown": "https://banes-lab.com/records/lexicon/assumed-single-writer.md",
          "ref": "lexicon:assumed-single-writer"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-fenced-joint-surface",
          "json": "https://banes-lab.com/json/records/lexicon/fenced-joint-surface",
          "label": "Fenced Joint Surface",
          "markdown": "https://banes-lab.com/records/lexicon/fenced-joint-surface.md",
          "ref": "lexicon:fenced-joint-surface"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-declare-the-missing-operand",
          "json": "https://banes-lab.com/json/records/lexicon/declare-the-missing-operand",
          "label": "Declare the Missing Operand",
          "markdown": "https://banes-lab.com/records/lexicon/declare-the-missing-operand.md",
          "ref": "lexicon:declare-the-missing-operand"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-settle-collisions-by-announcement",
          "json": "https://banes-lab.com/json/records/lexicon/settle-collisions-by-announcement",
          "label": "Settle Collisions by Announcement",
          "markdown": "https://banes-lab.com/records/lexicon/settle-collisions-by-announcement.md",
          "ref": "lexicon:settle-collisions-by-announcement"
        }
      ],
      "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-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-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 rule or precondition that a surface carrying one jointly authored product declares that one writer per record has no operand there, and settles a collision by announcement and by each author cutting its own duplicate.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-projection-channel",
      "json": "https://banes-lab.com/json/records/architecture/projection-channel",
      "label": "Projection Channel",
      "markdown": "https://banes-lab.com/records/architecture/projection-channel.md",
      "ref": "architecture:projection-channel"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-write-barrier",
      "json": "https://banes-lab.com/json/records/architecture/write-barrier",
      "label": "Write Barrier",
      "markdown": "https://banes-lab.com/records/architecture/write-barrier.md",
      "ref": "architecture:write-barrier"
    }
  },
  "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": "the surface declares: one writer per record has no operand here → a collision is announced → each author cuts its own duplicate",
    "before": "a class statement written by several parties → the one-writer invariant is assumed to hold → nothing objects when two parties write the same clause",
    "lang": "flow",
    "medium": "composite"
  },
  "formedBy": null,
  "scope": [
    "surface",
    "authorship"
  ],
  "severity": "mandatory"
}