architect(ET): auto-commit from architect run_id=533

2026-06-10 00:40:42 +03:00
parent 9953275eed
commit e9e8b1e246
8 changed files with 612 additions and 2 deletions
--- a/docs/architecture/README.md
+++ b/docs/architecture/README.md
@@ -39,7 +39,7 @@ created → analysis → architecture → development → review → testing →
 | deploy | — | `check_deploy_status` | 14-deploy-log.md (`deploy_status:`) |
 | done | — | — | — |

-**Реестр QG** (`QG_CHECKS`): check_analysis_approved, check_analysis_complete, check_architecture_done, check_ci_green, check_review_approved, check_tests_passed, check_reviewer_verdict, check_tests_local, check_deploy_status, check_staging_status, check_branch_mergeable (ORCH-043), check_staging_image_fresh (ORCH-058), check_security_gate (ORCH-022).
+**Реестр QG** (`QG_CHECKS`): check_analysis_approved, check_analysis_complete, check_architecture_done, check_ci_green, check_review_approved, check_tests_passed, check_reviewer_verdict, check_tests_local, check_deploy_status, check_staging_status, check_branch_mergeable (ORCH-043), check_staging_image_fresh (ORCH-058), check_security_gate (ORCH-022), check_coverage_gate (ORCH-027).

 **Канон гейтов:** машинные вердикты читаются ТОЛЬКО из YAML-frontmatter, никогда из прозы. Лог-файлы мержатся в `origin/main` отдельным PR; гейт читает из `origin/main`. **Единый frontmatter-контракт (ORCH-52c / ORCH-076):** парсинг YAML-frontmatter сведён к одной точке — `src/frontmatter.parse_frontmatter` (структура `data/has_block/malformed/yaml_error`, never-raise); пять вердикт-парсеров (`check_reviewer_verdict`, `_parse_tests_verdict`, `_parse_deploy_status`, `_parse_staging_status`, `parse_security_status`) делегируют ей вместо дублированной ad-hoc логики. Модуль также несёт writer (`render/write_frontmatter`), валидатор обязательной схемы (`validate_schema`/`REQUIRED_FIELDS`, warning-only по умолчанию; hard-fail только под kill-switch `frontmatter_validation_strict`, дефолт `False`) и общий `strip_frontmatter`. Семантика вердиктов / `STAGE_TRANSITIONS` / состав `QG_CHECKS` — без изменений (1:1).

@@ -189,6 +189,47 @@ Self-hosting зацикливался на `deploy-staging`: `scripts/staging_ch
 Подробнее: [adr-0006](adr/adr-0006-merge-gate.md), детально — `docs/work-items/ORCH-043/06-adr/ADR-001-merge-gate.md`.
 Безусловный pre-merge rebase + связь с зависимостями задач — [adr-0015](adr/adr-0015-task-deps-and-merge-serialization.md) (ORCH-026).

+### Coverage-гейт: защита от деградации покрытия тестами (ORCH-027 — design)
+Существующие тестовые гейты (`check_ci_green`, `check_tests_passed`, merge-gate re-test) судят
+только по факту прохождения тестов, не по **полноте** — фича «300 строк, 0 тестов» проходит
+незамеченной, и при пакетном автономном прогоне (ORCH-088) покрытие монотонно деградирует.
+ORCH-027 вводит детерминированный (без LLM) **гейт покрытия как под-гейт ребра
+`deploy-staging → deploy`** — рядом с security/merge/image-freshness, по тому же паттерну
+(leaf `src/coverage_gate.py` never-raise + обёртка `check_coverage_gate` в `QG_CHECKS` + врезка
+`_handle_coverage_gate` в `advance_stage`). `STAGE_TRANSITIONS` не меняется.
+- **Порядок: security → merge → coverage → image-freshness.** Coverage идёт **ПОСЛЕ merge-gate**
+  (ветка догнана на свежий `origin/main` → меряем покрытие landed-кода) и **ДО image-freshness**
+  (фейлить дёшево до docker-rebuild). На этой точке merge-lease **held** → FAIL **освобождает
+  lease** при откате (как image-freshness rollback; в отличие от security — тот до захвата lease).
+- **Измерение:** `pytest-cov` (`coverage.py`), `python -m pytest tests/ --cov=src
+  --cov-report=json` в изолированном worktree (`ensure_worktree`); метрика `totals.percent_covered`
+  (line coverage `src/`). Тайм-аут `coverage_run_timeout_s`.
+- **Решение — чистая функция** `compute_coverage_verdict(measured, baseline, floor, policy,
+  epsilon)`: `absolute` (≥floor−ε) / `baseline` (≥baseline−ε, ratchet) / `both` (дефолт);
+  `baseline=None` → bootstrap. FAIL → откат на `development` + developer-retry (cap
+  `MAX_DEVELOPER_RETRIES`), дословный reason в `task_desc` (ORCH-046).
+- **Базовая линия — аддитивная БД-таблица** `coverage_baseline(repo PK, coverage, source_sha,
+  updated_at)` (`CREATE TABLE IF NOT EXISTS`, паттерн `repo_freeze`/`job_deps`; выбор БД над
+  файлом-в-репо — нет git-churn/конфликтов на ratchet). **Ratchet-up** в choke-point
+  подтверждённого merge `_handle_merge_verify` (ребро `deploy→done`, ORCH-071/073): читает
+  измеренное покрытие из `18-coverage-report.md`, атомарный compare-and-set
+  `UPDATE ... WHERE coverage <= measured` (базовая линия не падает) под held merge-lease +
+  per-repo сериализацией merge (ORCH-043).
+- **Условность (как ORCH-35/43/58):** `coverage_gate_enabled` + `coverage_gate_repos` (пусто →
+  только self-hosting `orchestrator`); вне области → no-op pass; `applies(repo)` ПЕРВОЙ.
+  **Ошибка инструмента → fail-open + WARNING** по умолчанию (`coverage_tool_fail_closed=False`,
+  анти-петля как ORCH-061); флаг → fail-closed.
+- **Артефакт `18-coverage-report.md`** (frontmatter `coverage_status: PASS|FAIL` +
+  `measured_coverage`/`baseline`/`floor`/`policy`/`delta`), вердикт читается ТОЛЬКО из
+  frontmatter через `src/frontmatter.py`. Наблюдаемость — read-only блок `coverage` в
+  `GET /queue`; FAIL → Telegram (кликабельный номер, измеренное/порог/дельта); опциональный
+  `POST /coverage/baseline` (ручной override). never-raise; гейт не деплоит/не рестартит прод/
+  не пушит в `main` (NFR-3). При выключенном флаге — нулевая регрессия (enduro не затронут).
+
+Подробнее: [adr-0029](adr/adr-0029-coverage-gate.md), детально —
+`docs/work-items/ORCH-027/06-adr/ADR-001-coverage-gate.md`,
+`docs/work-items/ORCH-027/08-data-requirements.md`.
+
 ### Зависимости задач: B ждёт A (ORCH-026, Уровень B)
 Плоская очередь ORCH-1 (FIFO по `id` + `available_at` + `max_concurrency`) не выражала логических зависимостей. ORCH-026 вводит декларативные связи «задача B не стартует, пока не готовы её depends-on» — без новой стадии и без изменения `STAGE_TRANSITIONS`/`QG_CHECKS`.
 - **Источник истины планировщика — БД** (аддитивная таблица `job_deps(task_id, depends_on_task_id)`): claim в горячем цикле обслуживает очередь ВСЕХ проектов и обязан быть offline-устойчив (сетевой Plane на каждый claim = встанет очередь всех проектов). Источник **декларации** настраивается `task_deps_source = db|plane|hybrid` (дефолт `db`; `plane`/`hybrid` читают Plane relations в `handle_work_item_created` и кэшируют в `job_deps`).
--- a/docs/architecture/adr/adr-0029-coverage-gate.md
+++ b/docs/architecture/adr/adr-0029-coverage-gate.md
@@ -0,0 +1,93 @@
+---
+work_item: ORCH-027
+stage: architecture
+author_agent: architect
+status: proposed
+created_at: 2026-06-10
+model_used: claude-opus-4-8
+---
+
+# adr-0029: Гейт покрытия тестами — edge sub-gate + ratchet-базовая линия
+
+- **Статус:** proposed
+- **Дата:** 2026-06-10
+- **Задача:** ORCH-027
+- **Детальный ADR:** `docs/work-items/ORCH-027/06-adr/ADR-001-coverage-gate.md`
+
+## Контекст
+Оркестратор автономен: `developer` пишет код без человека-фильтра, `tester` сам решает, хватает
+ли тестов. Существующие тестовые гейты судят только по факту прохождения, не по полноте:
+`check_ci_green` (exit-code CI), `check_tests_passed` (LLM-вердикт `tester`'а), merge-gate
+re-test (exit-code). Ни один не замечает «300 строк кода, 0 тестов». При пакетном автономном
+прогоне (ORCH-088) это монотонная деградация покрытия. Нужна детерминированная метрика — по духу
+как security-гейт (adr-0012).
+
+## Решение
+Детерминированный (без LLM) **гейт покрытия как под-гейт ребра `deploy-staging → deploy`**,
+рядом с security-gate (ORCH-022), merge-gate (ORCH-043), image-freshness (ORCH-058). Паттерн —
+leaf-модуль `src/coverage_gate.py` (never-raise) + обёртка в `QG_CHECKS` (`check_coverage_gate`)
+ врезка `_handle_coverage_gate` в `advance_stage`. `STAGE_TRANSITIONS` не меняется.
+
+- **Порядок: security → merge → `coverage` → image-freshness.** Coverage идёт **ПОСЛЕ
+  merge-gate** (ветка догнана на свежий `origin/main` → меряем покрытие того кода, что landed) и
+  **ДО image-freshness** (фейлить дёшево до docker-rebuild). На этой точке merge-lease **held** →
+  **FAIL обязан освободить lease** при откате (как image-freshness rollback; в отличие от
+  security, который идёт до захвата lease).
+- **Измеритель:** `pytest-cov` (`coverage.py`), `python -m pytest tests/ --cov=src
+  --cov-report=json` в изолированном worktree (`ensure_worktree`); метрика —
+  `totals.percent_covered`. Тайм-аут `coverage_run_timeout_s`. Скоуп — `src/` (не тесты).
+- **Чистая функция** `compute_coverage_verdict(measured, baseline, floor, policy, epsilon)`:
+  `absolute` (≥floor−ε), `baseline` (≥baseline−ε, ratchet), `both` (дефолт). `baseline=None` →
+  bootstrap (только absolute). FAIL → откат на `development` + developer-retry (cap
+  `MAX_DEVELOPER_RETRIES`), дословный reason в `task_desc` (ORCH-046).
+- **Базовая линия — аддитивная БД-таблица** `coverage_baseline(repo PK, coverage, source_sha,
+  updated_at)` (`CREATE TABLE IF NOT EXISTS`, паттерн `repo_freeze`/`job_deps`). Выбор БД над
+  файлом-в-репо: нет git-churn/конфликтов на ratchet, restart-safe, атомарное обновление.
+- **Ratchet-up** в choke-point подтверждённого merge `_handle_merge_verify` (ребро
+  `deploy → done`, ORCH-071/073): читает измеренное покрытие из `18-coverage-report.md`,
+  атомарный compare-and-set `UPDATE ... WHERE coverage <= measured` (базовая линия не падает).
+  Под held merge-lease + per-repo сериализацией merge (ORCH-043) — двойная анти-гонка.
+- **Артефакт `18-coverage-report.md`** с frontmatter `coverage_status: PASS|FAIL` (+
+  `measured_coverage`/`baseline`/`floor`/`policy`/`delta` + аддитивная 52c-схема); вердикт
+  читается ТОЛЬКО из frontmatter через `src/frontmatter.py` (single source of truth).
+- **Условность (как ORCH-35/43/58):** `coverage_gate_enabled` + `coverage_gate_repos` (пусто →
+  только self-hosting `orchestrator`); вне области → no-op pass. `applies(repo)` ПЕРВОЙ, дорогой
+  прогон — только при applies.
+- **Ошибка инструмента → fail-open + WARNING** по умолчанию (`coverage_tool_fail_closed=False`,
+  анти-петля как ORCH-061); флаг → fail-closed.
+- **Наблюдаемость:** read-only блок `coverage` в `GET /queue`; FAIL → Telegram (кликабельный
+  номер, измеренное/порог/дельта). Опциональный `POST /coverage/baseline` (ручной override).
+- **never-raise**, гейт не деплоит/не рестартит прод/не пушит в `main` (NFR-3).
+
+## Альтернативы
+- **CI-job (`check_ci_green`):** пороги/политика/baseline/артефакт плохо выражаются статусом
+  коммита; ratchet требует записи в БД. Отклонено для v1 (точка расширения).
+- **Edge `testing → deploy-staging`:** ветка не догнана на свежий `main` → метрика неточна;
+  откат не освобождает lease. Отклонено.
+- **Базовая линия в файле репо:** git-churn/конфликты на каждый ratchet. Отклонено.
+- **Новая стадия `coverage`:** «пустая» стадия без агента не имеет триггера (как ORCH-043/022).
+  Отклонено.
+- **Жёсткий absolute-порог без baseline/epsilon:** массовые ложные заворота. Отклонено.
+
+## Последствия
+- Класс «тихо просевшее покрытие» закрыт детерминированной метрикой; baseline только растёт.
+- Нулевая регрессия вне области (enduro-trails); `STAGE_TRANSITIONS`/`QG_CHECKS`-семантика/
+  вердикт-ключи (`verdict:`/`result:`/`deploy_status:`/`staging_status:`/`security_status:`) —
+  байт-в-байт прежние; новая БД-таблица аддитивна.
+- Плата: ещё один «скрытый» под-гейт ребра; новая pip-зависимость (`pytest-cov`); доп. прогон
+  pytest (после merge-gate re-test, ограничен таймаутом, фейлит до rebuild); v1 — Python-only.
+- Дефолтный fail-open тихо пропускает при устойчивом сбое инструмента (с WARNING) —
+  переключаемо `coverage_tool_fail_closed`.
+- Сквозное изменение (новый QG + edge-под-гейт + новая таблица + новый артефакт) →
+  `arch:major-change`; прод-деплой строго через staging-гейт (8501), без рестарта прод-контейнера.
+- **Откат:** `coverage_gate_enabled=False` → полный no-op (мгновенный обратимый kill-switch).
+
+## Связи
+adr-0012 (security-гейт — паттерн edge-под-гейта/leaf/never-raise/fail-open), adr-0006
+(merge-gate — edge-под-гейт/откат/merge-lease), adr-0008 (image-freshness — условность/
+fail-closed/release-lease-on-rollback), adr-0003 (условный гейт / `is_self_hosting_repo`),
+adr-0009 (анти-петля ложных FAIL, ORCH-061), adr-0013/adr-0014 (merge-verify / SHA-in-main как
+source of truth — точка ratchet), adr-0015/adr-0017 (per-repo сериализация merge/serial-gate),
+adr-0020 (frontmatter-контракт — парсинг `coverage_status:`), adr-0019 (PIPELINE_DOCS — артефакт
+`18-coverage-report.md`), ORCH-9/15 (мульти-стек — будущая зависимость BR-6).
+</content>