# Копия нарушает контракт независимости состояния

RuleID: portfolio.cor.12@1.0.0
Status: accepted-subset
Catalog snapshot: 4558458d

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

## V-COR-12 — Копия нарушает контракт независимости состояния

Внешне скопированное значение может разделять внутреннее изменяемое состояние, хотя API обещает независимую копию.

Status: accepted-subset

Scope notes: Принят bounded source subset по контракту задачи. Подтверждение распространяется только на допущенные source forms, профиль сборки, positive/negative и unknown-границы из приёмки.

### Before (illustrative)

```swift
let copy = original
copy.storage.value = 2
// storage — reference type; original тоже изменился.
```

### After (illustrative)

```swift
// Для контракта независимой копии:
let copy = original.deepCopy()
```

Boundary: Shared semantics допустима без explicit independence contract

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