# Ветви условного результата семантически совпадают

RuleID: portfolio.cor.16@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-16 — Ветви условного результата семантически совпадают

Одинаковые результаты обеих ветвей могут означать ошибку копирования или лишнее условие. Сходство текста не доказывает равенства эффектов.

Status: accepted-subset

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

### Before (illustrative)

```swift
func choose(_ flag: Bool) -> Int {
    flag ? 7 : 7
}
```

### After (illustrative)

```swift
func choose(_ flag: Bool) -> Int { 7 }
// Если ветви должны различаться, восстановить нужный результат.
```

Boundary: Совпадение текста не равенство effectful calls; intentional symmetric contract не ошибка

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