# Сравнение нарушает численный контракт точности

RuleID: portfolio.cor.19@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-19 — Сравнение нарушает численный контракт точности

Точное сравнение приближённых величин может не соответствовать заявленному допуску и неверно различать эквивалентные измерения.

Status: accepted-subset

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

### Before (illustrative)

```swift
// Контракт измерения: допустимая абсолютная ошибка 0.001.
let equal = measured == reference
```

### After (illustrative)

```swift
let equal = abs(measured - reference) <= 0.001
```

Boundary: Точное сравнение floats допустимо для exact values, sentinels и некоторых алгоритмов; универсальный запрет отсутствует

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