Contradicted Invariant

Kind: anti-pattern

Layer: Execution Core

Record: architecture:contradicted-invariant

Severity: discouraged

Scope: topology

Formed by: restating an invariant in a second surface and changing only one of the copies

Canonical: Ontology

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.

Listed in Architecture principles, after Single Aggregate and before Written Status Marker.

Refactored by

• Treat the Statements as One Unit
• Re-Derive Every Copy on Change

Severity

• discouraged

Category

• Coordination Surfaces

Negated by

• Stated Invariant
• Operand-Free Outcome Surface

Linked from

• Stating an invariant
• Coordination Surfaces
• Coordination Surfaces
• Severity levels

in this codebase

• models/coordination.model.md