# Недопустимое предположение об изоляции

RuleID: portfolio.exec.05@1.0.0
Status: recovery-required
Catalog snapshot: 4558458d

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

## V-EXEC-05 — Недопустимое предположение об изоляции

assumeIsolated утверждает уже существующую изоляцию, но не переключает executor. Ложное утверждение приводит к аварии или нарушению контракта.

Status: recovery-required

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

### Before (illustrative)

```swift
backgroundCallback {
    MainActor.assumeIsolated { updateView() }
}
```

### After (illustrative)

```swift
backgroundCallback {
    Task { @MainActor in updateView() }
}
```

Boundary: Само наличие escape hatch — только inventory

---
Language: ru
Canonical: https://docs.swift-analyzer.com/catalog/portfolio.exec.05/
Source revision: 4558458d