Stated Invariant

Kind: principle

Layer: Execution Core

Record: architecture:stated-invariant

Severity: mandatory

Scope: topology, coordination

Canonical: Ontology

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.

Listed in Architecture principles, after Space-Based Architecture and before Derived Record State.

Requires

• Coordination Surface

Reinforces

• Fitness Functions

Enables

• Traceable Guarantee

Conflicts with

• Contradicted Invariant

Violated by

• Unobjected Invariant
• Unreceived Invariant

Refactored by

• Name the Objector
• Mark the Invariant Unheld

Expressed by

• INVARIANT
• invariant_record
• invariant_block

Severity

• mandatory

Category

• Coordination Surfaces

Reinforced by

• Operand-Free Outcome Surface

Linked from

• Orchestration invariants
• Stating an invariant
• Architecture Review / Evolution / Governance Artifacts
• Coordination Surfaces
• Coordination Surfaces
• Severity levels

in this codebase

• models/coordination.model.md