Нарушены законы ordering

V-COR-06 · Дефект

Нарушены законы ordering

Алгоритм сортировки требует определённых законов сравнения. Их нарушение может давать нестабильный или неверный результат.

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

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

let ordered = values.sorted { $0 <= $1 }
// Для x: compare(x, x) == true.

let ordered = values.sorted { $0 < $1 }

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

Проверь irreflexivity, асимметрию и транзитивность в нужной области. Для NaN и partial order нужен отдельный контракт.

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

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

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

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

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

Исследовательский прототип — план реализации, не maturity

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

Дефект — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

VISION