# Предикат не различает допустимые состояния

RuleID: portfolio.cor.15@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-15 — Предикат не различает допустимые состояния

Предикат, одинаковый для всех допустимых состояний, может скрывать неверную проверку и создавать ложное ощущение защиты.

Status: accepted-subset

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

### Before (illustrative)

```swift
let count = 1
if count > 0 { accept() } else { reject() }
```

### After (illustrative)

```swift
// Если count всегда 1 и проверка не нужна:
accept()
```

Boundary: Effectful evaluation, overloaded equality, NaN и intentional feature constants; compiler duplicate отдельно

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