Вход в MainActor без доказанного контекста

V-EXEC-02 · Сигнал для review

Вход в MainActor без доказанного контекста

Внешняя точка входа может вызывать UI-код без проверенного контракта MainActor. Это повод проверить границу, а не автоматически объявить гонку.

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

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

// Контракт внешнего callback не описан.
foreignAPI.callback = { renderUI() }

// Адаптер явно доставляет событие на MainActor.
foreignAPI.callback = { event in
    Task { @MainActor in renderUI(event) }
}

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

Описать и подтвердить контракт вызывающей стороны либо добавить явную границу. Само отсутствие сведений не должно порождать finding без наблюдаемого риска.

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

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

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

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

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

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

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

Сигнал для review — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

VISION