Cancellation теряется между registration и start

V-ASYNC-08 · Дефект

Cancellation теряется между registration и start

Отмена может прийти до регистрации handle. Если её обработчик видит nil, операция позже запустится без возможности отмены.

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

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

// onCancel: handle?.cancel()
// operation: handle = startRequest()

// state machine хранит pending cancellation.
// Поздно зарегистрированный handle сразу отменяется.

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

Атомарно согласовать start, регистрацию handle и отмену. Проверить также синхронное завершение во время start.

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

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

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION