Потеря требуемого контекста при detachment

V-EXEC-03 · Нарушение контракта

Потеря требуемого контекста при detachment

Detached-задача не наследует actor isolation и task-local значения так же, как обычная Task. Потеря нужного контекста может изменить поведение.

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

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

RequestContext.$id.withValue(requestID) {
    Task.detached { audit(RequestContext.id) }
}

RequestContext.$id.withValue(requestID) {
    Task { audit(RequestContext.id) }
}

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

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

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

В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION