# Что готово и чему доверять

Срез: **8 сентября 2026**, коммит `4558458d`. Новая работа не считается принятой до завершения её проверок.

### Состояние портфеля

- 138 правил в целевом каталоге
- 33 из 141 условий принято
- 108 условий ещё подтвердить

> **Примечание**
>
> Это проверенный снимок документации, а не публичный релиз CLI. Публичная бинарная сборка с этой страницы недоступна. [Английский quick start](https://swift-analyzer.com/en/cli/) описывает локальный advisory workflow без аккаунта и не является страницей загрузки.

## Что означает «принято»

Для принятого условия проверена цепочка от реальных Swift-исходников до диагностики. Изменение исходника меняет результат ожидаемым образом; безопасные примеры не получают ложных предупреждений; неизвестные случаи не выдаются за доказанные. Проверены необходимые ограничения времени, памяти и отмены.

**Это ещё не квалификация на произвольных больших проектах.** Весь портфель остаётся experimental; автоматическое удаление кода или блокирование CI из этого статуса не следуют.

## Что подтверждено в текущем срезе

| Область | Принятых условий | Как читать этот результат |
|---|---:|---|
| Сохранённые реализации T007, T010 и части T008 | 12 | Ранее существовавшие области достижимости, архитектуры, сборки и семантических контрактов |
| T014: значения и поток управления | 5 | Ограниченная область скалярного кода с фактами компилятора |
| T011: коллекции | 3 | Проверенные сценарии индексов, ключей и порядка |
| T012, T013, T015: корректность значений | 8 | Числовые значения, канонизация, последовательности и точность в заявленных областях |
| T008, T009: ресурсы и архитектура | 5 | Обязательные ресурсы, приватные параметры, write-only поля, marker conformances и импорты |

В последней группе область намеренно конкретна: например, копируемые ресурсы одного SwiftPM-пакета, приватные свободные функции и простые структуры со свойством `Int`. Сложные варианты могут оставаться `unknown`.

## Почему нельзя сказать «все правила готовы»

В 022 написали вычислительные компоненты для всего каталога, но часть получала готовые выводы из JSON. Это проверяло реакцию на факты, а не получение фактов из программы. Общую приёмку отозвали; полезные компоненты сохранили.

Теперь готовность подтверждается отдельно для каждого условия. **Модель написана → факты извлекаются → маршрут работает → область принята** — четыре разных состояния.

## Что пока впереди

Security, ownership и память, Swift Concurrency, performance, streams/SwiftUI и анализ изменений требуют дальнейшего восстановления и проверки. Затем нужны общая интеграция, подтверждение SDK-моделей и допуск к 023.

Источник статуса в репозитории: `docs/research/codex-handoff.md` (только текущий раздел) и `openspec/specs/022-complete-rule-portfolio/reports/source-authority-recovery.md`.

---
Language: ru
Canonical: https://docs.swift-analyzer.com/status/
Source revision: 4558458d