Неиспользуемая декларация или группа деклараций
[email protected]Неиспользуемый код увеличивает поверхность изменений: его продолжают читать, переносить и поддерживать, хотя он не участвует в работе продукта.
V-ARCH-01Нарушение контракта
SWIFT ANALYZER / КАТАЛОГ
Проблема. Доказательство. Исправление.
138 правил о поведении Swift-программ. От устаревшего состояния после await до лишних обходов коллекции и утечки секрета в лог.
138 правил141 условие33 принято в узких областях10 направлений
Найдено правил: 138 · условий: 141
Production-код используется только тестами
[email protected]Тесты могут сохранять видимость востребованности API, который больше не нужен поставляемому приложению. Но тестовая поддержка сама по себе не ошибка.
V-ARCH-02Нарушение контракта
Запрещённая зависимость или обход слоя
[email protected]Прямой вызов через запрещённую границу делает слои зависимыми от внутренних деталей и затрудняет замену компонентов.
V-ARCH-03Нарушение контракта
Избыточная доступность API
[email protected]Лишняя публичность создаёт обязательства совместимости и позволяет внешнему коду зависеть от деталей реализации.
V-ARCH-04Возможность улучшения
Лишняя product dependency
[email protected]Лишняя product dependency расширяет граф сборки и поддержки. Для удаления нужно исключить не только вызовы, но и линковку, ресурсы и регистрацию.
V-ARCH-05Возможность улучшения
Необъявленный прямой provider
[email protected]Код может случайно компилироваться через транзитивную зависимость и ломаться после безобидного изменения промежуточного пакета.
V-ARCH-06Нарушение контракта
Недопустимый цикл компонентов
[email protected]Запрещённый цикл связывает жизненный цикл компонентов и мешает независимой сборке или изменению. Цикл важен относительно политики, а не сам по себе.
V-ARCH-07Нарушение контракта
Утечка implementation type через API
[email protected]Внутренний тип в публичной сигнатуре заставляет пользователей API знать о реализации и может нарушать границы модулей.
V-ARCH-08Нарушение контракта
Несовместимая регистрация или entry point
[email protected]Runtime-регистрация может ссылаться на несовместимый класс или точку входа, даже когда обычные вызовы выглядят корректно.
V-ARCH-09Дефект
Отсутствующий обязательный ресурс в shipping-варианте
[email protected]Обязательный lookup отсутствующего ресурса приводит к неработающему пути или аварийному unwrap. Это проверяется относительно состава конкретной сборки.
V-ARCH-10Дефект
Неиспользуемый параметр во всём dispatch family
[email protected]Параметр без семантической роли усложняет API и вводит вызывающий код в заблуждение. Виртуальные и protocol-вызовы требуют проверки всей семьи реализаций.
V-ARCH-11Возможность улучшения
Свойство только записывается и не наблюдается
[email protected]Запись в свойство может создавать впечатление сохранённого состояния, хотя это состояние никогда не наблюдается. Но сама запись иногда имеет важный эффект lifetime.
V-ARCH-12Возможность улучшения
Избыточный протокол или conformance
[email protected]Conformance может быть частью dispatch или framework-контракта без очевидного вызова метода. Удалять его допустимо только при отсутствии всех значимых ролей.
V-ARCH-13Возможность улучшения
Семантически лишний import
[email protected]Import меняет доступный набор extensions и overloads. Успешная компиляция после удаления ещё не означает сохранение привязок вызовов.
V-ARCH-14Возможность улучшения
Вызов через несовместимую изоляцию
[email protected]Код обращается к состоянию из контекста, которому это состояние не принадлежит. Особенно опасны границы legacy API, скрывающие изоляцию от компилятора.
V-EXEC-01Дефект
Вход в MainActor без доказанного контекста
[email protected]Внешняя точка входа может вызывать UI-код без проверенного контракта MainActor. Это повод проверить границу, а не автоматически объявить гонку.
V-EXEC-02Сигнал для review
Потеря требуемого контекста при detachment
[email protected]Detached-задача не наследует actor isolation и task-local значения так же, как обычная Task. Потеря нужного контекста может изменить поведение.
V-EXEC-03Нарушение контракта
Callback выполняется в несовместимом scheduler-контексте
[email protected]Scheduler callback и изоляция его тела могут расходиться. Название очереди или нахождение рядом с MainActor не доказывает корректность.
V-EXEC-04Дефект
Недопустимое предположение об изоляции
[email protected]assumeIsolated утверждает уже существующую изоляцию, но не переключает executor. Ложное утверждение приводит к аварии или нарушению контракта.
V-EXEC-05Дефект
Ресурс используется вне своего execution domain
[email protected]Некоторые ресурсы принадлежат определённой очереди, event loop или контексту. Общая потокобезопасность языка не отменяет их собственного контракта.
V-EXEC-06Дефект
Thread-affine значение переживает suspension
[email protected]После await задача может продолжиться на другом потоке даже при сохранённой actor isolation. Thread-local ресурс нельзя считать автоматически сохранённым.
V-EXEC-07Дефект
Потеря требуемого task-local или executor preference
[email protected]Адаптер задачи может потерять task-local значение или необходимое предпочтение executor, на которое опирается вызываемый код.
V-EXEC-08Нарушение контракта
Blocking-вызов на критическом executor
[email protected]Блокирующая операция занимает executor и мешает обслуживать другие задачи; на MainActor это проявляется зависанием UI.
V-EXEC-09Нарушение контракта
Дорогая вычислительная работа на критическом executor
[email protected]Длительная CPU-работа на критическом executor задерживает все обслуживаемые им события даже без блокирующих системных вызовов.
V-EXEC-10Возможность улучшения
Устранимая scheduling boundary
[email protected]Лишняя граница планирования добавляет задержку и меняет порядок событий. Удалять её можно лишь при сохранении наблюдаемой семантики.
V-EXEC-11Возможность улучшения
Усиление стоимости из-за actor crossings
[email protected]Поэлементные обращения к actor многократно оплачивают переход и открывают промежутки для interleaving. Пакетный метод иногда дешевле и точнее выражает операцию.
V-EXEC-12Возможность улучшения
Непреднамеренная сериализация независимой работы
[email protected]Последовательные await могут случайно сериализовать независимые операции и увеличить время ответа до суммы задержек.
V-EXEC-13Возможность улучшения
Нарушена сериализация custom SerialExecutor
[email protected]Custom SerialExecutor обязан исключать одновременное исполнение своих jobs. Нарушение делает обещанную actor isolation недействительной.
V-EXEC-14Дефект
Проверка состояния устарела после await
[email protected]Проверка состояния до await может устареть: actor допускает другие обращения во время suspension.
V-ASYNC-01Дефект
Нарушенный инвариант виден во время suspension
[email protected]Если инвариант восстановится только после await, другой вызов actor может увидеть промежуточное некорректное состояние.
V-ASYNC-02Дефект
Устаревший результат перезаписывает новое поколение
[email protected]Ответ старого запроса может перезаписать результат нового, хотя оба обращения к памяти корректно изолированы.
V-ASYNC-03Дефект
Повторный запуск операции, требующей single-flight
[email protected]Проверка кэша с последующим await позволяет нескольким callers одновременно запустить одну дорогую операцию.
V-ASYNC-04Нарушение контракта
Зависимость от негарантированного порядка actor tasks
[email protected]Actor сериализует отдельные участки исполнения, но не обещает FIFO завершения произвольных задач.
V-ASYNC-05Дефект
Continuation остаётся без resume
[email protected]Не возобновлённая continuation навсегда оставляет ожидающую задачу suspended. Типичный источник — пропущенная ветка ошибки.
V-ASYNC-06Дефект
Continuation возобновляется повторно
[email protected]Continuation должна возобновляться ровно один раз. Конкурирующие success, timeout и cancellation легко нарушают это условие.
V-ASYNC-07Дефект
Cancellation теряется между registration и start
[email protected]Отмена может прийти до регистрации handle. Если её обработчик видит nil, операция позже запустится без возможности отмены.
V-ASYNC-08Дефект
Запрещённый commit после отмены или отказа
[email protected]После отмены или отзыва разрешения задача может продолжить работу и выполнить запрещённую запись.
V-ASYNC-09Дефект
Работа не соблюдает cancellation contract
[email protected]Cancellation в Swift кооперативна: длительная работа без проверок продолжает расходовать ресурсы после отмены.
V-ASYNC-10Нарушение контракта
Timeout или first-result не завершает scope по контракту
[email protected]Возврат первого результата из task group не завершает scope, пока не завершились остальные children. Timeout может оказаться фиктивным.
V-ASYNC-11Дефект
Task переживает обязательный lifecycle scope
[email protected]Неструктурированная задача может пережить экран, запрос или сервис, для которого она создавалась.
V-ASYNC-12Нарушение контракта
Теряется обязательный результат или ошибка задачи
[email protected]Потерянный handle throwing Task может скрыть ошибку обязательной операции: вызывающая сторона считает работу успешной.
V-ASYNC-13Нарушение контракта
Guard удерживается через недопустимый await
[email protected]Удержание lock или аналогичного guard через await мешает прогрессу других задач и может нарушить требования привязки к потоку.
V-ASYNC-14Дефект
Цикл ожиданий блокирует обязательных producers
[email protected]Цикл ожиданий делает прогресс невозможным: каждый участник ждёт события, которое может произвести только другой участник цикла.
V-ASYNC-15Дефект
Истощение cooperative pool синхронными ожиданиями
[email protected]Синхронное ожидание внутри cooperative pool может занять все потоки, необходимые задаче-производителю.
V-ASYNC-16Сигнал для review
Priority inversion через непрозрачное ожидание
[email protected]Высокоприоритетная задача может ждать низкоприоритетную работу через непрозрачный bridge без нужного механизма donation или ограничения задержки.
V-ASYNC-17Возможность улучшения
Гонка на общей памяти за unsafe/legacy boundary
[email protected]Unsafe Sendable или legacy-граница может скрыть общую изменяемую память от проверок компилятора.
V-ASYNC-18Дефект
Синхронный callback повторно входит в незавершённый протокол
[email protected]Callback может быть синхронным и повторно войти в объект до завершения инициализации или регистрации операции.
V-ASYNC-19Дефект
Custom executor теряет или повторяет job
[email protected]Executor должен доставить каждый принятый job ровно один раз. Потеря зависает задачу, повторное исполнение нарушает runtime-контракт.
V-ASYNC-20Дефект
Borrowed pointer или view выходит за lifetime
[email protected]Указатель на временно заимствованную память становится недействительным за пределами области borrow, даже если его тип позволяет сохранить адрес.
V-LIFE-01Дефект
Использование освобождённой памяти
[email protected]Освобождение памяти не обнуляет все её aliases. Последующее чтение через любой alias использует уже недействительный ресурс.
V-LIFE-02Дефект
Повторное или несовместимое освобождение
[email protected]Повторное освобождение или несовместимая пара allocator/deallocator повреждает память. Совпадение типов указателей не доказывает совместимость.
V-LIFE-03Дефект
Unowned-доступ после смерти owner
[email protected]unowned не удерживает объект живым. Если callback переживает владельца, обращение приводит к аварии.
V-LIFE-04Дефект
Нарушение Unmanaged ownership balance
[email protected]Unmanaged переносит ответственность за retain/release на код. Несбалансированная передача приводит к утечке или преждевременному освобождению.
V-LIFE-05Дефект
Strong ownership cycle без допустимого завершения
[email protected]Цикл сильных ссылок не даёт владельцам освободиться, если нет внешнего механизма разрыва.
V-LIFE-06Сигнал для review
Преждевременная потеря обязательного weak consumer
[email protected]Weak-ссылка может исчезнуть раньше обязательной операции. Это обратная сторона механического устранения retain cycles.
V-LIFE-07Дефект
Registration переживает допустимую область
[email protected]Observer, таймер или подписка продолжает получать события после завершения области, которой он принадлежит.
V-LIFE-08Нарушение контракта
Не выполнена cleanup obligation
[email protected]Ошибка или ранний return может пропустить обязательное закрытие файла, дескриптора или другого ресурса.
V-LIFE-09Дефект
Использование закрытого или переданного ресурса
[email protected]После close или передачи владения прежний handle больше нельзя использовать даже при сохранённом значении переменной.
V-LIFE-10Дефект
Чтение неинициализированной области buffer
[email protected]Выделенная память ещё не содержит инициализированных значений Swift. Чтение до initialize нарушает контракт хранения.
V-LIFE-11Дефект
Pointer/count выходит за допустимую область
[email protected]Адрес может быть действительным, но переданный count выходит за доступный или инициализированный диапазон.
V-LIFE-12Дефект
Повторный линейный проход / Повторно вычисляется lazy pipeline
[email protected]Линейный поиск внутри цикла превращает обработку двух коллекций в произведение их размеров. При подходящей семантике индекс строится один раз.
V-PERF-01 · V-PERF-05Возможность улучшения
Повторная инвариантная сортировка
[email protected]Одинаковая сортировка неизменного набора внутри цикла повторяет работу, которую можно выполнить один раз.
V-PERF-02Возможность улучшения
Повторная потребляемая materialization / Материализация растущего префикса
[email protected]Материализация полностью потребляемого промежуточного результата на каждом шаге может многократно копировать растущий объём данных.
V-PERF-03 · V-PERF-11Возможность улучшения
Array используется как растущая FIFO со сдвигами
[email protected]Удаление первого элемента Array сдвигает оставшийся хвост. Повторение до опустошения даёт квадратичную работу.
V-PERF-04Возможность улучшения
Полная сортировка для extremum или top-k
[email protected]Полная сортировка требует больше работы, чем поиск одного экстремума; для малого top-k тоже существуют специализированные алгоритмы.
V-PERF-06Возможность улучшения
Дорогая проекция повторяется в comparator
[email protected]Comparator вызывается многократно, поэтому дорогая проекция внутри него может доминировать над самой сортировкой.
V-PERF-07Возможность улучшения
Eager materialization перед коротким consumer
[email protected]Eager map вычисляет весь набор, хотя downstream потребляет лишь небольшой prefix.
V-PERF-08Возможность улучшения
Повторный физический CoW detach
[email protected]Изменение разделяемого CoW-буфера может физически скопировать весь storage. Частые snapshots перед мутацией делают стоимость неожиданной.
V-PERF-09Возможность улучшения
Get-copy-modify-set усиливает стоимость
[email protected]Getter, локальная мутация и setter могут извлекать и возвращать большую коллекцию на каждом шаге вместо изменения на месте.
V-PERF-10Возможность улучшения
Capacity policy нарушает амортизированную границу
[email protected]Неудачная стратегия capacity может разрушить амортизированную стоимость роста, особенно в собственных контейнерах или при повторном точном резервировании.
V-PERF-12Возможность улучшения
Повторное поэлементное bridging
[email protected]Поэлементные переходы между представлениями Swift и Objective-C могут повторять boxing, allocation или conversion.
V-PERF-13Возможность улучшения
Повторная дорогая hash/equality работа
[email protected]Дорогой hash или equality многократно исполняется при lookup и может скрыть линейную или более высокую стоимость за API словаря.
V-PERF-14Возможность улучшения
Маленький slice удерживает большую storage
[email protected]Маленький slice может удерживать большой backing storage значительно дольше, чем ожидает вызывающий код.
V-PERF-15Возможность улучшения
Слишком мелкие задачи усиливают scheduling work
[email protected]Тысячи очень маленьких задач могут тратить больше времени на scheduling, чем на полезную работу.
V-PERF-16Возможность улучшения
Fanout удерживает чрезмерный объём одновременно живых данных
[email protected]Неограниченный fan-out удерживает входы, captures и результаты сразу многих задач, вызывая высокий пик памяти.
V-PERF-17Возможность улучшения
Чувствительные данные попадают в логи / Чувствительные данные достигают запрещённого получателя
[email protected]Секрет, попавший в лог, может стать доступен гораздо более широкому кругу систем и людей, чем исходное хранилище.
V-SEC-01 · V-SEC-02Дефект / Нарушение контракта
SQL injection
[email protected]Интерполяция недоверенного значения в SQL смешивает данные и структуру запроса.
V-SEC-03Дефект
Shell injection
[email protected]Передача недоверенного текста оболочке позволяет интерпретировать его как команды и операторы.
V-SEC-04Дефект
Format-string injection
[email protected]Недоверенная format string управляет интерпретацией аргументов, а в низкоуровневых API может нарушить безопасность памяти.
V-SEC-05Дефект
Path traversal / выход из extraction root
[email protected]Имя файла из архива может вывести запись за каталог назначения через .., абсолютный путь или symlink.
V-SEC-06Дефект
JS/HTML context injection
[email protected]Недоверенный текст в HTML или JavaScript может стать исполняемым кодом вместо содержимого.
V-SEC-07Дефект
Непривилегированный ввод управляет privileged URL sink
[email protected]Пользовательский URL может направить привилегированный запрос к внутреннему сервису или недопустимой схеме.
V-SEC-08Дефект
Predicate injection
[email protected]Формирование predicate из строки с пользовательским вводом позволяет изменить структуру условия.
V-SEC-09Дефект
Regex injection
[email protected]Недоверенное значение внутри regex меняет смысл поиска: данные становятся метасимволами регулярного выражения.
V-SEC-10Дефект
Алгоритмический DoS через regex
[email protected]Некоторые regex на специально подобранном длинном вводе требуют чрезмерного backtracking и блокируют обработчик.
V-SEC-11Дефект
External-entity expansion из недоверенного XML
[email protected]Разрешённые внешние XML entities могут читать локальные файлы или выполнять нежелательные сетевые обращения.
V-SEC-12Дефект
Проверка TLS trust фактически отключена
[email protected]Безусловное принятие сертификата убирает проверку подлинности сервера, хотя соединение выглядит зашифрованным.
V-SEC-13Дефект
Неподходящая криптография для заявленного свойства
[email protected]Криптографический примитив может работать корректно, но не подходить назначению: например, быстрый checksum не защищает пароль.
V-SEC-14Дефект
Повтор ключевого nonce/IV в недопустимом режиме
[email protected]Повтор nonce с одним ключом может разрушить гарантии схемы шифрования. Постоянная строка nonce особенно опасна при нескольких сообщениях.
V-SEC-15Дефект
Небезопасный password derivation contract
[email protected]Быстрый или слишком дешёвый password derivation делает перебор украденной базы практичнее.
V-SEC-16Дефект
Предсказуемая случайность в security-sensitive значении
[email protected]Предсказуемый генератор позволяет угадывать токены, ключи и другие значения, безопасность которых зависит от случайности.
V-SEC-17Дефект
Недоверенная десериализация нарушает allowed-type boundary
[email protected]Десериализация недоверенного объектного графа без ограничения типов допускает нежелательные объекты и поведение.
V-SEC-18Дефект
Привилегированный effect обходится без обязательной authorization
[email protected]Проверка доступа на одном пути не защищает другой путь к privileged sink; решение также может устареть к моменту применения.
V-SEC-19Нарушение контракта
Обход security validator или sanitizer
[email protected]Значение может попасть к чувствительной операции по обходному пути, не проходящему обязательную проверку.
V-SEC-20Дефект
Встроенный секрет достигает security use
[email protected]Встроенный в shipping-продукт секрет доступен получателю бинарника и не может считаться серверной границей доверия.
V-SEC-21Дефект
WebView получает запрещённые возможности
[email protected]WebView, показывающий недоверенное содержимое, может получить bridge или доступы, предназначенные только доверенной странице.
V-SEC-22Нарушение контракта
Недостаточная стойкость криптографического ключа
[email protected]Ключ может быть корректно создан, но иметь недостаточную стойкость для выбранного назначения и политики.
V-SEC-23Нарушение контракта
Dependency загружается по недоверенному каналу
[email protected]Зависимость, получаемая по незащищённому транспортному каналу, может быть подменена до попадания в сборку.
V-SEC-24Нарушение контракта
Невоспроизводимый dependency resolution нарушает policy
[email protected]Неопределённое разрешение зависимостей делает одну версию проекта зависимой от времени сборки и внешних изменений.
V-SEC-25Нарушение контракта
Отладочная возможность доступна в shipping product
[email protected]Debug endpoint или обход проверки, попавший в shipping-вариант, открывает возможности, предназначенные только разработчику.
V-SEC-26Нарушение контракта
Equality и hashing противоречат друг другу
[email protected]Set и Dictionary предполагают согласованность equality и hashing. Если равные значения получают разные хеш-входы, membership может вести себя неожиданно.
V-COR-01Дефект
Process-local hash используется как стабильная identity
[email protected]hashValue предназначен для внутрипроцессного хеширования и не является договором стабильной идентичности между запусками.
V-COR-02Дефект
Несовместимые единицы длины или индекса
[email protected]Числа похожи, но количество символов, UTF-8 байтов и UTF-16 единиц — разные величины. Ошибка проявляется на не-ASCII данных.
V-COR-03Дефект
Используется инвалидированный collection index
[email protected]Индекс связан с состоянием коллекции. Изменение структуры может сделать сохранённый индекс недействительным.
V-COR-04Дефект
Ключ меняет equality/hash во время membership
[email protected]Мутация поля, участвующего в equality/hash, пока объект находится в Set или ключах Dictionary, ломает предположения membership.
V-COR-05Дефект
Нарушены законы ordering
[email protected]Алгоритм сортировки требует определённых законов сравнения. Их нарушение может давать нестабильный или неверный результат.
V-COR-06Дефект
Нестабильный порядок попадает в canonical output
[email protected]Нестабильный порядок становится дефектом, когда результат должен повторяться: например, подпись, cache key или canonical JSON.
V-COR-07Дефект
Размер/число выходит за допустимый числовой диапазон
[email protected]Преобразование числа или расчёт размера может выйти за допустимый диапазон и привести к trap либо неверному значению.
V-COR-08Дефект
Non-finite значение достигает finite-only consumer
[email protected]Infinity и NaN допустимы для части вычислений, но нарушают контракт consumer, которому нужны только конечные значения.
V-COR-09Дефект
Межпроцедурный путь приводит к invalid force operation
[email protected]Force unwrap, try! или другой force operation опасен, когда существует допустимый путь к невыполнимому предусловию.
V-COR-10Дефект
Повторно потребляется single-pass sequence
[email protected]Single-pass sequence может исчерпаться при первом чтении. Второй consumer не обязательно увидит те же элементы.
V-COR-11Дефект
Копия нарушает контракт независимости состояния
[email protected]Внешне скопированное значение может разделять внутреннее изменяемое состояние, хотя API обещает независимую копию.
V-COR-12Дефект
Разная канонизация identity между producer и consumer
[email protected]Разные правила нормализации одной identity приводят к пропускам lookup, дубликатам или обходу проверок.
V-COR-13Дефект
Записанное значение теряется до наблюдения
[email protected]Значение вычислено и записано, но до любого наблюдения заменено другим. Это может быть пропущенное использование или лишняя работа.
V-COR-14Возможность улучшения
Предикат не различает допустимые состояния
[email protected]Предикат, одинаковый для всех допустимых состояний, может скрывать неверную проверку и создавать ложное ощущение защиты.
V-COR-15Дефект
Ветви условного результата семантически совпадают
[email protected]Одинаковые результаты обеих ветвей могут означать ошибку копирования или лишнее условие. Сходство текста не доказывает равенства эффектов.
V-COR-16Возможность улучшения
Участок управления недостижим
[email protected]Недостижимая ветвь может указывать на потерянный сценарий обработки или устаревшее предположение о входе.
V-COR-17Дефект
Результат вычисления потерян без полезного эффекта
[email protected]Чистая операция с отброшенным результатом часто означает, что программист ожидал изменения исходного значения.
V-COR-18Возможность улучшения
Сравнение нарушает численный контракт точности
[email protected]Точное сравнение приближённых величин может не соответствовать заявленному допуску и неверно различать эквивалентные измерения.
V-COR-19Нарушение контракта
Буфер или накопитель не имеет требуемой границы
[email protected]Producer быстрее consumer, а буфер не ограничен: очередь событий способна расти без верхней границы памяти.
V-STREAM-01Нарушение контракта
Drop-policy нарушает доставку обязательных событий
[email protected]Политика dropping нарушает контракт, если каждое событие должно быть обработано: потеря может выглядеть как успешная отправка.
V-STREAM-02Дефект
Конкурентный next у single-consumer iterator
[email protected]Одновременные next на одном iterator могут нарушать его контракт и приводить к потере или неправильной доставке элементов.
V-STREAM-03Дефект
Поток не завершён на обязательном terminal path
[email protected]Отсутствие finish после терминального события оставляет consumer ждать данные, которые уже никогда не придут.
V-STREAM-04Дефект
Retry/refresh образует цикл без progress/budget
[email protected]Retry без прогресса, лимита или backoff может бесконечно нагружать сервис и удерживать задачу.
V-STREAM-05Нарушение контракта
Повтор non-idempotent операции дублирует effect
[email protected]Повтор операции после неясного сетевого исхода может применить её дважды, даже если первый ответ не был получен.
V-STREAM-06Дефект
Связанные изменения выходят из обязательной transaction
[email protected]Логически единое изменение, разбитое на отдельные транзакции, оставляет частично применённое состояние при ошибке.
V-STREAM-07Дефект
Identity элемента нестабильна между обновлениями
[email protected]Identity, создаваемая заново при каждом чтении, заставляет SwiftUI считать прежний элемент новым и терять его локальное состояние.
V-UI-01Дефект
Разные элементы получают одну identity
[email protected]Два разных элемента с одинаковым id делают сопоставление views неоднозначным.
V-UI-02Дефект
Вычисление представления вызывает цикл state updates
[email protected]Изменение состояния во время вычисления зависимого представления может запускать повторные обновления без достижения устойчивого состояния.
V-UI-03Дефект
Однократное состояние не обновляется с обязательным input
[email protected]Начальное значение State не означает синхронизацию с каждым новым input. View с прежней identity может сохранить старое значение.
V-UI-04Нарушение контракта
Source API change ломает допустимого consumer
[email protected]Изменение публичного API может сломать исходный код разрешённых consumers, хотя сама библиотека успешно собирается.
V-CHANGE-01Дефект
ABI change нарушает binary compatibility
[email protected]Бинарный consumer может стать несовместим с новой библиотекой без перекомпиляции, даже когда исходники выглядят похожими.
V-CHANGE-02Дефект
Прежняя сигнатура получила несовместимое поведение
[email protected]Неизменная сигнатура может скрывать смену порядка, ошибок, побочных эффектов или иного поведения, на которое опирается consumer.
V-CHANGE-03Дефект
Consumer незаметно привязался к другому символу
[email protected]После изменения импортов или overloads прежний код может разрешаться в другой символ и незаметно менять смысл.
V-CHANGE-04Сигнал для review
Version range допускает несовместимый provider
[email protected]Разрешённый version range может включать версию зависимости, с которой consumer несовместим.
V-CHANGE-05Нарушение контракта
Изменение обходит обязательный consumer review
[email protected]Изменение может обойти обязательную проверку затронутых consumers из-за неполной карты impact или ошибочного gate.
V-CHANGE-06Нарушение контракта
Ухудшилась сопоставимая граница ресурса
[email protected]Изменение может ухудшить гарантированную стоимость памяти или времени на сопоставимых входах, даже при сохранённом результате.
V-CHANGE-07Возможность улучшения
Cache key или invalidation не учитывает зависимость результата
[email protected]Кэш возвращает устаревший результат, если ключ или invalidation не учитывает зависимость вычисления.
V-CHANGE-08Дефект
Один RuleID может объединять несколько условий. Вид результата не задаёт severity, а стратегия первого результата не означает готовность. Обзор направлений →