# Thread-affine значение переживает suspension

RuleID: portfolio.exec.07@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-07 — Thread-affine значение переживает suspension

После await задача может продолжиться на другом потоке даже при сохранённой actor isolation. Thread-local ресурс нельзя считать автоматически сохранённым.

Status: recovery-required

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

### Before (illustrative)

```swift
let handle = acquireThreadLocalHandle()
await load()
use(handle)
```

### After (illustrative)

```swift
await load()
withThreadLocalHandle { handle in
    use(handle) // Без suspension внутри области.
}
```

Boundary: Обычный actor state не thread-local; необходим thread contract

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