# Priority inversion через непрозрачное ожидание

RuleID: portfolio.async.17@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-17 — Priority inversion через непрозрачное ожидание

Высокоприоритетная задача может ждать низкоприоритетную работу через непрозрачный bridge без нужного механизма donation или ограничения задержки.

Status: recovery-required

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

### Before (illustrative)

```swift
// UI ждёт semaphore, который signal-ит background worker.
// Scheduler не видит отношения ожидания.
```

### After (illustrative)

```swift
// Явная async-зависимость и контракт приоритетов.
// Критическая работа имеет ограниченную задержку.
```

Boundary: Runtime escalation и короткое bounded ожидание

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