# Усиление стоимости из-за actor crossings

RuleID: portfolio.exec.12@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-12 — Усиление стоимости из-за actor crossings

Поэлементные обращения к actor многократно оплачивают переход и открывают промежутки для interleaving. Пакетный метод иногда дешевле и точнее выражает операцию.

Status: recovery-required

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

### Before (illustrative)

```swift
for value in values {
    await store.insert(value)
}
```

### After (illustrative)

```swift
await store.insertBatch(values)
```

Boundary: Await count не hop count; batching не должен менять наблюдаемую атомарность

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