Словарь и карта документов
| Термин | Простыми словами |
|---|---|
| Rule / правило | Отдельный вид диагностики с собственным идентификатором |
| Condition / условие | Конкретная ситуация, которую нужно независимо проверить; у правила их может быть несколько |
| Producer | Код, который получает факты из исходников, компилятора или наблюдаемой сборки |
| Evaluator | Код, который решает, выполняется ли условие на уже полученных фактах |
| Source-to-report | Полный путь от программы до результата анализа |
| Snapshot | Точный снимок исходников и связанных входов анализа |
| Manifest | Описание того, что анализируем и на какие данные сборки опираемся |
| Index Store | Данные компилятора о символах и их связях |
| Authority / provenance | Основания доверять происхождению и соответствию фактов выбранному входу |
| Witness / evidence | Конкретные факты, на которых держится объяснение |
| Unknown / incomplete | Данных или поддержки не хватило для вывода |
| Experimental | Зрелость ограничена; широкие гарантии не заявлены |
| Advisory | Результат для рассмотрения; сам по себе не блокирует CI |
| G2 | Приёмочный рубеж, необходимый для выхода из 022 |
| Receipt | Запись того, что проверили, с результатами и ограничениями |
| Corpus / holdout | Набор проверочных проектов / отложенные данные, которые не используют для подгонки реализации |
Где искать подробности в репозитории
Этот сайт — короткое объяснение. Технический контракт остаётся в существующих документах.
| Нужно узнать | Файл или раздел |
|---|---|
| Последний принятый результат | docs/research/codex-handoff.md, текущий раздел до исторических записей |
| Прогресс восстановления | openspec/specs/022-complete-rule-portfolio/reports/source-authority-recovery.md |
| Весь целевой каталог | docs/product/final-rule-catalog.md |
| Как пользоваться CLI | docs/preview/cli.md |
| Установка и ограничения | docs/preview/installation.md, docs/limitations/phase-zero.md |
| Архитектурные решения | docs/adr/ |
| Точный контракт задачи | Соответствующий пакет в openspec/specs/ |
| Последняя приёмка T008/T009 | openspec/specs/022-complete-rule-portfolio/reports/t008-t009-source-batch.md |
Исторические записи
В репозитории сохранены старые отчёты, в том числе с отозванной приёмкой. Для текущего состояния приоритет имеет актуальный handoff и последующая запись ревью, а не самая оптимистичная формулировка в старом файле.