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