Нестабильный порядок попадает в canonical output

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

Нестабильный порядок попадает в canonical output

Нестабильный порядок становится дефектом, когда результат должен повторяться: например, подпись, cache key или canonical JSON.

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

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

// Контракт требует воспроизводимый порядок.
let encoded = dictionary.map { "\($0.key)=\($0.value)" }

let encoded = dictionary.keys.sorted().map { "\($0)=\(dictionary[$0]!)" }

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

Введи явный порядок перед canonical sink. Если результат семантически не зависит от порядка, сортировка не обязательна.

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

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

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

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

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

Узкий проверяемый случай — план реализации, не maturity

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION