# Связанные изменения выходят из обязательной transaction

RuleID: portfolio.stream.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-STREAM-07 — Связанные изменения выходят из обязательной transaction

Логически единое изменение, разбитое на отдельные транзакции, оставляет частично применённое состояние при ошибке.

Status: recovery-required

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

### Before (illustrative)

```swift
try debitAccount()
try creditAccount() // Может завершиться ошибкой.
```

### After (illustrative)

```swift
try database.transaction {
    try debitAccount()
    try creditAccount()
}
```

Boundary: Независимые операции и serializable transaction model

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