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

V-COR-19 · Нарушение контракта

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

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

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

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

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

Что изменить и что сохранить

Выбери абсолютный, относительный или иной допуск по предметной области. Не вводи универсальную epsilon и не запрещай все сравнения floating-point через ==.

Что подтверждено сейчас

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

Владелец реализации

T015: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Experimental advisory — план реализации, не maturity

Смысл результата

Нарушение контракта — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

SONAR