# Нарушенный инвариант виден во время suspension

RuleID: concurrency.actor-invariant-exposure@1.0.0
Status: recovery-required
Catalog snapshot: 4558458d

Accepted subset is bounded. If required evidence is incomplete, the affected result is unknown.

## V-ASYNC-02 — Нарушенный инвариант виден во время suspension

Если инвариант восстановится только после await, другой вызов actor может увидеть промежуточное некорректное состояние.

Status: recovery-required

Scope notes: Source producer требует восстановления и квалификации. Если необходимые факты не получены, результат — unknown, а не «ошибки нет».

### Before (illustrative)

```swift
debit(source)
await notifyRemote()
credit(destination)
```

### After (illustrative)

```swift
debit(source)
credit(destination)
await notifyRemote()
```

Boundary: Await без нарушения invariant не ошибка

---
Language: ru
Canonical: https://docs.swift-analyzer.com/catalog/concurrency.actor-invariant-exposure/
Source revision: 4558458d