Что готово и чему доверять
Срез: 8 сентября 2026, коммит 4558458d. Новая работа не считается принятой до завершения её проверок.
Это проверенный снимок документации, а не публичный релиз CLI. Публичная бинарная сборка с этой страницы недоступна. Английский quick start описывает локальный 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.