Operand-Free Outcome Surface

Kind: constraint

Layer: Execution Core

Record: architecture:operand-free-outcome-surface

Severity: mandatory

Scope: surface, authorship

Canonical: Ontology

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.

Listed in Architecture principles, after Write Barrier and before Projection Channel.

Requires

• Outcome Surface

Reinforces

• Stated Invariant

Enables

• Traceable Guarantee

Conflicts with

• Contradicted Invariant

Violated by

• Assumed Single Writer
• Fenced Joint Surface

Refactored by

• Declare the Missing Operand
• Settle Collisions by Announcement

Severity

• mandatory

Category

• Coordination Surfaces

Linked from

• Coordination Surfaces
• Coordination Surfaces
• Severity levels

in this codebase

• models/coordination.model.md