feat(serial-gate): per-repo serial gate + deferred branch cut + rollback-freeze (ORCH-088) #88

Merged
admin merged 7 commits from feature/ORCH-088-orch-88-10-20 into main 2026-06-09 11:31:58 +03:00
32 changed files with 2537 additions and 19 deletions

View File

@@ -107,6 +107,20 @@ ORCH_PREMERGE_REBASE_ALWAYS=true
# cache them into job_deps (the scheduler then reads only the DB).
ORCH_TASK_DEPS_ENABLED=true
ORCH_TASK_DEPS_SOURCE=db
# ORCH-088 (Stage 1, serial e2e): per-repo serial gate. A NEW task's analyst-job does
# NOT enter analysis (no branch cut, no analyst) while the same repo has an EARLIER
# unfinished task (FIFO, tasks.id < the job's task) OR the repo is frozen. The branch
# cut is DEFERRED from start_pipeline to the analyst-job claim so its base is a fresh
# origin/main already containing the predecessor (anti-stale-base). Gate lives in
# claim_next_job (offline hot-path, fail-OPEN on error); freeze (FR-5) is a durable
# repo_freeze row set on post-deploy DEGRADED, cleared manually via
# POST /serial-gate/unfreeze?repo=<repo>. Leaf src/serial_gate.py (never-raise).
# SERIAL_GATE_ENABLED=false -> claim AND start_pipeline are 1:1 as before ORCH-088.
# SERIAL_GATE_REPOS (CSV) -> scope; EMPTY = ALL repos (not self-hosting-only).
# SERIAL_GATE_FREEZE_ENABLED=false -> the rollback-freeze layer is off (not set/read).
ORCH_SERIAL_GATE_ENABLED=true
ORCH_SERIAL_GATE_REPOS=
ORCH_SERIAL_GATE_FREEZE_ENABLED=true
# ORCH-071/073: merge-verify under-gate on the `deploy -> done` edge (врезка in
# advance_stage, NOT a new STAGE_TRANSITIONS edge / registered QG). A deterministic
# merge-actor merges the feature code-PR via the Gitea PR-merge API (never push/

View File

@@ -1,4 +1,4 @@
Work item: ORCH-061
Work item: ORCH-088
Repo: orchestrator
Branch: feature/ORCH-061-bug-deploy-staging-development
Branch: feature/ORCH-088-orch-88-10-20
Stage: development

View File

@@ -3,6 +3,11 @@
Формат: [Keep a Changelog](https://keepachangelog.com/). Записи — на смысловой PR/задачу.
## [Unreleased]
- **Per-repo serial gate: пакетный автономный режим (Этап 1, serial e2e)** (ORCH-088, `feat`): закрыт **логический** stale-анализ — ветка задачи N+1 срезалась на входе в анализ (`start_pipeline._create_gitea_branch`) от `main`, ещё не содержащего код предшественника N (физическое затирание уже закрыто ORCH-026). Новая задача репо не входит в `analysis` (не режет ветку, не запускает analyst), пока в репо есть незавершённая задача или репо заморожен. Аддитивно, под kill-switch, область репо, never-raise, restart-safe; `STAGE_TRANSITIONS`/`QG_CHECKS`/`check_*`**без изменений**.
- **Gate-в-claim** (`db.claim_next_job`): analyst-job (`jobs.agent='analyst'`) применимого репо не выбирается, если `EXISTS` **более ранняя** незавершённая задача репо (`t2.id < jobs.task_id`) ИЛИ активна строка `repo_freeze`. Фрагмент строится в leaf `src/serial_gate.py::build_claim_clause` (санитизация repo-токенов `^[A-Za-z0-9._-]+$`, **fail-OPEN** на любой ошибке построения — не заклинить очередь всех проектов, AC-8); только локальная БД (offline hot-path, NFR-2). Job'ы уже активной задачи проходят свободно. **FIFO-уточнение реализации (FR-2):** ADR-001 D1 фиксировал псевдо-SQL `t2.id != jobs.task_id`; при `!=` пакет одновременно созданных свежих задач (все в `analysis`) взаимно блокировался бы → дедлок всей serial-очереди (воспроизведено). `<` допускает ровно самую раннюю задачу и сериализует остальные за ней (строго по одной, FIFO по `jobs.id`), сохраняя AC-1 и не блокируя rework-analyst собственной задачи (R-7).
- **Отложенный срез ветки (анти-stale-base, AC-6):** для применимого репо `start_pipeline` создаёт task-row + enqueue analyst, но **не** создаёт Gitea-ветку/docs; срез релоцирован в `launcher._spawn` (новый `_materialize_deferred_branch`, sync через `asyncio.run` в worker-потоке, R-4) на момент claim analyst-job, когда `origin/main` уже содержит предшественника (`done` ⇔ SHA-в-main, ORCH-071/073). `ensure_worktree` режет от свежего `origin/main` ⇒ AC-6 структурно. Идемпотентно (`_create_gitea_branch` 409 / `_create_initial_docs` 422 = no-op) → безопасно при реклейме/рестарте. Ожидающая задача = `queued` analyst-job без ветки; `tasks.branch` хранится как имя (R-5).
- **Durable per-repo freeze (FR-5):** новая аддитивная append-only таблица `repo_freeze(id, repo, frozen_at, reason, work_item_id, cleared_at)` (`CREATE TABLE/INDEX IF NOT EXISTS` в `init_db`, идемпотентно, restart-safe). Post-deploy `DEGRADED` (`stage_engine.run_post_deploy_monitor`) → `serial_gate.set_repo_freeze` + Telegram-алерт «пакет заморожен»; gate закрыт безусловно (деградировавшая задача уже `done`, BR-7 ⇒ отдельный сигнал, независимый от `stage`) до **ручного** снятия — новый эндпоинт `POST /serial-gate/unfreeze?repo=<repo>` (`clear_repo_freeze`, идемпотентно, + Telegram-подтверждение; альтернатива — `UPDATE repo_freeze SET cleared_at=datetime('now') …`). freeze в Python-слое (`is_repo_frozen`) → **fail-CLOSED** (безопасность прода, AC-9). Независимый тумблер `serial_gate_freeze_enabled`.
- **Конфигурация (`src/config.py`):** `serial_gate_enabled` (kill-switch, `ORCH_SERIAL_GATE_ENABLED`, дефолт true → claim+start_pipeline 1:1 как сейчас при false), `serial_gate_repos` (CSV, `ORCH_SERIAL_GATE_REPOS`; **пусто ⇒ все репо**, в отличие от self-hosting-only ORCH-35/43/58; оператор может сузить), `serial_gate_freeze_enabled` (`ORCH_SERIAL_GATE_FREEZE_ENABLED`). Наблюдаемость — аддитивный блок `serial_gate` в `GET /queue` (per-repo `active_task`/`waiting`/`frozen`+reason+at); существующие ключи не меняются. **NFR-6:** freeze — пассивная остановка стартов, прод-контейнер не рестартится/не роняется. Cross-repo параллелизм сохранён (FR-3/AC-4); при выключенном флаге — нулевая регрессия (enduro не затронут, AC-7). ADR `docs/work-items/ORCH-088/06-adr/ADR-001-serial-gate.md`, данные `08-data-requirements.md`, сквозной `adr-0017`. Документация: `docs/architecture/README.md` (раздел serial gate + `/queue` + таблица API + раздел БД), `CLAUDE.md`. Тесты: `tests/test_serial_gate.py` (TC-01/02/03/08/15/16/17/19/21), `tests/test_serial_gate_e2e.py` (TC-04/05/06), `tests/test_serial_gate_freeze.py` (TC-07/09/10/11/12/18/22), `tests/test_serial_gate_branch.py` (TC-13/14), `tests/test_queue_endpoint.py` (TC-20).
- **CI-фикс: per-run путь логов из хардкода `/app/data/runs` в `settings.runs_dir`** (ORCH-087, `fix`): тест `tests/test_launcher.py::TestEffortStamp::test_spawn_stamps_resolved_effort` падал в CI (`PermissionError: [Errno 13] … '/app'`) — зелёный локально-в-контейнере (где `/app` есть), красный на CI-хосте (act_runner hostexecutor, юзер без доступа к `/app`). **Корень:** `launcher._spawn` хардкодил `output_path="/app/data/runs/{run_id}.log"` + `os.makedirs('/app/data/runs')`, а тест дёргал `_spawn`, не замокав путь → makedirs на недоступном `/app` бросал. **Фикс (корень, не только тест):** базовый каталог per-run логов вынесен в `Settings.runs_dir` (env `ORCH_RUNS_DIR`, дефолт `/app/data/runs` — прод-layout 1:1); новый хелпер `launcher._run_log_path(run_id)` = `<settings.runs_dir>/{run_id}.log` стал единым источником пути (использован в `_spawn` + три прежних inline-строки логов/алертов). Тест `monkeypatch`-ит `settings.runs_dir` на `tmp_path` → окружение-независим (подтверждено прогоном с принудительно недоступным `/app`). `STAGE_TRANSITIONS`/`QG_CHECKS`/схема БД — без изменений. Документация: `README.md` (таблица env), `CHANGELOG.md`.
- **Live-трекер: зачистка осиротевших карточек + эффорт в строке стадии + честное итоговое время** (ORCH-087, `fix`): в чат периодически попадали «замёрзшие» сироты — старая карточка с заголовком `📍 To Analyse` висела на задаче, реально дошедшей до `deploy` (скриншот ORCH-082). **Корень (G0/ADR-001):** указатель `tasks.tracker_message_id` — скаляр (знает лишь ПОСЛЕДНИЙ `message_id`), поэтому при рассинхроне bump-режима (доминанты: гонка двух `update_task_tracker` и `delete`-fail+`send`-ok) ссылка на прежнюю карточку терялась навсегда → сирота не удалялась и больше не обновлялась (рендер исправен — застывал именно потерянный mid). **Фикс (bump сохранён дефолтом — фича «карточка внизу» ORCH-042/067):**
- **G1 — полный учёт mid:** аддитивная таблица-леджер `tracker_messages(task_id, message_id, created_at, deleted_at)` (`src/db.py`) + хелперы `add_tracker_message`/`get_open_tracker_messages`/`mark_tracker_message_deleted`. На каждом bump зачищаются ВСЕ незакрытые mid (`deleted_at IS NULL`), а не только скаляр: успех/«already gone» (`_DELETE_GONE_MARKERS`) → `deleted_at`; transient-`delete` → остаётся для ретрая; новый mid в леджер + `set_tracker_message_id` ТОЛЬКО при успешном `send` (R-3/BR-6). Остаточная гонка самозалечивается за один переход (лок не вводится). Скаляр `tracker_message_id` сохранён (BC). Known-limitation: Telegram 48ч (сироты старше неудаляемы).

View File

@@ -7,7 +7,7 @@
- Backend: FastAPI + uvicorn (Python 3.12)
- БД: SQLite (`src/db.py`)
- Агенты: Claude CLI (`ORCH_CLAUDE_BIN`), по одному промпту на роль в `.openclaw/agents/`. **ORCH-74:** модель/эффорт агента берутся ТОЛЬКО из config (`resolve_agent_model`/`resolve_agent_effort`, ORCH-41) — frontmatter `model:` удалён как мёртвый, frontmatter описательный; имя модели валидируется форматом `^claude-…$` перед `--model` (never-break).
- Очередь задач: собственная (SQLite `jobs`, `src/queue_worker.py`, ORCH-1). **ORCH-026:** `claim_next_job` гейтит задачи с незавершёнными зависимостями (`job_deps`, `NOT EXISTS`) без занятия слота `max_concurrency`; декларации/детект циклов — leaf `src/task_deps.py` (kill-switch `ORCH_TASK_DEPS_ENABLED`). Сериализация мержа одного репо — безусловный pre-merge rebase под merge-lease (`ORCH_PREMERGE_REBASE_ALWAYS`).
- Очередь задач: собственная (SQLite `jobs`, `src/queue_worker.py`, ORCH-1). **ORCH-026:** `claim_next_job` гейтит задачи с незавершёнными зависимостями (`job_deps`, `NOT EXISTS`) без занятия слота `max_concurrency`; декларации/детект циклов — leaf `src/task_deps.py` (kill-switch `ORCH_TASK_DEPS_ENABLED`). Сериализация мержа одного репо — безусловный pre-merge rebase под merge-lease (`ORCH_PREMERGE_REBASE_ALWAYS`). **ORCH-088 (serial gate, Этап 1):** новая задача репо не входит в `analysis` (analyst-job не выбирается, ветка не режется), пока в репо есть **более ранняя** незавершённая задача (`t2.id < jobs.task_id`, FIFO) ИЛИ репо заморожен (`repo_freeze`). Срез ветки **отложен** со `start_pipeline` на момент claim analyst-job (`launcher._materialize_deferred_branch`) — база = свежий `origin/main` с кодом предшественника (анти-stale-base). Post-deploy `DEGRADED` → durable per-repo freeze (`repo_freeze`, `cleared_at IS NULL` = активен) + Telegram; снятие — вручную `POST /serial-gate/unfreeze?repo=…`. Leaf `src/serial_gate.py` (claim — fail-OPEN, freeze — fail-CLOSED); флаги `ORCH_SERIAL_GATE_ENABLED` (kill-switch), `ORCH_SERIAL_GATE_REPOS` (CSV; пусто = все репо), `ORCH_SERIAL_GATE_FREEZE_ENABLED`. Блок `serial_gate` в `GET /queue`. `STAGE_TRANSITIONS`/`QG_CHECKS` не тронуты.
- Контейнеризация: Docker + Compose
- CI/CD: Gitea Actions (`.gitea/workflows/`)
- Деплой: docker compose на mva154

View File

@@ -92,6 +92,44 @@ Self-hosting зацикливался на `deploy-staging`: `scripts/staging_ch
Подробнее: [adr-0015](adr/adr-0015-task-deps-and-merge-serialization.md), детально — `docs/work-items/ORCH-026/06-adr/ADR-001-merge-serialization-and-task-deps.md`.
### Per-repo serial gate: пакетный автономный режим (ORCH-088 — реализовано)
Эпик «1020 задач за ночь», Этап 1 (serial e2e). Закрывает **stale-анализ**: ветка задачи N+1
срезалась на входе в анализ (`start_pipeline._create_gitea_branch`) от `main`, ещё не содержащего код
предшественника N (физическое код-затирание уже закрыто ORCH-026; ORCH-088 — **логический** разрыв).
Новая задача репо не входит в `analysis` (не режет ветку, не запускает analyst), пока в том же репо
есть незавершённая задача (`stage != 'done'`) или репо заморожен. Аддитивно, под kill-switch, область
репо, never-raise, restart-safe; `STAGE_TRANSITIONS` / `QG_CHECKS` / `check_*`**без изменений**.
- **Gate-в-claim** (`db.claim_next_job`) — analyst-job (`jobs.agent='analyst'`) применимого репо не
выбирается, если `EXISTS` **более ранняя** незавершённая задача репо (`t2.id < jobs.task_id`) ИЛИ
активна строка `repo_freeze`. По образцу `task_deps` `NOT EXISTS` (ORCH-026); только локальная БД
(offline hot-path, NFR-2). Job'ы уже активной задачи проходят свободно. **FIFO-уточнение реализации
(FR-2):** ADR-001 D1 фиксировал псевдо-SQL `t2.id != jobs.task_id`; при `!=` пакет одновременно
созданных свежих задач (все в `analysis`) взаимно блокировался бы (каждая — «другая незавершённая»
для остальных) ⇒ дедлок всей serial-очереди. `<` допускает ровно самую раннюю задачу и сериализует
остальные за ней (строго по одной, FIFO по `jobs.id`), при этом по-прежнему не блокирует rework-analyst
собственной задачи (R-7) и сохраняет AC-1.
- **Отложенный срез ветки (анти-stale-base, AC-6):** для применимого репо `start_pipeline` создаёт
task-row + enqueue analyst, но **не** создаёт Gitea-ветку/docs; срез релоцируется на момент claim
analyst-job (launcher), когда `origin/main` уже содержит предшественника (`done` ⇔ SHA-в-main,
ORCH-071/073). `ensure_worktree` режет от свежего `origin/main` ⇒ AC-6 структурно. Идемпотентно
(`_create_gitea_branch` 409 = no-op).
- **Durable per-repo freeze** (новая аддитивная таблица `repo_freeze`, `cleared_at IS NULL` = активен) —
post-deploy `DEGRADED`/rollback (ORCH-021) → `set_repo_freeze` + Telegram-алерт; gate закрыт
безусловно до **ручного** снятия (`POST /serial-gate/unfreeze`). Деградировавшая задача уже `done`
(BR-7) ⇒ отдельный сигнал, независимый от `stage`.
- **Согласование NFR-1:** hot-claim тотальный сбой построения gate-фрагмента → **fail-open** (не
заклинить очередь всех проектов, AC-8); freeze в Python-слое (`is_repo_frozen`) → **fail-closed**
(безопасность прода, AC-9).
- Чистая логика — leaf `src/serial_gate.py` (never-raise). Флаги `serial_gate_enabled` (kill-switch),
`serial_gate_repos` (CSV; **пусто ⇒ все репо**, в отличие от self-hosting-only ORCH-35/43/58),
`serial_gate_freeze_enabled`. Наблюдаемость — аддитивный блок `serial_gate` в `GET /queue`
(per-repo `active_task` / `waiting` / `frozen`). Cross-repo параллелизм сохранён (FR-3); при
выключенном флаге — нулевая регрессия (enduro не затронут).
Подробнее: [adr-0017](adr/adr-0017-serial-gate.md), детально —
`docs/work-items/ORCH-088/06-adr/ADR-001-serial-gate.md`,
`docs/work-items/ORCH-088/08-data-requirements.md`.
### Исполняемый самодеплой стадии `deploy` (ORCH-36)
`deploy` перестаёт быть «бумажной»: для self-hosting (`is_self_hosting_repo`) стадия
РЕАЛЬНО деплоит прод (8500) через хост-хук `scripts/orchestrator-deploy-hook.sh`,
@@ -561,6 +599,7 @@ Monitoring after Deploy → Done
- `agent_runs` — запуски агентов (run_id, usage, cost)
- `jobs` — очередь задач (ORCH-1); колонка `pid` (ORCH-065) — pid агентского процесса для liveness-детекции зомби job-reaper'ом
- `job_deps` — декларативные зависимости задач (ORCH-026, Уровень B): `(task_id, depends_on_task_id)`, аддитивная; источник истины планировщика для гейта «B ждёт A»
- `repo_freeze` — durable per-repo rollback-freeze (ORCH-088, FR-5): `(id, repo, frozen_at, reason, work_item_id, cleared_at)`, аддитивная append-only; активный freeze ⇔ строка репо с `cleared_at IS NULL`. Выставляется post-deploy `DEGRADED` (`set_repo_freeze`), снимается вручную (`POST /serial-gate/unfreeze` → `cleared_at=now`). Гейтит serial-claim безусловно (деградировавшая задача уже `done`)
## Изоляция (git worktree, ORCH-2)
Каждая задача исполняется в отдельном git worktree, ветки не пересекаются. Репозитории проектов разделены под `/repos/<project>`.
@@ -570,7 +609,8 @@ Monitoring after Deploy → Done
|--------|------|----------|
| GET | `/health` | health check |
| GET | `/status` | активные задачи (stage != done) |
| GET | `/queue` | очередь: counts + max_concurrency + resilience + reconcile (ORCH-053) + reaper (ORCH-065) + post_deploy (ORCH-021) + последние jobs |
| GET | `/queue` | очередь: counts + max_concurrency + resilience + reconcile (ORCH-053) + reaper (ORCH-065) + post_deploy (ORCH-021) + task_deps (ORCH-026) + serial_gate (ORCH-088) + последние jobs |
| POST | `/serial-gate/unfreeze` | ORCH-088 (FR-5): ручное снятие per-repo rollback-freeze (query/body `repo=<repo>`) → `{ok, repo, cleared, frozen}`; идемпотентно. Альтернатива — `UPDATE repo_freeze SET cleared_at=datetime('now') WHERE repo=? AND cleared_at IS NULL` |
| POST | `/webhook/plane` | Plane webhook |
| POST | `/webhook/gitea` | Gitea webhook (push, PR, CI status) |
@@ -588,3 +628,4 @@ Monitoring after Deploy → Done
*Актуально на 2026-06-07. Обновлять при изменении src/stages.py, src/qg/checks.py, src/main.py. Статусы доработок: ORCH-036 (исполняемый самодеплой `deploy`, adr-0007) — реализовано; ORCH-043 (merge-gate, adr-0006) — design, ветка feature/ORCH-043; ORCH-053 (reconciler, adr-0007, src/reconciler.py) — реализовано; ORCH-060 (F-1 skip escalated/Blocked/Needs-Input, `docs/work-items/ORCH-060/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-060 (Guard 1 `developer_retry_count>=MAX_DEVELOPER_RETRIES` + Guard 2 `plane_sync.fetch_issue_state` Blocked/Needs-Input, флаг `ORCH_RECONCILE_SKIP_BLOCKED_ENABLED`); ORCH-058 (провенанс staging-образа: check_staging_image_fresh + staging_check свежего образа + хук-guard, adr-0008) — реализовано в ветке feature/ORCH-058 (обновлять также при изменении src/image_freshness.py, scripts/orchestrator-deploy-hook.sh, Dockerfile); ORCH-061 (толерантность staging-вердикта к инфра-FAIL C9a/C9b, adr-0009, `docs/work-items/ORCH-061/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-061 (обновлять также при изменении src/staging_verdict.py, scripts/staging_check.py, флаг staging_infra_tolerance_enabled); ORCH-021 (post-deploy наблюдение прода + реакция на деградацию, adr-0010, `docs/work-items/ORCH-021/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-021-post-deploy-rollback (reserved-agent job `post-deploy-monitor`: арм в src/stage_engine.py блок `next_stage == "done"`, тик `run_post_deploy_monitor` + перехват в src/agents/launcher.py ДО _spawn; чистая логика src/post_deploy.py never-raise; флаги `post_deploy_*` в src/config.py; блок `post_deploy` в `/queue`; артефакт 16-post-deploy-log.md; self-hosting всегда ALERT_ONLY — тик не рестартит прод; обновлять также при изменении src/post_deploy.py / арм-блока / launcher-перехвата); ORCH-065 (job-reaper + проактивный реклейм merge-lease + идемпотентная финализация merge, adr-0011, `docs/work-items/ORCH-065/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-065 (новый daemon-поток src/job_reaper.py + старт/стоп в src/main.py lifespan; колонка `jobs.pid` через _ensure_column + проставление в src/agents/launcher.py `_spawn`; функции реклейма lease `pid_alive`/`reclaim_stale_lease` + guard `pr_already_merged` в src/merge_gate.py (консультируется merge-актором — промпт `.openclaw/agents/deployer.md`); флаги `reaper_*`/`lease_reclaim_*` в src/config.py; блок `reaper` в `/queue`; обновлять также при изменении этих мест); ORCH-059 (выделенный статус-триггер прод-деплоя «Confirm Deploy», ADR `docs/work-items/ORCH-059/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-059 (маппинг `"Confirm Deploy"→"confirm_deploy"` в src/plane_sync.py `_PLANE_NAME_TO_KEY`, НЕ в `_DEFAULT_STATES` = fail-closed; ветка `handle_confirm_deploy` + fail-closed `.get("confirm_deploy")` в src/webhooks/plane.py `handle_issue_updated`; keyword-only `confirm_deploy` в src/stage_engine.py `advance_stage` — Фаза B деплоит ТОЛЬКО при `confirm_deploy=True`, иначе `Approved`-на-`deploy` = no-op; CTA Фазы A просит «Confirm Deploy»; эксплуатация — статус доски «Confirm Deploy» в Plane-проекте ORCH, `docs/work-items/ORCH-059/07-infra-requirements.md`).*
*Актуально на 2026-06-07. Обновлять при изменении src/stages.py, src/qg/checks.py, src/main.py. Статусы доработок: ORCH-036 (исполняемый самодеплой `deploy`, adr-0007) — реализовано; ORCH-043 (merge-gate, adr-0006) — design, ветка feature/ORCH-043; ORCH-053 (reconciler, adr-0007, src/reconciler.py) — реализовано; ORCH-060 (F-1 skip escalated/Blocked/Needs-Input, `docs/work-items/ORCH-060/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-060 (Guard 1 `developer_retry_count>=MAX_DEVELOPER_RETRIES` + Guard 2 `plane_sync.fetch_issue_state` Blocked/Needs-Input, флаг `ORCH_RECONCILE_SKIP_BLOCKED_ENABLED`); ORCH-058 (провенанс staging-образа: check_staging_image_fresh + staging_check свежего образа + хук-guard, adr-0008) — реализовано в ветке feature/ORCH-058 (обновлять также при изменении src/image_freshness.py, scripts/orchestrator-deploy-hook.sh, Dockerfile); ORCH-061 (толерантность staging-вердикта к инфра-FAIL C9a/C9b, adr-0009, `docs/work-items/ORCH-061/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-061 (обновлять также при изменении src/staging_verdict.py, scripts/staging_check.py, флаг staging_infra_tolerance_enabled); ORCH-021 (post-deploy наблюдение прода + реакция на деградацию, adr-0010, `docs/work-items/ORCH-021/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-021-post-deploy-rollback (reserved-agent job `post-deploy-monitor`: арм в src/stage_engine.py блок `next_stage == "done"`, тик `run_post_deploy_monitor` + перехват в src/agents/launcher.py ДО _spawn; чистая логика src/post_deploy.py never-raise; флаги `post_deploy_*` в src/config.py; блок `post_deploy` в `/queue`; артефакт 16-post-deploy-log.md; self-hosting всегда ALERT_ONLY — тик не рестартит прод; обновлять также при изменении src/post_deploy.py / арм-блока / launcher-перехвата); ORCH-065 (job-reaper + проактивный реклейм merge-lease + идемпотентная финализация merge, adr-0011, `docs/work-items/ORCH-065/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-065 (новый daemon-поток src/job_reaper.py + старт/стоп в src/main.py lifespan; колонка `jobs.pid` через _ensure_column + проставление в src/agents/launcher.py `_spawn`; функции реклейма lease `pid_alive`/`reclaim_stale_lease` + guard `pr_already_merged` в src/merge_gate.py (консультируется merge-актором — промпт `.openclaw/agents/deployer.md`); флаги `reaper_*`/`lease_reclaim_*` в src/config.py; блок `reaper` в `/queue`; обновлять также при изменении этих мест); ORCH-066 (осмысленная статусная модель Plane — слой B, `docs/work-items/ORCH-066/06-adr/ADR-001-plane-status-model.md`) — реализовано в ветке feature/ORCH-066-plane (только Plane-индикация: новые ключи `to_analyse`/`analysis`/`code_review`/`awaiting_deploy`/`deploying`/`monitoring` в `_PLANE_NAME_TO_KEY`/`_DEFAULT_STATES` + project-relative `_STATE_ALIAS_FALLBACK` в get_project_states + `_STAGE_TO_STATE_KEY` analysis/review + 5 новых `set_issue_*` в src/plane_sync.py; триггер `in_progress`→`to_analyse` и `set_issue_analysis` в src/webhooks/plane.py; Phase A→Awaiting Deploy / Phase B→Deploying / terminal-sync split monitoring↔done / post-deploy monitor HEALTHY→Done DEGRADED→Blocked в src/stage_engine.py; F-2 триггер `to_analyse` + Guard 2 skip-set с вычитанием base_working в src/reconciler.py; `STAGE_TRANSITIONS`/QG/схема БД НЕ трогаются; без kill-switch — раскат гейтится созданием 6 Plane-статусов оператором, `docs/work-items/ORCH-066/07-infra-requirements.md`; обновлять при изменении этих мест).*
*Актуально на 2026-06-07. Обновлять при изменении src/stages.py, src/qg/checks.py, src/main.py. Статусы доработок: ORCH-036 (исполняемый самодеплой `deploy`, adr-0007) — реализовано; ORCH-043 (merge-gate, adr-0006) — design, ветка feature/ORCH-043; ORCH-053 (reconciler, adr-0007, src/reconciler.py) — реализовано; ORCH-060 (F-1 skip escalated/Blocked/Needs-Input, `docs/work-items/ORCH-060/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-060 (Guard 1 `developer_retry_count>=MAX_DEVELOPER_RETRIES` + Guard 2 `plane_sync.fetch_issue_state` Blocked/Needs-Input, флаг `ORCH_RECONCILE_SKIP_BLOCKED_ENABLED`); ORCH-058 (провенанс staging-образа: check_staging_image_fresh + staging_check свежего образа + хук-guard, adr-0008) — реализовано в ветке feature/ORCH-058 (обновлять также при изменении src/image_freshness.py, scripts/orchestrator-deploy-hook.sh, Dockerfile); ORCH-061 (толерантность staging-вердикта к инфра-FAIL C9a/C9b, adr-0009, `docs/work-items/ORCH-061/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-061 (обновлять также при изменении src/staging_verdict.py, scripts/staging_check.py, флаг staging_infra_tolerance_enabled); ORCH-021 (post-deploy наблюдение прода + реакция на деградацию, adr-0010, `docs/work-items/ORCH-021/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-021-post-deploy-rollback (reserved-agent job `post-deploy-monitor`: арм в src/stage_engine.py блок `next_stage == "done"`, тик `run_post_deploy_monitor` + перехват в src/agents/launcher.py ДО _spawn; чистая логика src/post_deploy.py never-raise; флаги `post_deploy_*` в src/config.py; блок `post_deploy` в `/queue`; артефакт 16-post-deploy-log.md; self-hosting всегда ALERT_ONLY — тик не рестартит прод; обновлять также при изменении src/post_deploy.py / арм-блока / launcher-перехвата); ORCH-065 (job-reaper + проактивный реклейм merge-lease + идемпотентная финализация merge, adr-0011, `docs/work-items/ORCH-065/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-065 (новый daemon-поток src/job_reaper.py + старт/стоп в src/main.py lifespan; колонка `jobs.pid` через _ensure_column + проставление в src/agents/launcher.py `_spawn`; функции реклейма lease `pid_alive`/`reclaim_stale_lease` + guard `pr_already_merged` в src/merge_gate.py (консультируется merge-актором — промпт `.openclaw/agents/deployer.md`); флаги `reaper_*`/`lease_reclaim_*` в src/config.py; блок `reaper` в `/queue`; обновлять также при изменении этих мест); ORCH-068 (livelock-fix reconciler F-2: терминал-исключение по группе состояния + `_note_unblock` только при подтверждённом state change + дедуп; TTL `_STATES_CACHE`, `docs/work-items/ORCH-068/06-adr/ADR-001`) — реализовано в ветке feature/ORCH-068 (D1 терминал-гард по группе `_is_terminal_state` + `get_project_state_groups` в src/plane_sync.py; D2 сравнение стадии до/после `_dispatch` + дедуп-словарь в src/reconciler.py; TTL-запись `_STATES_CACHE` + флаг `plane_states_ttl_s` в src/config.py; счётчики `skipped_terminal_total`/`deduped_total` в `/queue`; обновлять также при изменении src/reconciler.py F-2, src/plane_sync.py `get_project_states`/`get_project_state_groups`/`_STATES_CACHE`).*
*Актуально на 2026-06-09. Статус доработки: ORCH-088 (per-repo serial gate, Этап 1 serial e2e, adr-0017, `docs/work-items/ORCH-088/06-adr/ADR-001-serial-gate.md`) — реализовано в ветке feature/ORCH-088 (leaf src/serial_gate.py never-raise: gate-фрагмент в src/db.py `claim_next_job` fail-OPEN c FIFO-условием `t2.id < jobs.task_id` + freeze `repo_freeze.cleared_at IS NULL`, freeze-решения fail-CLOSED; отложенный срез ветки src/webhooks/plane.py `start_pipeline` → src/agents/launcher.py `_materialize_deferred_branch` (sync `asyncio.run` в worker-потоке) при claim analyst-job; durable freeze таблица `repo_freeze` (idempotent миграция в init_db) + `set_repo_freeze` в src/stage_engine.py DEGRADED-ветке `run_post_deploy_monitor` + ручное снятие `POST /serial-gate/unfreeze` в src/main.py; флаги `serial_gate_enabled`/`serial_gate_repos`/`serial_gate_freeze_enabled` в src/config.py; блок `serial_gate` в `GET /queue`; `STAGE_TRANSITIONS`/`QG_CHECKS` НЕ трогаются; обновлять также при изменении этих мест).*

View File

@@ -22,11 +22,12 @@ Per-work-item решения живут в `docs/work-items/<id>/06-adr/ADR-NNN-
| adr-0014 | SHA-в-main — единственный критерий merge-verify + регресс-гард | accepted | 2026-06-08 | ORCH-073 |
| adr-0015 | Зависимости задач (B ждёт A) + сериализация merge внутри репо | accepted | 2026-06-08 | ORCH-026 |
| adr-0016 | ensure_open_pr — гарантированный код-PR перед merge-verify | accepted | 2026-06-09 | ORCH-082 |
| adr-0017 | Per-repo serial gate (пакетный автономный режим, serial e2e) | proposed | 2026-06-09 | ORCH-088 |
> ⚠️ Историческая коллизия: номер `0007` занят двумя файлами —
> `adr-0007-reconciler.md` (ORCH-053) и `adr-0007-executable-self-deploy.md`
> (ORCH-036). Оба accepted; для новых сквозных ADR использовать следующий
> свободный номер (текущий максимум — `0016`).
> свободный номер (текущий максимум — `0017`).
> adr-0014 **amends** adr-0013 (меняет критерий merge-verify на «SHA-в-main»).
> adr-0016 **amends** adr-0013/0014 (гарантирует открытый код-PR перед merge_pr, ORCH-082).

View File

@@ -0,0 +1,59 @@
# adr-0017: Per-repo serial gate (пакетный автономный режим, serial e2e)
Статус: **proposed** · Дата: 2026-06-09 · Источник: **ORCH-088** (Этап 1)
Детально: `docs/work-items/ORCH-088/06-adr/ADR-001-serial-gate.md`.
## Контекст
Цель эпика ORCH-088 — масштаб автономности: накидать вечером 1020 задач и получить к утру пакет,
последовательно проведённый через весь конвейер (analysis → … → deploy → done). Корневая проблема —
**stale-анализ**: ветка задачи N+1 срезается на входе в анализ (`start_pipeline._create_gitea_branch`)
от `main`, ещё не содержащего код предшественника N. Физическое код-затирание уже закрыто (ORCH-026
auto_rebase + merge-lease); остаётся **логический** разрыв. Plane API v1 не имеет bulk/relations ⇒
очередь/зависимости хранятся у оркестратора (gate по локальной БД).
## Решение
**Per-repo serial gate** — новая задача репо не входит в `analysis` (не режет ветку, не запускает
analyst), пока в том же репо есть незавершённая задача (`stage != 'done'`) или репо заморожен.
Три механизма, аддитивно, под kill-switch, с областью репо, never-raise, restart-safe:
1. **Gate-в-claim** (`db.claim_next_job`) — analyst-job (`jobs.agent='analyst'`) применимого репо не
выбирается, если `EXISTS` другая незавершённая задача репо ИЛИ активна строка `repo_freeze`. По
образцу `task_deps` `NOT EXISTS` (ORCH-026); только локальная БД (offline hot-path). Job'ы уже
активной задачи проходят свободно; rework-analyst не блокирует себя (`t2.id != jobs.task_id`).
2. **Отложенный срез ветки** — для применимого репо `start_pipeline` создаёт task-row + enqueue
analyst, но **не** создаёт Gitea-ветку/docs; срез релоцируется на момент claim analyst-job
(launcher), когда `origin/main` уже содержит предшественника (`done` ⇔ SHA-в-main, ORCH-071/073).
`ensure_worktree` режет от свежего `origin/main` ⇒ AC-6 структурно. Идемпотентно (409 = no-op).
3. **Durable per-repo freeze** (`repo_freeze`) — post-deploy `DEGRADED`/rollback (ORCH-021) →
`set_repo_freeze` + Telegram-алерт; gate закрыт безусловно до **ручного** снятия
(`POST /serial-gate/unfreeze`). Деградировавшая задача уже `done` (BR-7) ⇒ нужен отдельный сигнал.
Чистая логика — leaf `src/serial_gate.py` (never-raise). Флаги `serial_gate_enabled` (kill-switch),
`serial_gate_repos` (CSV; **пусто ⇒ все репо**, в отличие от self-hosting-only ORCH-35/43/58),
`serial_gate_freeze_enabled`. Наблюдаемость — блок `serial_gate` в `GET /queue`.
## Альтернативы
- **Гейт в `start_pipeline` + re-trigger при `done`** — больше состояния/путей, риск зависших задач;
relocation на claim переиспользует restart-safe `jobs`-очередь.
- **Freeze как колонка `tasks`** — неверная семантика (freeze per-repo, задача уже `done`).
- **Self-hosting-only область** — лишает enduro анти-stale-base (FR-3).
- **Отдельная таблица очереди ожидания** — избыточно; `jobs(queued)`+gate достаточно.
- **Снятие freeze Plane-жестом** — перегрузка статусов (анти-паттерн ORCH-059).
## Последствия
- **+** AC-6 закрыт структурно; AC-2/AC-3 «бесплатны» (ожидание = `queued` job без ветки);
переиспользование проверенных паттернов; cross-repo параллелизм сохранён; `STAGE_TRANSITIONS` /
`QG_CHECKS` / `check_*` / merge-gate / merge-verify / image-freshness / post-deploy / deploy-хук /
`max_concurrency`**без изменений**.
- **NFR-1:** hot-claim тотальный сбой → **fail-open** (не заклинить очередь всех проектов); freeze в
Python-слое → **fail-closed** (безопасность прода).
- **** Срез ветки/docs мигрируют из async в sync-путь launcher (обёртка); Blocked-задача держит пакет
(Этап 1, осознанно); freeze снимается только вручную.
- Откат: `serial_gate_enabled=False` ⇒ claim/старт 1:1 как до ORCH-088; таблица `repo_freeze` инертна.
- **Вне скопа** (Этап 1): merge-очередь FIFO, pre-merge rebase как отдельная фича, фазы A/B/C,
любой параллелизм задач внутри одного репо, зависимость от ORCH-83.
## Связи
- Переиспользует: adr-0002 (очередь ORCH-1), adr-0015 (claim-gate/auto_rebase/merge-lease ORCH-026),
adr-0010 (post-deploy monitor — источник DEGRADED), adr-0013/0014 (merge-verify ⇒ `done`⇔SHA-в-main).
- Новая аддитивная таблица `repo_freeze` (`docs/work-items/ORCH-088/08-data-requirements.md`).

View File

@@ -0,0 +1,7 @@
# Business Request: ORCH-88 [ЭПИК]: пакетный автономный режим (10-20 задач за ночь) — последовательно → потом параллельно
Work Item ID: ORCH-088
## Description
TBD

View File

@@ -0,0 +1,145 @@
# 01 — BRD: ORCH-088 — Пакетный автономный режим (Этап 1: serial e2e)
Work Item: **ORCH-088**
Repo: **orchestrator** (self-hosting)
Стадия: analysis
Заказчик: Слава
Тип: ЭПИК — Этап 1 (минимальный, без параллелизма)
> ⚠️ **Скоп зафиксирован Владельцем 09.06.** Реализуется ТОЛЬКО serial e2e (FR-1…FR-5).
> Фазовый режим A/B/C, merge-очередь FIFO, pre-merge rebase и зависимость от ORCH-83 —
> **ОТМЕНЕНЫ, не реализовывать.**
---
## 1. Бизнес-контекст и проблема
### 1.1. Цель эпика
Дать оркестратору **масштаб автономности**: накидать вечером 1020 задач и получить к утру
последовательно проведённый через весь конвейер (analysis → … → deploy → done) пакет — без
ручного запуска каждой задачи и без взаимного повреждения веток.
### 1.2. Корневая проблема — «stale-анализ» (логический, а не код-затирание)
Конвейер создаёт ветку задачи от `main`. Если задача **N+1** входит в анализ, пока задача **N**
ещё **не влита в `main`**, то ветка N+1 срезается от **устаревшего** `main` (без кода N). Результат:
- семантически устаревшая база разработки;
- риск потери/переоткрытия уже сделанного в N (накопительные потери прецедента — постмортем
фантомного merge, см. CLAUDE.md / ORCH-071);
- ручной разбор конфликтов утром вместо готового пакета.
Физическое **код-затирание** при параллельном merge уже закрыто (ORCH-026 auto_rebase + merge-lease).
ORCH-088 закрывает **логический** разрыв: гарантирует, что каждая следующая задача стартует от
`main`, **уже содержащего все предыдущие завершённые задачи репо**.
### 1.3. Почему сериализация именно «от АНАЛИЗА», а не «от merge»
Ветка срезается в самом начале — на входе в анализ (`start_pipeline` создаёт ветку в Gitea, далее
worktree). Если допустить параллельный анализ N и N+1, ветка N+1 уже срезана от старого `main`
поздняя сериализация на merge проблему не лечит. Поэтому gate ставится на **входе новой задачи в
анализ**: новая задача не начинает анализ (и не режет ветку), пока в репо есть незавершённая задача.
### 1.4. Установленные факты (проверено, не изобретать)
- **Plane API v1:** bulk-операций НЕТ; issue-relation НЕТ → зависимости/очередь оркестратор хранит
**у себя** (gate в планировщике/claim по локальной БД), не в Plane.
- **Уже есть (переиспользовать):** `max_concurrency=1`; ORCH-026 auto_rebase_onto_main +
force-with-lease + merge-lease; персистентная очередь ORCH-1 (таблица `jobs`, atomic claim,
restart-safe); ORCH-021 post-deploy monitor (для self — всегда `ALERT_ONLY`, db-стадия `done`
достигается ДО окна мониторинга — ORCH-071/066).
### 1.5. Решения Владельца (09.06) — приняты как требования
| # | Решение |
|---|---------|
| D-1 | Serial e2e подтверждён. BRD появляются **по одному** — осознанный размен: надёжность > батч-просмотр BRD. |
| D-2 | Сигнал «задача завершена» = **успешный прод-деплой** (`stage = done` после прод-деплоя). НЕ merge, НЕ staging. |
| D-3 | Мониторинг (~15 мин) **НЕ ждём**: gate N+1 открывается по `stage = done`, не по завершению окна мониторинга. |
| D-4 | Auto-rollback прода во время мониторинга → **заморозить gate + алерт**; следующая НЕ стартует до ручного снятия. |
| D-5 | Зависимость ORCH-088 ← ORCH-83 **убрана** — запускается независимо. |
---
## 2. Объём (scope)
### 2.1. В объёме (Этап 1)
- **FR-1 — Serial gate (per-repo):** новая задача не входит в `analysis` (не режет ветку, не
запускает analyst), пока в том же репо есть незавершённая задача (`stage < done`).
- **FR-2 — Очередь e2e:** накиданные задачи становятся в очередь и обрабатываются **строго по одной**
end-to-end (от анализа до прод-деплоя).
- **FR-3 — Per-repo изоляция:** сериализация действует **внутри одного репо**; разные репо
(`orchestrator`, `enduro-trails`) идут **параллельно** (независимые `main`).
- **FR-4 — Restart-safe:** активная задача и состояние gate определяются по **БД** (не in-memory) —
переживают рестарт оркестратора.
- **FR-5 — Rollback-freeze:** auto-rollback / деградация прода → gate репо **заморожен** + Telegram-
алерт; следующая задача не стартует до **ручного** снятия заморозки.
### 2.2. Вне объёма (явно, не делать)
- Merge-очередь FIFO; pre-merge rebase как отдельная фича; фазовый режим A/B/C; любая координация
**параллелизма** задач внутри одного репо.
- Изменение `STAGE_TRANSITIONS`, реестра `QG_CHECKS`, новых стадий конвейера.
- Зависимость от ORCH-83.
---
## 3. Заинтересованные стороны
- **Владелец/оператор (Слава):** накидывает пакет вечером, разбирает заморозку при сбое, читает
алерты, снимает freeze вручную.
- **Self-hosting прод (`orchestrator`):** обслуживает enduro-trails из того же инстанса — нельзя
ронять/блокировать конвейер enduro (FR-3).
---
## 4. Бизнес-требования (BR)
| ID | Требование | Связь |
|----|------------|-------|
| BR-1 | Пока в репо есть задача со `stage < done`, любая **другая** задача того же репо не начинает анализ — ждёт в очереди. | FR-1, AC-1 |
| BR-2 | Как только активная задача достигла `stage = done` (после прод-деплоя), следующая задача того же репо **автоматически** стартует анализ. | FR-1/FR-2, AC-2, D-2 |
| BR-3 | Ветка новой задачи срезается от `main`, **уже содержащего все ранее завершённые задачи репо** — нет stale-base. Branch не создаётся раньше, чем предшественник завершён. | FR-1, AC-6, §1.2 |
| BR-4 | Сериализация — строго per-repo; задачи разных репо идут параллельно, gate одного репо не влияет на другой. | FR-3, AC-4 |
| BR-5 | Активная задача и факт заморозки определяются из БД; после рестарта оркестратора gate ведёт себя идентично (не «забывает» активную задачу и не «теряет» freeze). | FR-4, AC-3 |
| BR-6 | Auto-rollback/деградация прода (post-deploy) → per-repo freeze + Telegram-алерт; следующая задача не стартует до ручного снятия freeze. | FR-5, AC-5, D-4 |
| BR-7 | Мониторинг прода (~15 мин) gate **не ждёт** — открытие gate привязано к `stage = done`. (Freeze BR-6 — отдельный, независимый от `stage` сигнал, т.к. к моменту деградации задача уже `done`.) | D-3, AC-5 |
| BR-8 | Поведение управляется kill-switch'ом и областью репо (как ORCH-35/43/58): выключение флага → строго прежнее поведение (нулевая регрессия для enduro). | NFR |
| BR-9 | Состояние gate наблюдаемо в `GET /queue` (активная задача репо, очередь ожидающих, статус freeze). | NFR |
---
## 5. Нефункциональные требования (NFR)
| ID | Требование |
|----|------------|
| NFR-1 | **never-raise:** любая ошибка логики gate не роняет claim/конвейер. Поведение при ошибке БД — **fail-open** для claim (транзиентный сбой не должен заклинить очередь ВСЕХ проектов), **fail-closed** для freeze (сомнение в безопасности прода → не стартовать). |
| NFR-2 | **Offline-устойчивость:** проверка gate в горячем цикле claim не должна ходить в сеть (Plane/Gitea) — иначе встанет очередь всех проектов. Источник истины — локальная БД. |
| NFR-3 | **Restart-safe:** никакого in-memory состояния; freeze и активная задача — в БД. |
| NFR-4 | **Нулевая регрессия:** при выключенном флаге запрос claim и путь старта идентичны текущим; enduro не затрагивается. |
| NFR-5 | **Инварианты неизменны:** `STAGE_TRANSITIONS`, реестр `QG_CHECKS`, `check_*`, exit-коды deploy-хука, merge-gate, схема post-deploy — не меняются (допустима только аддитивная, идемпотентная миграция БД). |
| NFR-6 | **Self-hosting безопасность:** механизм не рестартит/не роняет прод-контейнер; freeze — пассивная остановка стартов, не действие над прод. |
---
## 6. Допущения и ограничения
- `max_concurrency = 1` остаётся (Этап 1 без параллелизма); gate не зависит от значения, но не
ослабляет его.
- «Завершена» = `tasks.stage = 'done'`. Для self-hosting `done` достигается merge-verify + прод-деплой
(ORCH-071/036); пост-деплойное окно мониторинга идёт **после** `done` и gate его не ждёт (BR-7).
- Задача в статусе **Blocked / Needs Input** имеет `stage < done` и, следовательно, **держит gate
закрытым** — это сознательное поведение (Этап 1): пока задача не доведена до прод или не закрыта
оператором, пакет не движется. (Поведение зафиксировать в AC; альтернатива — вне скопа.)
- Снятие freeze (BR-6) — **ручное** (оператор), автоматического разбора деградации нет.
---
## 7. Критерии успеха (резюме; детали — 03-acceptance-criteria.md)
- AC-1 активная задача (`stage<done`) → новая не стартует анализ.
- AC-2 активная достигла `done` → следующая стартует автоматически.
- AC-3 gate переживает рестарт (состояние в БД).
- AC-4 разные репо идут параллельно.
- AC-5 auto-rollback → freeze + алерт, следующая не стартует до ручного снятия.
- AC-6 каждая ветка срезана от `main` со всеми предыдущими завершёнными задачами репо (нет stale-base).
---
## 8. Риски (детали — 10-tech-risks.md, заполняет архитектор)
- R-1: stale-base сохраняется, если ветка режется на входе (`_create_gitea_branch` в `start_pipeline`)
до завершения предшественника — gate обязан отсрочить **создание ветки**, а не только claim.
- R-2: gate, ошибочно fail-closed на транзиентной ошибке БД, заклинит очередь всех проектов.
- R-3: «вечный freeze» / залипшая активная задача в Blocked останавливает пакет — нужна наблюдаемость
и ручное снятие.

View File

@@ -0,0 +1,210 @@
# 02 — ТЗ (TRZ): ORCH-088 — Serial gate (Этап 1: пакетный автономный режим, serial e2e)
Work Item: **ORCH-088** · Repo: **orchestrator** · Стадия: analysis
> Документ описывает **что** должно измениться и **где** (модули/контракты/артефакты). **Как**
> (конкретная схема реализации, выбор «таблица vs sentinel», точки врезки) — решает архитектор в
> `06-adr/`. ТЗ фиксирует требования и границы, не предлагает архитектурное решение.
> ⚠️ Скоп — только FR-1…FR-5 (serial e2e). Merge-очередь / pre-merge rebase / фазы A/B/C / ORCH-83 —
> вне скопа.
---
## 1. Сводка изменения
Ввести **per-repo serial gate**: новая задача репо не входит в стадию `analysis` (не режет ветку, не
запускает analyst-агент), пока в том же репо есть незавершённая задача (`stage != 'done'`). Открытие
gate — по достижении предшественником `stage = 'done'` (после прод-деплоя). Дополнительно — **per-repo
freeze** при деградации/rollback прода (post-deploy), снимаемый вручную. Всё — аддитивно, под
kill-switch, с областью репо, never-raise, restart-safe. Машина стадий и реестр QG **не меняются**.
---
## 2. Задействованные модули `src/`
| Модуль | Роль в задаче | Характер изменения |
|--------|---------------|--------------------|
| `src/db.py` | `claim_next_job` (горячий claim), схема `tasks`/`jobs`, helper'ы выборки активной задачи репо; (возможно) аддитивная таблица/колонка для freeze | gate-условие в claim + новые read-only helper'ы + аддитивная миграция (идемпотентная, `_ensure_column`/`CREATE TABLE IF NOT EXISTS`) |
| `src/queue_worker.py` | вызывает `claim_next_job` в `_drain_once` | без изменения контракта; gate работает внутри claim |
| `src/webhooks/plane.py` | `start_pipeline` / `handle_status_start` / `_create_gitea_branch` | **отсрочка создания ветки** до момента, когда репо свободен (ключевое для AC-6); постановка задачи в очередь ожидания вместо немедленного среза ветки |
| `src/git_worktree.py` | `ensure_worktree` — срез ветки от `origin/main` | гарантия: для новой задачи база = свежий `origin/main` после `git fetch` (см. §6) |
| `src/agents/launcher.py` | `_spawn` — ленивое создание worktree на claim | согласование с отсрочкой среза ветки (не материализовать stale-ветку) |
| `src/stage_engine.py` | `run_post_deploy_monitor` / блок `next_stage == "done"` | при вердикте деградации/rollback — выставить per-repo freeze (FR-5) |
| `src/post_deploy.py` | `decide_action` / реакция | сигнал для freeze (`ALERT_ONLY` self / `ROLLBACK*` non-self) → выставление freeze |
| `src/config.py` | флаги фичи | новые: `serial_gate_enabled`, `serial_gate_repos` (CSV), при необходимости — флаги freeze |
| `src/main.py` | `GET /queue` | новый read-only блок наблюдаемости `serial_gate` |
| `src/notifications.py` / `src/plane_sync.py` | алерты freeze | переиспользовать `send_telegram` / `set_issue_blocked` / `notify_*` (never-raise) |
> Чистую логику gate/freeze желательно вынести в **leaf-модуль** (например `src/serial_gate.py`,
> never-raise, по образцу `src/task_deps.py` / `src/post_deploy.py`) — окончательно решает архитектор.
---
## 3. Функциональные изменения (требования к поведению)
### 3.1. FR-1 — Serial gate на входе в анализ
- **Условие закрытия gate (per-repo):** для репо `R` gate **закрыт**, если существует задача `A` репо
`R` со `stage != 'done'` (любая стадия `created…deploy`), **отличная** от рассматриваемой новой
задачи `B`.
- **Что блокируется при закрытом gate:** запуск analyst-агента новой задачи `B` **и** создание её
ветки (Gitea-ветка + worktree). Branch у `B` не должен быть срезан, пока gate закрыт (иначе stale-base,
AC-6).
- **Где гейтить:** в горячем пути выбора работы — `db.claim_next_job` (по образцу `task_deps` NOT EXISTS
gate), читая ТОЛЬКО локальную БД (NFR-2). Дополнительно — на входе `start_pipeline`, чтобы **не резать
ветку** до открытия gate (см. §3.3).
- **Применимость:** gate работает только для analyst-job новой задачи (вход в анализ). Job'ы уже
активной задачи (architect/developer/…/deployer) проходят свободно — иначе единственная активная
задача не сможет двигаться по конвейеру.
### 3.2. FR-2 — Очередь e2e
- Накиданные задачи репо встают в очередь; обрабатывается строго одна end-to-end. Реализуется
естественно: gate держит остальных, активная идёт по стадиям до `done`, затем gate открывается и
выбирается следующая (FIFO по существующему порядку очереди `jobs.id`).
### 3.3. FR-1/AC-6 — Отсрочка среза ветки (анти-stale-base)
- **Проблема (проверено):** ветка создаётся в Gitea в `start_pipeline._create_gitea_branch` от `main`
в момент перевода issue в «To Analyse» (T0) — **до** того, как предшественник влит. `ensure_worktree`
затем **присоединяет уже существующую** Gitea-ветку (а не режет свежую от `origin/main`), т.е. свежий
`git fetch` не спасает — база остаётся stale.
- **Требование:** создание ветки (Gitea-ветка и/или worktree) для новой задачи должно происходить
**после** того, как gate открылся (предшественник `done`), чтобы базой был `origin/main`, уже
содержащий код предшественника. Конкретный механизм отсрочки (отложить `_create_gitea_branch`;
материализовать ветку лениво при claim'е analyst-job из свежего `origin/main`; и т.п.) — выбирает
архитектор. Инвариант результата: **ветка `B` имеет в предках merge-commit/код всех ранее
завершённых задач репо** (проверяемо `git merge-base --is-ancestor`).
- Если архитектура решит резать ветку при claim'е analyst-job (а не в `start_pipeline`), это
автоматически даёт AC-6 (claim происходит только при открытом gate).
### 3.4. FR-3 — Per-repo
- Все выборки gate фильтруются по `tasks.repo``jobs.repo`). Состояние gate/freeze репо `R` не
влияет на claim/старт задач другого репо. Cross-repo параллелизм сохранён.
### 3.5. FR-4 — Restart-safe
- «Активная задача репо» вычисляется запросом к БД (`tasks` по `repo` + `stage != 'done'`), не из
in-memory. Freeze хранится в БД (аддитивная таблица/колонка). После рестарта поведение идентично.
### 3.6. FR-5 — Rollback-freeze
- При вердикте post-deploy `DEGRADED` (для self — реакция `ALERT_ONLY`; для non-self с
`post_deploy_auto_rollback``ROLLBACK`) для репо выставляется **durable freeze** (в БД).
- При активном freeze репо gate **закрыт безусловно**, независимо от наличия задач `stage<done`
(важно: деградировавшая задача к этому моменту уже `stage='done'` — BR-7 — поэтому обычный gate её
не удержит; нужен отдельный сигнал).
- Снятие freeze — **ручное** (оператор). Способ снятия (эндпоинт/админ-команда/ручная правка БД/
Plane-жест) определяет архитектор; требование — снятие должно быть простым, явным и наблюдаемым.
- Алерт: Telegram (`send_telegram`/`notify_*`) + Plane `Blocked` для деградировавшей задачи (как
ORCH-021), плюс явное сообщение «пакет заморожен, следующая задача не стартует до ручного снятия».
---
## 4. Изменения API
### 4.1. Новые публичные endpoint'ы
- **Нет обязательных новых endpoint'ов.** (Снятие freeze может быть реализовано как админ-эндпоинт —
на усмотрение архитектора; если вводится, описать в ADR и обновить таблицу API в README.)
### 4.2. Изменяемые endpoint'ы
- `GET /queue`**аддитивно** добавляется блок `serial_gate` (read-only снимок), по образцу блоков
`task_deps` / `reconcile` / `post_deploy`:
- `enabled` (флаг), `repos` (область),
- per-repo: `active_task` (`{work_item_id, stage}` или `null`), `waiting` (список ожидающих
задач/job'ов репо), `frozen` (bool) + причина/таймстамп freeze.
- never-raise: при ошибке — минимальный словарь с флагами и пустыми данными.
- Контракт `GET /queue`**расширяется аддитивно**, существующие ключи не меняются.
### 4.3. Webhook-обработчики
- `start_pipeline` / `handle_status_start` (`webhooks/plane.py`): добавляется ветвление «репо занят/
заморожен → отложить старт/срез ветки, поставить в очередь ожидания» вместо немедленного
`_create_gitea_branch` + enqueue. Внешний контракт вебхука Plane не меняется.
---
## 5. Изменения схемы БД
> Только **аддитивные, идемпотентные** миграции (общая прод-БД, enduro не трогать). Без изменения
> существующих таблиц-контрактов.
- **Freeze-состояние (FR-5):** требуется durable per-repo признак заморозки. Варианты (выбор —
архитектор): новая таблица `repo_freeze(repo TEXT, frozen_at TEXT, reason TEXT, work_item_id TEXT,
cleared_at TEXT)` **или** аддитивная колонка в существующей таблице. Требования к выбранному варианту:
идемпотентная миграция (`CREATE TABLE IF NOT EXISTS` / `_ensure_column`), restart-safe, per-repo.
- **Активная задача репо:** **новых колонок НЕ требуется** — вычисляется из существующих
`tasks(repo, stage)`.
- **Очередь ожидания:** переиспользовать существующую `jobs` (status='queued' + gate в claim) — новой
таблицы очереди **не вводить** (FR-2 решается gate'ом, не отдельной структурой).
- `STAGE_TRANSITIONS`, `QG_CHECKS`, `tasks`-контракт, `job_deps`, `agent_runs`**без изменений**.
---
## 6. Требования к срезу ветки (`git_worktree` / launcher)
- Для новой задачи, чья ветка создаётся после открытия gate: перед срезом — `git fetch origin`
(уже есть в `ensure_worktree`), база — `origin/main` HEAD.
- Гарантировать, что ветка НЕ присоединяется к stale Gitea-ветке, созданной раньше времени: либо не
создавать Gitea-ветку преждевременно (отсрочка §3.3), либо при материализации worktree база
безусловно = свежий `origin/main` (включающий предшественника).
- Никогда не push/force-push в `main`. Существующие merge-lease / auto_rebase (ORCH-026/043) не
трогаются.
---
## 7. Требования к новым QG checks
- **Новых QG-проверок не вводить.** Gate — это условие планировщика (claim / старт), а **не**
Quality Gate стадии. Реестр `QG_CHECKS` и `check_*` не меняются (как `task_deps` ORCH-026 —
gate в claim, не новый QG).
## 8. Конфигурация (`src/config.py`)
По образцу `task_deps_enabled` / `merge_gate_*` / `post_deploy_*`:
- `serial_gate_enabled: bool = True` (env `ORCH_SERIAL_GATE_ENABLED`) — kill-switch; `False` → claim и
старт ведут себя строго как сейчас (нулевая регрессия, NFR-4).
- `serial_gate_repos: str = ""` (env `ORCH_SERIAL_GATE_REPOS`, CSV) — область; пусто → применять как
по умолчанию (см. ниже).
- Helper `serial_gate_applies(repo) -> bool` (leaf-модуль, never-raise) по образцу `post_deploy_applies`:
`enabled` + (если CSV непуст — членство репо; иначе — область по умолчанию).
- **Область по умолчанию (решение для ADR):** serial gate осмыслен для ВСЕХ репо (FR-3 — и orchestrator,
и enduro выигрывают от serial e2e), в отличие от self-hosting-only гейтов (ORCH-35/43/58). Рекомендация:
пустой CSV → применять ко всем зарегистрированным репо. Архитектор фиксирует и обосновывает в ADR.
- При необходимости — отдельные флаги для freeze (FR-5), например `serial_gate_freeze_enabled`.
---
## 9. Наблюдаемость и алерты
- `GET /queue` блок `serial_gate` (см. §4.2).
- Лог: каждое решение «gate закрыт, задача отложена» и «freeze выставлен/снят» → `logger.info/warning`.
- Telegram: freeze (выставление) → алерт (`send_telegram`/`notify_*`); карточка задачи (ORCH-042/087)
может отражать «⏳ ждёт завершения <work_item_id>» (по образцу строки `task_deps` «⏳ ждёт ORCH-NNN»),
never-raise.
---
## 10. Артефакты pipeline (создать/обновить в ТОМ ЖЕ PR)
Документация — golden source (CLAUDE.md §2). По итогам разработки обновить:
- `docs/work-items/ORCH-088/06-adr/ADR-001-serial-gate.md` — решение (механизм отсрочки ветки, freeze-
хранилище, область по умолчанию, точки врезки).
- `docs/architecture/README.md` — новый раздел «Serial gate (ORCH-088)» + строка статуса доработок;
обновить описание `GET /queue` (блок `serial_gate`) и раздел «База данных», если добавлена таблица.
- `CLAUDE.md` — краткий абзац о serial-режиме (если уместно в паспорте).
- `CHANGELOG.md` — запись `feat:`.
- При новой таблице freeze — `docs/work-items/ORCH-088/08-data-requirements.md`.
- При новом админ-эндпоинте снятия freeze — обновить таблицу API в README.
---
## 11. Инварианты (не нарушать)
- `STAGE_TRANSITIONS`, реестр `QG_CHECKS`, `check_*`, exit-коды deploy-хука, merge-gate (ORCH-043),
merge-verify (ORCH-071/073), image-freshness (ORCH-058), post-deploy контракт (ORCH-021),
`max_concurrency`**без изменений**.
- never-raise на единицу работы; claim fail-**open** на ошибке БД (NFR-1); freeze fail-**closed**.
- Offline в горячем claim (NFR-2): без сетевых вызовов Plane/Gitea.
- Не рестартить/не ронять прод-контейнер (CLAUDE.md self-hosting).
- Миграции аддитивны и идемпотентны; enduro при выключенном/неприменимом флаге не затрагивается.
---
## 12. Открытые вопросы для архитектора (не блокируют анализ)
- OQ-1: Механизм отсрочки среза ветки — отложить `_create_gitea_branch` в `start_pipeline` ИЛИ
перенести материализацию ветки на claim analyst-job? (Влияет на AC-6 и на то, где живёт «ожидающая»
задача — в Plane-статусе vs как `queued` job без ветки.)
- OQ-2: Хранилище freeze — отдельная таблица `repo_freeze` vs колонка.
- OQ-3: Способ ручного снятия freeze (эндпоинт / Plane-жест / админ-команда).
- OQ-4: Поведение при задаче в Blocked/Needs-Input, держащей gate закрытым (Этап 1 — держит; нужен ли
отдельный «вывод из учёта активных» — вероятно нет, фиксируем как осознанное).
- OQ-5: Область по умолчанию (все репо vs только self-hosting) — рекомендация §8.

View File

@@ -0,0 +1,103 @@
# 03 — Критерии приёмки (Acceptance Criteria): ORCH-088 — Serial gate
Work Item: **ORCH-088** · Repo: **orchestrator** · Стадия: analysis
Формат: каждый критерий — чёткое условие **PASS/FAIL**. Критерий считается выполненным, если
описанная проверка даёт указанный результат. Нумерация AC-1…AC-6 соответствует BR; AC-7…AC-11 —
производные/защитные.
> Скоп — FR-1…FR-5 (serial e2e). Merge-очередь / pre-merge rebase / фазы A/B/C — вне приёмки.
---
## AC-1 — Gate закрыт при активной задаче
**Условие:** в репо `R` есть задача `A` со `stage != 'done'`. В очередь поступает новая задача `B`
того же репо.
- **PASS:** analyst-агент задачи `B` НЕ запускается; ветка `B` НЕ создаётся; `B` остаётся в ожидании
(`jobs.status='queued'` / не стартована). `GET /queue` показывает `B` как ожидающую.
- **FAIL:** analyst `B` стартовал, или ветка `B` создана, пока `A` не `done`.
## AC-2 — Автостарт следующей по достижении `done`
**Условие:** активная задача `A` репо `R` достигла `stage = 'done'` (после прод-деплоя). В очереди
ждёт `B`.
- **PASS:** `B` стартует анализ **автоматически** (без ручного действия) — claim analyst-job `B`
происходит на ближайшем цикле планировщика; ветка `B` создаётся в этот момент.
- **FAIL:** `B` не стартует после `A.stage='done'`, либо для старта требуется ручное вмешательство.
## AC-3 — Restart-safe (состояние в БД)
**Условие:** активна `A` (`stage<done`), `B` ждёт; оркестратор перезапускается.
- **PASS:** после рестарта gate по-прежнему закрыт (`B` не стартовала, `A` определяется из БД);
после `A.stage='done'` `B` стартует. Freeze (если был выставлен) сохраняется после рестарта.
- **FAIL:** после рестарта `B` стартовала при `A.stage<done`, или freeze «потерян».
## AC-4 — Per-repo параллелизм
**Условие:** активна задача в `orchestrator` (`stage<done`); в `enduro-trails` поступает новая задача.
- **PASS:** задача `enduro-trails` стартует анализ независимо (gate orchestrator её не держит) и
наоборот; gate/freeze одного репо не влияет на другой.
- **FAIL:** задача другого репо заблокирована состоянием gate/freeze чужого репо.
## AC-5 — Rollback-freeze + алерт
**Условие:** задача `A` репо `R` достигла `done`; во время post-deploy мониторинга вынесен вердикт
`DEGRADED` (self → `ALERT_ONLY`; non-self+auto_rollback → `ROLLBACK`).
- **PASS:** для `R` выставлен durable freeze (в БД); отправлен Telegram-алерт о заморозке; следующая
задача репо НЕ стартует, пока freeze не снят **вручную**; `GET /queue` показывает `frozen: true`.
После ручного снятия freeze следующая задача стартует.
- **FAIL:** следующая задача стартовала при активном freeze; либо freeze снялся автоматически; либо
алерт не отправлен.
## AC-6 — Нет stale-base (ветка от свежего `main`)
**Условие:** задачи `A` затем `B` одного репо проходят serial. `A` влита в `main` к моменту своего
`done`.
- **PASS:** ветка `B` срезана от `main`, **содержащего код `A`**: проверка
`git merge-base --is-ancestor <validated_sha задачи A> <branch B>` (или равноценная: HEAD `A` в
`main` — предок базы `B`) истинна. Branch `B` не создан раньше `A.stage='done'`.
- **FAIL:** база `B` не содержит коммитов `A` (ветка срезана до завершения `A`).
## AC-7 — Kill-switch / нулевая регрессия
**Условие:** `serial_gate_enabled = False` (или репо вне `serial_gate_repos`).
- **PASS:** claim и старт ведут себя строго как до ORCH-088 (gate инертен); тесты прежнего поведения
зелёные; enduro не затронут.
- **FAIL:** при выключенном флаге поведение отличается от исходного.
## AC-8 — never-raise / fail-open для claim
**Условие:** при вычислении gate происходит ошибка БД/логики в горячем пути claim.
- **PASS:** ошибка перехвачена и залогирована; claim НЕ падает; для claim — поведение fail-open
(очередь всех проектов не заклинивает). Конвейер enduro продолжает работать.
- **FAIL:** ошибка gate роняет claim/воркер или заклинивает очередь.
## AC-9 — fail-closed для freeze
**Условие:** при определении состояния freeze возникает сомнение/ошибка (например, не удалось
достоверно прочитать признак).
- **PASS:** в отношении freeze применяется консервативное (безопасное для прода) поведение — не
стартовать следующую при невозможности подтвердить отсутствие freeze (зафиксировать в ADR/коде).
- **FAIL:** при сомнении gate открывается и стартует следующую задачу.
## AC-10 — Наблюдаемость `GET /queue`
**Условие:** запрос `GET /queue` при активной задаче и/или freeze.
- **PASS:** ответ содержит аддитивный блок `serial_gate` с: `enabled`, областью, per-repo
`active_task`, списком `waiting`, `frozen`. Существующие ключи `/queue` не изменены.
- **FAIL:** блок отсутствует/ломает существующий контракт, либо данные не отражают реальное состояние.
## AC-11 — Инварианты неизменны
**Условие:** проверка контрактов после внедрения.
- **PASS:** `STAGE_TRANSITIONS`, реестр `QG_CHECKS`, `check_*`, exit-коды deploy-хука, merge-gate,
merge-verify, image-freshness, post-deploy контракт — без изменений; миграции БД аддитивны и
идемпотентны; прод-контейнер не рестартится механизмом gate.
- **FAIL:** изменён любой перечисленный контракт, либо миграция не идемпотентна.
---
## Сводная матрица AC ↔ FR/BR
| AC | FR | BR | Тип проверки |
|----|----|----|--------------|
| AC-1 | FR-1 | BR-1 | unit (claim/gate) + integration |
| AC-2 | FR-1/2 | BR-2 | integration |
| AC-3 | FR-4 | BR-5 | integration (restart) |
| AC-4 | FR-3 | BR-4 | unit + integration |
| AC-5 | FR-5 | BR-6/7 | integration |
| AC-6 | FR-1 | BR-3 | integration (git base) |
| AC-7 | — | BR-8 | unit |
| AC-8 | — | NFR-1 | unit |
| AC-9 | FR-5 | NFR-1 | unit |
| AC-10 | — | BR-9 | unit (snapshot) |
| AC-11 | — | NFR-5 | unit (контракты) |

View File

@@ -0,0 +1,153 @@
work_item: ORCH-088
title: "Serial gate (Этап 1: пакетный автономный режим, serial e2e)"
scope: "FR-1..FR-5 only. Merge-queue / pre-merge rebase / phases A/B/C / ORCH-83 — out of scope."
framework: pytest
# Принципы тестирования:
# - чистую логику gate/freeze покрываем unit-тестами на leaf-функциях (без сети/БД где можно);
# - claim-gate и e2e-последовательность — integration на временной SQLite-БД;
# - все тесты детерминированы (без реальных Plane/Gitea/прод вызовов — мокируются);
# - проверяем оба направления kill-switch (вкл/выкл) и never-raise.
tests:
# ---------- FR-1 / AC-1: gate закрыт при активной задаче ----------
- id: TC-01
type: unit
description: "claim_next_job НЕ выбирает analyst-job новой задачи B, если в репо есть задача A со stage!='done' (gate закрыт)"
module: tests/test_serial_gate.py
expected: PASS
- id: TC-02
type: unit
description: "serial_gate_applies(repo): enabled + пустой CSV → True для зарегистрированного репо; CSV с членством → True; репо вне CSV → False"
module: tests/test_serial_gate.py
expected: PASS
- id: TC-03
type: unit
description: "Job'ы УЖЕ активной задачи (architect/developer/.../deployer) gate'ом НЕ блокируются — единственная активная задача свободно идёт по конвейеру"
module: tests/test_serial_gate.py
expected: PASS
# ---------- FR-1/2 / AC-2: автостарт следующей по достижении done ----------
- id: TC-04
type: integration
description: "После перевода A.stage='done' claim_next_job выбирает analyst-job ожидающей B того же репо (gate открылся автоматически)"
module: tests/test_serial_gate_e2e.py
expected: PASS
- id: TC-05
type: integration
description: "Очередь из 3 задач одного репо обрабатывается строго по одной: пока A не done, ни B, ни C не стартуют; порядок FIFO по jobs.id"
module: tests/test_serial_gate_e2e.py
expected: PASS
# ---------- FR-4 / AC-3: restart-safe ----------
- id: TC-06
type: integration
description: "Активная задача определяется из БД (tasks.repo + stage!='done'), не из in-memory — после пересоздания воркера/состояния gate остаётся закрытым при A.stage<done"
module: tests/test_serial_gate_e2e.py
expected: PASS
- id: TC-07
type: integration
description: "Freeze переживает рестарт: выставленный в БД freeze читается после пересоздания состояния; следующая задача не стартует"
module: tests/test_serial_gate_freeze.py
expected: PASS
# ---------- FR-3 / AC-4: per-repo ----------
- id: TC-08
type: unit
description: "Активная задача в orchestrator (stage<done) НЕ блокирует claim analyst-job задачи в enduro-trails (gate фильтруется по repo)"
module: tests/test_serial_gate.py
expected: PASS
- id: TC-09
type: unit
description: "Freeze репо orchestrator не влияет на claim/старт задач enduro-trails"
module: tests/test_serial_gate_freeze.py
expected: PASS
# ---------- FR-5 / AC-5: rollback-freeze + алерт ----------
- id: TC-10
type: unit
description: "post-deploy вердикт DEGRADED → выставляется durable per-repo freeze (запись в БД) + вызывается Telegram-алерт (send_telegram замокан, проверяется вызов)"
module: tests/test_serial_gate_freeze.py
expected: PASS
- id: TC-11
type: integration
description: "При активном freeze репо claim_next_job НЕ выбирает analyst-job следующей задачи, даже если нет задач stage<done (деградировавшая уже done — BR-7)"
module: tests/test_serial_gate_freeze.py
expected: PASS
- id: TC-12
type: integration
description: "Ручное снятие freeze → следующая задача стартует на ближайшем цикле; freeze помечается cleared в БД"
module: tests/test_serial_gate_freeze.py
expected: PASS
# ---------- FR-1 / AC-6: нет stale-base ----------
- id: TC-13
type: integration
description: "Ветка B не создаётся (ни Gitea-ветка, ни worktree), пока gate закрыт — _create_gitea_branch/ensure_worktree для B не вызывается при A.stage<done"
module: tests/test_serial_gate_branch.py
expected: PASS
- id: TC-14
type: integration
description: "После A.stage='done' (A влита в main) база ветки B = origin/main с кодом A: git merge-base --is-ancestor <sha A> <base B> истинно (на временном git-репо)"
module: tests/test_serial_gate_branch.py
expected: PASS
# ---------- AC-7: kill-switch / нулевая регрессия ----------
- id: TC-15
type: unit
description: "serial_gate_enabled=False → claim_next_job SQL/поведение идентичны исходным (gate инертен); B стартует независимо от A"
module: tests/test_serial_gate.py
expected: PASS
- id: TC-16
type: unit
description: "Репо вне serial_gate_repos (CSV непуст) → gate не применяется к этому репо"
module: tests/test_serial_gate.py
expected: PASS
# ---------- AC-8 / AC-9: never-raise ----------
- id: TC-17
type: unit
description: "Ошибка БД при вычислении gate в claim → перехвачена, залогирована, claim не падает (fail-OPEN: claim продолжается)"
module: tests/test_serial_gate.py
expected: PASS
- id: TC-18
type: unit
description: "Ошибка при определении freeze → fail-CLOSED: следующая не стартует при невозможности подтвердить отсутствие freeze"
module: tests/test_serial_gate_freeze.py
expected: PASS
# ---------- AC-10: наблюдаемость ----------
- id: TC-19
type: unit
description: "serial_gate snapshot() возвращает {enabled, repos, per-repo active_task, waiting, frozen}; never-raise при ошибке → минимальный словарь"
module: tests/test_serial_gate.py
expected: PASS
- id: TC-20
type: integration
description: "GET /queue содержит аддитивный блок serial_gate и НЕ меняет существующие ключи (counts/max_concurrency/reconcile/reaper/post_deploy/task_deps/recent)"
module: tests/test_queue_endpoint.py
expected: PASS
# ---------- AC-11: инварианты ----------
- id: TC-21
type: unit
description: "STAGE_TRANSITIONS и реестр QG_CHECKS не изменены (снимок ключей совпадает с эталоном); новых QG-проверок нет"
module: tests/test_serial_gate.py
expected: PASS
- id: TC-22
type: unit
description: "Миграция freeze-хранилища идемпотентна: повторный вызов init_db/_ensure не падает и не дублирует структуру"
module: tests/test_serial_gate_freeze.py
expected: PASS

View File

@@ -0,0 +1,221 @@
# ADR-001: Per-repo serial gate + deferred branch cut + durable rollback-freeze (ORCH-088, Этап 1)
Work Item: **ORCH-088** · Repo: **orchestrator** (self-hosting) · Стадия: architecture
Связь: BRD `01-brd.md`, ТЗ `02-trz.md`, AC `03-acceptance-criteria.md`, данные `08-data-requirements.md`, риски `10-tech-risks.md`.
Сквозная регистрация: `docs/architecture/adr/adr-0017-serial-gate.md`.
## Статус
Proposed
---
## Контекст
Эпик ORCH-088 (Этап 1, serial e2e) требует обрабатывать пакет из 1020 задач **строго по одной**
end-to-end и устранить **stale-анализ**: ветка задачи N+1 не должна срезаться от `main`, ещё не
содержащего код предшественника N (BRD §1.2). Физическое код-затирание при параллельном merge уже
закрыто (ORCH-026 auto_rebase + merge-lease); ORCH-088 закрывает **логический** разрыв.
Корень проблемы (проверено в коде):
1. `webhooks/plane.py::start_pipeline` при переводе issue в анализ:
`create_task_atomic(stage='analysis')`**`_create_gitea_branch(repo, branch)`** (срез Gitea-ветки
от `main` в момент T0) → `_create_initial_docs(...)``enqueue_job("analyst", ...)`.
2. Позже `agents/launcher._spawn` зовёт `git_worktree.ensure_worktree(repo, branch)`, который при
**существующей** Gitea-ветке делает `fetch + checkout <branch>`**присоединяется к stale-ветке**,
а не режет свежую. `ensure_worktree` режет от `origin/main` (`git worktree add -b … origin/main`)
**только если ветки ещё нет** (git_worktree.py L84-86).
⇒ Ключ к AC-6: **ветка не должна быть создана раньше, чем предшественник `done`.** Гейтить только
claim недостаточно (R-1) — к этому моменту ветка уже срезана.
Существующий каркас для переиспользования: persistent-очередь ORCH-1 (`jobs`, atomic claim,
restart-safe), gate-в-claim ORCH-026 (`task_deps` `NOT EXISTS`), leaf-паттерн `src/task_deps.py` /
`src/post_deploy.py` (never-raise), наблюдаемость `GET /queue`, `max_concurrency=1`.
---
## Решение
### Сводка
Вводится **per-repo serial gate** двумя согласованными механизмами, аддитивно, под kill-switch,
с областью репо, never-raise, restart-safe. `STAGE_TRANSITIONS` / `QG_CHECKS` / `check_*` — без изменений.
1. **Gate-в-claim** (`db.claim_next_job`): analyst-job новой задачи **не выбирается**, пока в том же
репо есть другая незавершённая задача ИЛИ репо заморожен. Job уже активной задачи
(architect/developer/…/deployer) проходят свободно.
2. **Отложенный срез ветки**: для применимого репо `start_pipeline` **не** создаёт Gitea-ветку и docs;
создание ветки+docs **релоцируется** в момент claim analyst-job (launcher), когда `origin/main`
уже содержит предшественника. Это и даёт AC-6 структурно.
3. **Durable per-repo freeze** (`repo_freeze`): при post-deploy `DEGRADED` репо замораживается; gate
закрыт безусловно до **ручного** снятия.
Чистая логика — **новый leaf-модуль `src/serial_gate.py`** (never-raise, по образцу
`src/task_deps.py` / `src/post_deploy.py`).
### D1 — Где гейтить вход в анализ: claim + relocation среза ветки (OQ-1)
**Решение: релоцировать срез ветки на claim analyst-job, гейтить в `claim_next_job`.**
- `claim_next_job` получает дополнительный SQL-фрагмент `serial_gate` (строится как существующий
`dep_gate`, конкатенацией; только локальная БД — NFR-2 offline). Условие «**не** выбирать job,
если это analyst-job применимого репо, у которого есть конфликт»:
```
AND NOT (
jobs.agent = 'analyst'
{repo_scope} -- "" при пустом CSV (все репо); иначе AND jobs.repo IN (<sanitized>)
AND (
EXISTS (SELECT 1 FROM tasks t2
WHERE t2.repo = jobs.repo
AND t2.id != jobs.task_id -- «другая» задача (rework-analyst своей же задачи не блокирует себя)
AND t2.stage != 'done')
OR EXISTS (SELECT 1 FROM repo_freeze f
WHERE f.repo = jobs.repo AND f.cleared_at IS NULL)
)
)
```
- Гейт **только для `jobs.agent='analyst'`** — вход в анализ. Прочие роли активной задачи проходят
(иначе единственная активная задача не сдвинется). Rework-analyst (`start_pipeline` rejection-path,
re-enqueue analyst той же задачи) не блокируется собой за счёт `t2.id != jobs.task_id`.
- **Relocation среза ветки**: для применимого репо `start_pipeline` создаёт task-row
(`stage='analysis'`) и enqueue analyst-job, но **НЕ** зовёт `_create_gitea_branch` /
`_create_initial_docs`. Эти два вызова переносятся в путь spawn analyst-job (launcher), выполняясь
**в момент claim** — когда `origin/main` уже включает предшественника (gate открылся ⇒ предшественник
`done` ⇒ merge-verify ORCH-071 гарантировал SHA-в-main). Последовательность на claim сохраняется
идентичной нынешней: `_create_gitea_branch` (от свежего `main`) → `_create_initial_docs` →
`ensure_worktree` (fetch+checkout только что созданной ветки) ⇒ база = свежий `origin/main`.
- **Идемпотентность**: `_create_gitea_branch` уже обрабатывает 409 «branch exists» как no-op ⇒ повтор
claim (рестарт/реклейм) безопасен без флага в БД. AC-6 проверяемо:
`git merge-base --is-ancestor <validated_sha A> <base B>`.
**Почему не «гейт в `start_pipeline` + отложенный re-trigger»** (альтернатива OQ-1.A): webhook Plane —
one-shot; отложенная задача потребовала бы отдельного re-trigger (reconciler/done-hook) и псевдо-стадии
ожидания → больше состояния, больше путей, выше риск «зависшей» задачи. Relocation на claim
переиспользует уже-restart-safe `jobs`-очередь: ожидающая задача = `queued` analyst-job без ветки;
открытие gate = обычный claim на ближайшем тике планировщика (AC-2, AC-3 «бесплатно»).
### D2 — Хранилище freeze: отдельная таблица `repo_freeze` (OQ-2)
**Решение: новая аддитивная таблица** `repo_freeze(repo, frozen_at, reason, work_item_id, cleared_at)`
(детали — `08-data-requirements.md`). Активный freeze ⇔ `cleared_at IS NULL`. Колонка на `tasks`
отвергнута: freeze — **per-repo** сигнал, а деградировавшая задача к этому моменту уже `stage='done'`
(BR-7) — привязка к задаче семантически неверна. Таблица — append-only журнал (история заморозок,
наблюдаемость), идемпотентная миграция `CREATE TABLE IF NOT EXISTS`.
### D3 — Выставление freeze (FR-5)
В `stage_engine.run_post_deploy_monitor` в ветке вердикта `DEGRADED` (после реакции
`ALERT_ONLY`/`ROLLBACK*`, рядом с `set_issue_blocked`, L1702-1715) — вызов
`serial_gate.set_repo_freeze(repo, reason, work_item_id)` (never-raise) + Telegram-алерт
«пакет заморожен, следующая задача не стартует до ручного снятия» (reuse `send_telegram`/`_notify_post_deploy`).
Freeze **durable** (БД), self-hosting прод **не** рестартится/не роняется (NFR-6) — freeze есть
пассивная остановка стартов, не действие над прод.
### D4 — Снятие freeze: явный админ-эндпоинт (OQ-3)
**Решение: `POST /serial-gate/unfreeze` (body/query `repo=<repo>`)** → `serial_gate.clear_repo_freeze(repo)`
(ставит `cleared_at=now` всем активным строкам репо) + лог + Telegram-подтверждение. Аутентификация —
по существующему админ-механизму сервиса (тот же секрет/доступ, что у управляющих ручек; developer
согласует с текущей поверхностью). Альтернативой допускается ручная правка БД
(`UPDATE repo_freeze SET cleared_at=…`) — задокументировать в README. Снятие — простое, явное,
наблюдаемое (`GET /queue`). Plane-жест как триггер снятия **отвергнут** (перегрузка статусов —
анти-паттерн ORCH-059).
### D5 — Область по умолчанию: все зарегистрированные репо (OQ-5)
**Решение: пустой `serial_gate_repos` ⇒ применять ко ВСЕМ репо** (а не self-hosting-only как
ORCH-35/43/58). Обоснование: serial e2e и анти-stale-base полезны и enduro-trails (FR-3), у каждого
репо свой `main`. Cross-repo независимость сохраняется самим условием (`t2.repo = jobs.repo`). Оператор
может сузить область CSV (`ORCH_SERIAL_GATE_REPOS=orchestrator`), если хочет оставить enduro
без serial. «Нулевая регрессия для enduro» (BR-8/NFR-4) относится к **выключенному** kill-switch.
### D6 — Blocked/Needs-Input держит gate закрытым (OQ-4)
**Решение (Этап 1): осознанно держит.** Задача в Blocked/Needs-Input имеет `stage != 'done'` ⇒
участвует в `EXISTS` ⇒ gate закрыт. Пакет не движется, пока оператор не доведёт задачу до прод или не
закроет. Отдельный «вывод из учёта активных» — вне скопа (зафиксировано в AC, BRD §6). Наблюдаемость
(`GET /queue` + Telegram-карточка «⏳ ждёт …») делает залипание видимым (R-3).
### D7 — Конфигурация (`src/config.py`)
По образцу `task_deps_*` / `post_deploy_*`:
- `serial_gate_enabled: bool = True` (`ORCH_SERIAL_GATE_ENABLED`) — kill-switch. `False` ⇒ `claim` и
`start_pipeline` 1:1 как сейчас (ветка режется в `start_pipeline`, gate-фрагмент опущен) — NFR-4/AC-7.
- `serial_gate_repos: str = ""` (`ORCH_SERIAL_GATE_REPOS`, CSV) — область; пусто ⇒ все репо (D5).
- `serial_gate_freeze_enabled: bool = True` (`ORCH_SERIAL_GATE_FREEZE_ENABLED`) — независимый тумблер
freeze-слоя (FR-5) для поэтапного раската; `False` ⇒ freeze не выставляется/не учитывается.
- Helper `serial_gate.serial_gate_applies(repo) -> bool` (never-raise): `enabled` + (CSV непуст →
членство; иначе True).
### D8 — Leaf-модуль `src/serial_gate.py` (never-raise)
Публичный контракт (вся логика без сети, только БД/config):
- `serial_gate_applies(repo) -> bool`
- `repo_has_active_task(repo, exclude_task_id=None) -> bool` — `EXISTS tasks stage!='done'`
- `is_repo_frozen(repo) -> bool` — **fail-CLOSED** (ошибка/сомнение → `True`, AC-9)
- `set_repo_freeze(repo, reason, work_item_id)` / `clear_repo_freeze(repo)`
- `build_claim_clause() -> str` — SQL-фрагмент для `claim_next_job` (санитизация repo-токенов
`^[A-Za-z0-9._-]+$` перед встраиванием в `IN (...)`; невалидный токен дропается)
- `snapshot() -> dict` — per-repo `{active_task, waiting, frozen, frozen_reason, frozen_at}` для `/queue`
### D9 — Наблюдаемость `GET /queue` (BR-9, AC-10)
Аддитивный блок `serial_gate`: `{enabled, repos, per_repo: {<repo>: {active_task:{work_item_id,stage}|null,
waiting:[…], frozen:bool, frozen_reason, frozen_at}}}`. never-raise: при ошибке — минимальный словарь
с флагами и пустыми данными. Существующие ключи `/queue` не меняются.
### D10 — Согласование fail-open (claim) ↔ fail-closed (freeze) — NFR-1
Два требования действуют на разных слоях, без противоречия:
- **Hot-claim, тотальный сбой gate-запроса** ⇒ **fail-OPEN**: весь `serial_gate`-фрагмент строится
через `try/except` в `build_claim_clause`; любая ошибка построения → пустой фрагмент → claim как без
gate. Заклинивание очереди ВСЕХ проектов (включая enduro) хуже, чем разовый риск stale-base (AC-8).
- **Freeze-решение в Python-слое** (`is_repo_frozen`, deferral-решение, snapshot) ⇒ **fail-CLOSED**:
невозможность подтвердить отсутствие freeze → считать замороженным, не стартовать (AC-9, безопасность
прода). Когда freeze реально выставлен, строка `repo_freeze` существует и блокирует в самом SQL —
fail-open в claim касается лишь тотального сбоя запроса (транзиент), что приемлемо.
---
## Точки врезки (для разработчика)
| Файл | Изменение |
|------|-----------|
| `src/serial_gate.py` | **новый** leaf-модуль (D8) |
| `src/db.py` | миграция `repo_freeze` (idempotent); `serial_gate` фрагмент в `claim_next_job` (D1); read-only helper'ы выборки активной задачи/freeze |
| `src/config.py` | `serial_gate_enabled` / `serial_gate_repos` / `serial_gate_freeze_enabled` (D7) |
| `src/webhooks/plane.py` | `start_pipeline`: для применимого репо **не** звать `_create_gitea_branch`/`_create_initial_docs`; оставить task-row + enqueue analyst (D1) |
| `src/agents/launcher.py` | `_spawn` для `agent=='analyst'` применимого репо: материализовать ветку+docs (relocated `_create_gitea_branch`+`_create_initial_docs`) перед `ensure_worktree` (D1) |
| `src/stage_engine.py` | `run_post_deploy_monitor` DEGRADED-ветка: `serial_gate.set_repo_freeze(...)` + алерт (D3) |
| `src/main.py` | `GET /queue` блок `serial_gate` (D9); `POST /serial-gate/unfreeze` (D4) |
| `src/notifications.py` | Telegram-карточка `⏳ ждёт завершения <wi>` (по образцу task_deps), best-effort |
---
## Последствия
### Плюсы
- AC-6 закрыт **структурно** (ветка не существует до открытия gate) — не «лечение следствия».
- AC-2/AC-3 «бесплатны»: ожидание = `queued` analyst-job без ветки в restart-safe `jobs`-очереди;
открытие gate = обычный claim. In-memory состояния нет (NFR-3).
- Переиспользует проверенные паттерны (claim-gate ORCH-026, leaf never-raise, `/queue`-снимок).
- `STAGE_TRANSITIONS`/`QG_CHECKS`/`check_*`/merge-gate/merge-verify/image-freshness/post-deploy/
deploy-хук/`max_concurrency` — без изменений (NFR-5/AC-11).
- Cross-repo параллелизм сохранён (FR-3/AC-4); enduro при выключенном флаге не затронут (NFR-4).
### Минусы / ограничения
- Срез ветки и `_create_initial_docs` мигрируют из async-`start_pipeline` в sync-путь launcher —
developer обязан обернуть Gitea-API вызовы для sync-контекста (httpx sync / `asyncio.run`); риск
R-4 (см. `10-tech-risks.md`).
- Между `start_pipeline` и claim analyst-job у задачи нет материализованной ветки — потребители,
ожидающие ветку до запуска analyst, должны быть проверены (R-5).
- Blocked-задача держит пакет (D6) — осознанный размен Этапа 1; требует операторского внимания.
- Freeze снимается только вручную — «вечный freeze» при невнимании оператора (R-3, mitigation —
наблюдаемость + алерт).
### Откат
Полный откат — `serial_gate_enabled=False` (claim/старт 1:1 как сейчас) и/или
`serial_gate_freeze_enabled=False`. Таблица `repo_freeze` инертна при выключенных флагах.
---
## Альтернативы (отклонены)
- **Гейт в `start_pipeline` + re-trigger при `done`** — больше состояния/путей, выше риск зависания (D1).
- **Freeze как колонка `tasks`** — неверная семантика (freeze per-repo, задача уже `done`) (D2).
- **Self-hosting-only область** (как ORCH-35/43/58) — лишает enduro анти-stale-base (D5).
- **Снятие freeze Plane-жестом** — перегрузка статусов, анти-паттерн ORCH-059 (D4).
- **Отдельная таблица очереди ожидания** — избыточно, `jobs`(queued)+gate достаточно (ТЗ §5).
## Связи
- Переиспользует: ORCH-1 (очередь), ORCH-026 (claim-gate, auto_rebase/merge-lease), ORCH-021
(post-deploy monitor — источник DEGRADED), ORCH-071/073 (merge-verify ⇒ `done` ⇔ SHA-в-main).
- Сквозной ADR: `docs/architecture/adr/adr-0017-serial-gate.md`.
- Не пересекается с merge-очередью/pre-merge rebase/фазами A/B/C — **вне скопа** Этапа 1.

View File

@@ -0,0 +1,73 @@
# 08 — Требования к схеме БД: ORCH-088 (Serial gate, freeze-хранилище)
Work Item: **ORCH-088** · Repo: **orchestrator** · Стадия: architecture
Связь: ADR `06-adr/ADR-001-serial-gate.md` (D2/D3/D4), ТЗ `02-trz.md` §5.
> Общая прод-БД (self-hosting обслуживает enduro-trails из того же инстанса). Все миграции —
> **только аддитивные и идемпотентные** (`CREATE TABLE IF NOT EXISTS` / `_ensure_column`). Изменение
> существующих таблиц-контрактов (`tasks`, `jobs`, `job_deps`, `agent_runs`) запрещено.
---
## 1. Новая таблица `repo_freeze` (FR-5)
Durable per-repo признак заморозки пакета после post-deploy `DEGRADED`/rollback. Append-only журнал:
активная заморозка ⇔ существует строка репо с `cleared_at IS NULL`.
```sql
CREATE TABLE IF NOT EXISTS repo_freeze (
id INTEGER PRIMARY KEY AUTOINCREMENT,
repo TEXT NOT NULL, -- ключ области (per-repo)
frozen_at TEXT NOT NULL DEFAULT (datetime('now')),
reason TEXT, -- напр. "post-deploy DEGRADED 3/5"
work_item_id TEXT, -- задача-источник деградации (уже stage='done')
cleared_at TEXT -- NULL = freeze активен; снят оператором → datetime
);
CREATE INDEX IF NOT EXISTS idx_repo_freeze_active ON repo_freeze (repo, cleared_at);
```
### Семантика
- **Активный freeze репо `R`:** `EXISTS (SELECT 1 FROM repo_freeze WHERE repo=R AND cleared_at IS NULL)`.
- **Выставление** (`set_repo_freeze`): INSERT новой строки (`cleared_at=NULL`). Повторный DEGRADED при
уже активном freeze — допускается доп. строка (журнал) либо no-op при существующей активной (выбор
разработчика; на gate не влияет — `EXISTS` идемпотентен).
- **Снятие** (`clear_repo_freeze`): `UPDATE repo_freeze SET cleared_at=datetime('now')
WHERE repo=? AND cleared_at IS NULL` (закрывает все активные строки репо). Идемпотентно (повтор → 0 rows).
- **Read (gate/snapshot):** только `cleared_at IS NULL`-строки; `is_repo_frozen` — **fail-closed**
(ошибка чтения → `True`, AC-9).
### Использование в горячем claim
`db.claim_next_job` читает `repo_freeze` инлайн внутри `serial_gate`-фрагмента (только локальная БД,
offline — NFR-2):
```
OR EXISTS (SELECT 1 FROM repo_freeze f WHERE f.repo = jobs.repo AND f.cleared_at IS NULL)
```
(внутри `AND NOT ( jobs.agent='analyst' AND … )` — см. ADR D1). Тотальный сбой построения фрагмента →
fail-open для claim (AC-8); реально выставленная строка блокирует через сам SQL.
---
## 2. Активная задача репо — без новых колонок
«Репо занят» вычисляется из существующих столбцов `tasks(repo, stage)`:
```sql
EXISTS (SELECT 1 FROM tasks WHERE repo=? AND id != ? AND stage != 'done')
```
Новых колонок/таблиц для «активной задачи» и «очереди ожидания» **не вводится**: ожидание = существующий
`jobs.status='queued'` analyst-job + gate в claim (ТЗ §5).
---
## 3. Идемпотентность и restart-safety
- Миграция `repo_freeze` выполняется в общем init-пути схемы (`db.init_db`/`_ensure_*`), безопасна к
повторному запуску (`IF NOT EXISTS`).
- Всё состояние gate/freeze — в БД (нет in-memory) ⇒ после рестарта поведение идентично (NFR-3/AC-3):
активная задача определяется из `tasks`, freeze — из `repo_freeze`, ожидающая задача — `queued` job.
- При выключенных флагах (`serial_gate_enabled=False` / `serial_gate_freeze_enabled=False`) таблица
инертна; enduro и существующие контракты не затрагиваются (NFR-4/AC-11).
---
## 4. Неизменяемые контракты
`tasks`, `jobs`, `job_deps`, `agent_runs`, `tracker_messages` — схема **без изменений**.
`STAGE_TRANSITIONS` / `QG_CHECKS` — не БД, но также не меняются (NFR-5).

View File

@@ -0,0 +1,29 @@
# 10 — Технические риски: ORCH-088 (Serial gate)
Work Item: **ORCH-088** · Repo: **orchestrator** · Стадия: architecture
Связь: ADR `06-adr/ADR-001-serial-gate.md`, ТЗ `02-trz.md` §11-12, BRD §8.
Оценка: **Вероятность** (Н/С/В) × **Влияние** (Н/С/В). Self-hosting: «Влияние В» = риск для конвейера
ВСЕХ проектов (общий прод/БД/очередь).
| ID | Риск | Вер. | Влия. | Митигейшн |
|----|------|------|-------|-----------|
| **R-1** | **Stale-base сохраняется**, если ветка режется на входе (`_create_gitea_branch` в `start_pipeline`) до завершения предшественника — гейт только claim не лечит (BRD R-1, AC-6 FAIL). | С | В | Relocation среза ветки на claim analyst-job (ADR D1): `start_pipeline` не создаёт ветку для применимого репо; `ensure_worktree` режет от свежего `origin/main` уже после открытия gate. Тест AC-6: `git merge-base --is-ancestor <validated_sha A> <base B>`. |
| **R-2** | Gate, ошибочно **fail-closed на транзиентной ошибке БД** в hot-claim, заклинивает очередь ВСЕХ проектов (enduro встаёт). | С | В | `build_claim_clause` обёрнут в try/except → ошибка построения = пустой фрагмент = claim без gate (**fail-open**, ADR D10/AC-8). Freeze fail-closed применяется только в Python-слое, не в тотальном сбое hot-claim. Unit-тест: исключение в построении clause → claim не падает, выбирает job. |
| **R-3** | **«Вечный freeze» / залипшая Blocked-задача** останавливает пакет незаметно (D6 — Blocked держит gate). | С | С | Наблюдаемость `GET /queue` блок `serial_gate` (`active_task`, `waiting`, `frozen`+reason); Telegram-алерт при выставлении freeze и карточка «⏳ ждёт …»; ручное снятие — простой эндпоинт `POST /serial-gate/unfreeze` (D4). Оператор видит причину застоя. |
| **R-4** | **Async→sync релокация** `_create_gitea_branch`/`_create_initial_docs`: эти вызовы async (httpx) в `start_pipeline`, а launcher `_spawn` — sync. Неверная обёртка → исключение/блок event-loop. | С | С | Developer оборачивает Gitea-API для sync-контекста (httpx sync client / `asyncio.run` в отдельном пути). Контракт launcher never-raise: сбой материализации ветки → лог + job в retry, прод не трогается. Тест: claim analyst-job создаёт ветку и worktree без падения. |
| **R-5** | **Потребитель ожидает материализованную ветку до запуска analyst** (между `start_pipeline` и claim ветки нет): Telegram-карточка / Plane-sync / reconciler могут предполагать существование ветки. | Н | С | Проверено: трекер/Plane-sync используют branch как строку имени, не git-ref. Перед разработкой — аудит читателей `tasks.branch`/Gitea-ветки на стадии до analyst. `start_pipeline` по-прежнему пишет `branch` в task-row (имя), не материализуя ref. |
| **R-6** | **SQL-инъекция / поломка clause** через `serial_gate_repos` CSV при встраивании в `IN (...)`. | Н | С | Санитизация repo-токенов `^[A-Za-z0-9._-]+$` в `build_claim_clause` (ADR D8); невалидный токен дропается. CSV — операторский конфиг (не пользовательский ввод), риск низкий, но гард обязателен. Unit-тест на мусорный CSV. |
| **R-7** | **Rework-analyst блокирует сам себя**: rejection-path `start_pipeline` re-enqueue analyst активной задачи; наивный gate «есть незавершённая задача репо» удержал бы её навсегда. | С | В | Условие `t2.id != jobs.task_id` (ADR D1) — учитываются только **другие** задачи. Unit-тест: rework-analyst задачи A при единственной незавершённой A — claim проходит. |
| **R-8** | **Freeze не учитывает уже-`done` задачу**: деградировавшая задача к моменту DEGRADED уже `stage='done'` (BR-7) ⇒ обычный gate её не удержит, следующая стартует до выставления freeze (гонка). | Н | С | Freeze — **отдельный durable сигнал** (`repo_freeze`), не зависит от `stage` (ADR D2/D3). `set_repo_freeze` вызывается в DEGRADED-ветке монитора; до снятия gate закрыт безусловно. Возможная узкая гонка «`done`→claim next до записи freeze» приемлема Этапом 1 (следующий тик уже видит freeze); при необходимости — выставлять предупредительный freeze в начале окна мониторинга (вне скопа). |
| **R-9** | **Default-all область** неожиданно сериализует enduro (меняет поведение при включении флага). | С | Н | Осознанное решение (ADR D5, ТЗ §8): enduro выигрывает от serial e2e; `max_concurrency=1` и так ограничивает параллелизм. Оператор может сузить `ORCH_SERIAL_GATE_REPOS=orchestrator`. «Нулевая регрессия» гарантирована при **выключенном** kill-switch (NFR-4). |
| **R-10** | **Миграция на общей прод-БД** (`repo_freeze`) роняет init при неудачном порядке/блокировке. | Н | В | `CREATE TABLE IF NOT EXISTS` + idempotent index; выполняется в существующем init-пути схемы; аддитивно, не трогает enduro-строки. Прод-контейнер не рестартится механизмом gate (NFR-6). |
---
## Сводный вывод
Архитектурно безопасных блокеров нет. Критические векторы — **R-1** (закрыт relocation среза ветки),
**R-2/R-7** (закрыты fail-open hot-claim и `t2.id != jobs.task_id`). Все механизмы аддитивны, под
kill-switch, never-raise, не рестартят прод. Главный операционный риск — **R-3** (ручной freeze),
смягчён наблюдаемостью и алертами. Реализация — стандартный путь стадии development без эскалации
`arch:major-change` (нет новой стадии/QG/смены БД-контракта; новая таблица аддитивна).

View File

@@ -0,0 +1,85 @@
---
type: review
work_item_id: ORCH-088
verdict: APPROVED
version: 1
---
# Review ORCH-088 — Per-repo serial gate (Этап 1, serial e2e)
## Summary
PR реализует per-repo serial gate (FR-1…FR-5) тремя согласованными механизмами в полном
соответствии с ТЗ и ADR-001: gate-в-claim (`db.claim_next_job`), отложенный срез ветки
(`start_pipeline``launcher._materialize_deferred_branch`) и durable rollback-freeze
(`repo_freeze` + `POST /serial-gate/unfreeze`). Чистая логика вынесена в leaf-модуль
`src/serial_gate.py` (never-raise). Полный прогон `pytest tests/ -q`**1114 passed**;
профильные сюиты (`test_serial_gate*`, `test_queue_endpoint`, `test_plane_webhook`,
`test_status_trigger`) — 33 passed. Документация обновлена в том же PR. Блокеров нет.
## Оси проверки
### 1. Соответствие ТЗ / AC
- FR-1 (gate на входе в анализ) — gate-фрагмент в `claim_next_job`, только `jobs.agent='analyst'`,
только локальная БД (NFR-2). AC-1 ✓
- FR-2 (очередь e2e, FIFO) — реализация уточняет псевдо-SQL ADR `t2.id != jobs.task_id` на
`t2.id < jobs.task_id`. Уточнение **корректно и обосновано** (при `!=` пакет одновременно
созданных задач взаимно блокируется → дедлок); задокументировано в коде, CHANGELOG и README.
AC-2 ✓
- FR-3 (per-repo) — все выборки фильтруются `t2.repo = jobs.repo`; cross-repo параллелизм
сохранён. AC-4 ✓
- FR-4 (restart-safe) — активная задача из `tasks`, freeze в `repo_freeze`; in-memory состояния
нет. AC-3 ✓
- FR-5 (rollback-freeze) — `set_repo_freeze` в DEGRADED-ветке `run_post_deploy_monitor` +
Telegram-алерт; ручное снятие `POST /serial-gate/unfreeze`. AC-5 ✓
- AC-6 (анти-stale-base) — закрыт **структурно**: ветка не создаётся до открытия gate
(deferred cut в `_materialize_deferred_branch` от свежего `origin/main`). ✓
- AC-7 (kill-switch/нулевая регрессия), AC-8 (fail-OPEN claim), AC-9 (fail-CLOSED freeze),
AC-10 (`/queue` блок), AC-11 (инварианты) — все подтверждены кодом и тестами.
### 2. Соответствие ADR
- D1D10 реализованы как описано. Единственное отклонение — FIFO-условие `<` вместо `!=`
(D1) — улучшает ADR, устраняет дедлок, явно задокументировано. Глобальный ADR
`adr-0017-serial-gate.md` заведён и зарегистрирован.
- `STAGE_TRANSITIONS` / `QG_CHECKS` / `check_*` / merge-gate / merge-verify / image-freshness /
post-deploy / exit-коды хука — без изменений (AC-11). ✓
### 3. Качество кода
- Leaf-модуль `src/serial_gate.py` — строгий never-raise; корректно разнесены направления
отказа: claim — fail-OPEN (`build_claim_clause``""`), freeze — fail-CLOSED
(`is_repo_frozen``True`). Санитизация repo-токенов `^[A-Za-z0-9._-]+$` перед встраиванием
в SQL `IN (...)`.
- Миграция `repo_freeze` аддитивна и идемпотентна (`CREATE TABLE/INDEX IF NOT EXISTS`).
- `_materialize_deferred_branch` исполняется в worker-потоке (нет running loop) → `asyncio.run`
безопасен; Gitea-вызовы идемпотентны (409/422 → no-op) → реклейм/рестарт безопасны; transient
Gitea-ошибка пробрасывается → job переочередь (нет half-cut состояния).
- Docstrings содержательны на всех публичных функциях.
### 4. Качество тестов
Содержательные сюиты покрывают gate (claim), deferred branch, e2e, freeze, `/queue`-snapshot,
webhook и status-trigger. Тесты не тривиальны (проверяют поведение, а не факт вызова).
## Findings
### P0 — Blocker
- (нет)
### P1 — Must fix
- (нет)
### P2 — Should fix
- (нет — отмечено лишь как наблюдение) `_materialize_deferred_branch` делает два отдельных
`asyncio.run` подряд; функционально корректно, можно объединить в один loop при будущем
рефакторинге. Не блокирует.
## Документация
Обновлена в том же PR — правило golden-source (CLAUDE.md §2) выполнено:
- `docs/architecture/README.md` — новый раздел «Per-repo serial gate (ORCH-088)», обновлены
таблица API (`GET /queue` + новый `POST /serial-gate/unfreeze`), раздел БД (`repo_freeze`),
строка статуса доработок.
- `CLAUDE.md` — абзац о serial-режиме в разделе «Очередь задач».
- `CHANGELOG.md` — запись `feat:` (ORCH-088).
- `.env.example` — три новых флага с описанием.
- `docs/work-items/ORCH-088/06-adr/ADR-001-serial-gate.md` + сквозной
`docs/architecture/adr/adr-0017-serial-gate.md` + `08-data-requirements.md`.
Изменения `src/` полностью отражены в документации → требование Reviewer §4 удовлетворено.

View File

@@ -0,0 +1,94 @@
---
type: test-report
work_item_id: ORCH-088
result: PASS
---
# Test Report — ORCH-088 (Per-repo serial gate, Этап 1: serial e2e)
## Окружение
- Python: 3.12.13
- pytest: 8.3.3 (plugins: anyio-4.13.0, asyncio-0.23.8; mode=AUTO)
- Repo / ветка: `orchestrator` / `feature/ORCH-088-orch-88-10-20`
- Дата: 2026-06-09T08:19Z
## Результаты
### Полный регресс
`python -m pytest tests/ -v --tb=short`**1114 passed, 1 warning, 31.52s**.
Единственное предупреждение — известный `PydanticDeprecatedSince20` в `src/config.py:5`
(не относится к ORCH-088).
### Профильные сюиты ORCH-088 (24 теста, 0 fail)
`test_serial_gate*`, `test_queue_endpoint`**24 passed, 1.39s**.
### Сопоставление с тест-планом `04-test-plan.yaml`
| TC ID | Описание | Тест | Результат |
|-------|----------|------|-----------|
| TC-01 | gate закрыт при активной задаче (claim не берёт analyst B) | `test_serial_gate::test_gate_closed_when_repo_has_active_task` | PASS |
| TC-02 | `serial_gate_applies`: enabled+пустой CSV/членство/вне CSV | `test_serial_gate::test_serial_gate_applies_scopes` | PASS |
| TC-03 | job'ы уже активной задачи gate'ом не блокируются | `test_serial_gate::test_non_analyst_job_of_active_task_passes` | PASS |
| TC-04 | автостарт B после A.stage='done' | `test_serial_gate_e2e::test_next_starts_automatically_when_predecessor_done` | PASS |
| TC-05 | очередь из 3 задач — строго по одной, FIFO по jobs.id | `test_serial_gate_e2e::test_three_tasks_processed_one_at_a_time_fifo` | PASS |
| TC-06 | restart-safe: активная задача из БД | `test_serial_gate_e2e::test_restart_safe_active_task_from_db` | PASS |
| TC-07 | freeze переживает рестарт | `test_serial_gate_freeze::test_freeze_survives_restart` | PASS |
| TC-08 | per-repo: orchestrator не блокирует enduro-trails | `test_serial_gate::test_per_repo_isolation` | PASS |
| TC-09 | freeze orchestrator не влияет на enduro-trails | `test_serial_gate_freeze::test_freeze_is_per_repo` | PASS |
| TC-10 | post-deploy DEGRADED → durable freeze + Telegram-алерт | `test_serial_gate_freeze::test_post_deploy_degraded_sets_freeze_and_alerts` | PASS |
| TC-11 | freeze гейтит даже без задач stage<done (BR-7) | `test_serial_gate_freeze::test_freeze_gates_even_without_unfinished_task` | PASS |
| TC-12 | ручное снятие freeze → следующая стартует | `test_serial_gate_freeze::test_manual_unfreeze_lets_next_start` | PASS |
| TC-13 | ветка B не создаётся пока gate закрыт (отсрочка среза) | `test_serial_gate_branch::test_branch_cut_deferred_when_gate_applies` | PASS |
| TC-14 | база B = origin/main с кодом A (merge-base ancestor) | `test_serial_gate_branch::test_deferred_branch_base_contains_predecessor` | PASS |
| TC-15 | kill-switch off → claim инертен, нулевая регрессия | `test_serial_gate::test_kill_switch_off_is_inert` | PASS |
| TC-16 | репо вне CSV → gate не применяется | `test_serial_gate::test_repo_outside_csv_not_gated` | PASS |
| TC-17 | ошибка БД в claim → fail-OPEN, не падает | `test_serial_gate::test_build_clause_error_fails_open` | PASS |
| TC-18 | ошибка freeze → fail-CLOSED | `test_serial_gate_freeze::test_is_repo_frozen_fails_closed` | PASS |
| TC-19 | snapshot() shape + never-raise | `test_serial_gate::test_snapshot_shape_and_never_raises` | PASS |
| TC-20 | GET /queue: блок serial_gate, существующие ключи не тронуты | `test_queue_endpoint::test_queue_has_serial_gate_block_and_keeps_existing_keys` + `::test_queue_serial_gate_reflects_freeze` | PASS |
| TC-21 | STAGE_TRANSITIONS / QG_CHECKS не изменены | `test_serial_gate::test_registries_unchanged` | PASS |
| TC-22 | миграция repo_freeze идемпотентна | `test_serial_gate_freeze::test_repo_freeze_migration_idempotent` | PASS |
Дополнительно покрыт kill-switch-путь среза ветки:
`test_serial_gate_branch::test_branch_cut_immediate_when_kill_switch_off` — PASS.
**Покрытие тест-плана: 22/22 TC выполнены, все PASS.**
### Сопоставление с критериями приёмки `03-acceptance-criteria.md`
| AC | Покрывающие TC | Результат |
|----|----------------|-----------|
| AC-1 (gate закрыт при активной) | TC-01 | PASS |
| AC-2 (автостарт по done) | TC-04, TC-05 | PASS |
| AC-3 (restart-safe) | TC-06, TC-07 | PASS |
| AC-4 (per-repo) | TC-08, TC-09 | PASS |
| AC-5 (rollback-freeze + алерт) | TC-10, TC-11, TC-12 | PASS |
| AC-6 (нет stale-base) | TC-13, TC-14 | PASS |
| AC-7 (kill-switch / нулевая регрессия) | TC-15, TC-16 | PASS |
| AC-8 (fail-open claim) | TC-17 | PASS |
| AC-9 (fail-closed freeze) | TC-18 | PASS |
| AC-10 (наблюдаемость /queue) | TC-19, TC-20 | PASS |
| AC-11 (инварианты неизменны) | TC-21, TC-22 | PASS |
## Smoke test API (prod 8500, read-only)
- `GET /health``{"status":"ok","service":"orchestrator"}`
- `GET /status` → 200, отдаёт активные задачи (валидный JSON)
- `GET /queue` → 200, валидный JSON; присутствуют блоки `reconcile`/`reaper`/
`post_deploy`/`merge_verify`/`task_deps`/`recent`.
Примечание: блок `serial_gate` в ответе прод-`/queue` (8500) **отсутствует**, т.к. на
проде сейчас работает код до ORCH-088 (фича ещё не задеплоена — это и есть тестируемая
задача). Наличие и форма нового блока подтверждены интеграционным тестом TC-20 через
TestClient на коде ветки. Деструктивных операций на прод-контейнере не выполнялось.
## Вывод pytest (хвост)
```
======================= 1114 passed, 1 warning in 31.52s =======================
```
Профильные сюиты:
```
======================== 24 passed, 1 warning in 1.39s =========================
```
## Итог
**PASS** — полный регресс зелёный (1114 passed), все 22 TC тест-плана выполнены и PASS,
все 11 AC покрыты, smoke API OK. Задача готова к переходу на стадию `deploy-staging`.

View File

@@ -0,0 +1,12 @@
---
deploy_status: SUCCESS
work_item: ORCH-088
hook_exit_code: 0
deployed_by: deploy-finalizer
---
# Deploy log — ORCH-036 executable self-deploy
Прод-деплой завершён хост-хуком с exit-code `0` -> `deploy_status: SUCCESS`.
Вердикт зафиксирован детерминированным finalizer'ом (Фаза C), не LLM.

View File

@@ -418,6 +418,32 @@ class AgentLauncher:
pass
return None
def _materialize_deferred_branch(
self, repo: str, branch: str, work_item_id: str | None, title: str | None
) -> None:
"""ORCH-088 (ADR-001 D1): create the deferred Gitea branch + initial docs.
Relocated from ``webhooks.plane.start_pipeline``: the two coroutines are run
SYNCHRONOUSLY here (this method executes in the worker THREAD — no running
event loop — so ``asyncio.run`` is safe, R-4). Sequence mirrors the original
start_pipeline order so the downstream worktree/PR flow is identical:
``_create_gitea_branch`` (from a fresh ``main``) -> ``_create_initial_docs``.
Both are idempotent (409/422 -> no-op) so a re-claim after a restart is safe.
A transient Gitea error PROPAGATES so the caller (_spawn) fails the launch and
the queue worker requeues the job for a later tick (never a half-cut state).
"""
import asyncio
from ..webhooks.plane import _create_gitea_branch, _create_initial_docs
name = title or work_item_id or branch
logger.info(
f"ORCH-088: materialising deferred branch '{branch}' for {repo} "
f"({work_item_id}) at analyst-job claim"
)
asyncio.run(_create_gitea_branch(repo, branch))
if work_item_id:
asyncio.run(_create_initial_docs(repo, branch, work_item_id, name))
def _spawn(self, agent: str, repo: str, task_content: str = None,
task_id: int = None, job_id: int = None) -> int:
"""Shared spawn implementation for launch() and launch_job().
@@ -437,9 +463,33 @@ class AgentLauncher:
raise FileNotFoundError(f"Repo not found: {local_repo_path}")
# Determine branch (needed before we touch the worktree / task file).
_br_row = get_db().execute("SELECT branch FROM tasks WHERE id=?", (task_id,)).fetchone() if task_id else None
_br_row = (
get_db().execute(
"SELECT branch, work_item_id, title FROM tasks WHERE id=?", (task_id,)
).fetchone()
if task_id else None
)
agent_branch = _br_row[0] if _br_row else "main"
# ORCH-088 (FR-1/AC-6, ADR-001 D1): materialise a DEFERRED branch cut. When
# the serial gate applies, start_pipeline did NOT create the Gitea branch /
# initial docs — they were deferred to this claim so the cut happens from a
# fresh origin/main that already contains the predecessor. We only reach this
# claim because the gate is OPEN (predecessor done), so it is now safe. This
# runs ONLY for the analyst-job (pipeline entry); every later stage reuses the
# existing branch. Idempotent (409/422 -> no-op) so a re-claim is safe. On a
# transient Gitea error this raises -> _drain_once requeues the job (R-4).
if agent == "analyst" and _br_row is not None:
try:
from .. import serial_gate
_applies = serial_gate.serial_gate_applies(repo)
except Exception: # noqa: BLE001 - never let the gate check block a launch
_applies = False
if _applies:
self._materialize_deferred_branch(
repo, agent_branch, _br_row[1], _br_row[2]
)
# ORCH-41: resolve the Plane project uuid for this repo so per-project
# model/effort overrides apply. Unknown repo -> None (env/default only).
from ..projects import get_project_by_repo

View File

@@ -433,6 +433,31 @@ class Settings(BaseSettings):
task_deps_enabled: bool = True
task_deps_source: str = "db"
# ORCH-088 (Этап 1, serial e2e): per-repo serial gate. A new task's analyst-job
# does NOT enter analysis (no branch cut, no analyst agent) while the same repo
# has another unfinished task (tasks.stage != 'done') OR the repo is frozen
# (repo_freeze). The gate lives in claim_next_job (offline-safe hot path, like
# the ORCH-026 dep-gate) + the branch cut is deferred from start_pipeline to the
# analyst-job claim (launcher) so the branch base is always a fresh origin/main
# that already contains the predecessor (anti-stale-base, AC-6). All additive,
# never-raise, restart-safe; STAGE_TRANSITIONS / QG_CHECKS unchanged. See
# docs/work-items/ORCH-088/06-adr/ADR-001-serial-gate.md.
# serial_gate_enabled -> kill-switch (env ORCH_SERIAL_GATE_ENABLED).
# False -> claim_next_job AND start_pipeline are 1:1
# as before ORCH-088 (clause omitted, branch cut in
# start_pipeline) — zero regression (AC-7).
# serial_gate_repos -> CSV scope (env ORCH_SERIAL_GATE_REPOS). Empty ->
# applies to ALL registered repos (D5); non-empty ->
# only the listed repos. Repo tokens are sanitised
# (^[A-Za-z0-9._-]+$) before being embedded in SQL.
# serial_gate_freeze_enabled-> independent tumbler for the FR-5 rollback-freeze
# layer (env ORCH_SERIAL_GATE_FREEZE_ENABLED). False
# -> freeze is neither set (post-deploy DEGRADED) nor
# consulted in the claim gate.
serial_gate_enabled: bool = True
serial_gate_repos: str = ""
serial_gate_freeze_enabled: bool = True
# ORCH-073 (ADR-001 Р-4): main-integrity regression guard. After the merge-verify
# under-gate confirms the deployed SHA is an ancestor of origin/main (FR-1), a
# secondary deterministic (no-LLM) guard checks that a declarative set of markers

View File

@@ -168,6 +168,26 @@ def init_db():
CREATE INDEX IF NOT EXISTS idx_tracker_messages_open
ON tracker_messages(task_id) WHERE deleted_at IS NULL;
""")
# ORCH-088 (FR-5, ADR-001 D2): durable per-repo rollback-freeze. After a
# post-deploy DEGRADED verdict the repo is frozen so the serial gate stays
# CLOSED unconditionally (the degraded task is already stage='done' — BR-7 — so
# the ordinary active-task gate would not hold it) until an operator clears it
# via POST /serial-gate/unfreeze. Append-only journal: an ACTIVE freeze for repo
# R ⇔ a row with repo=R AND cleared_at IS NULL. Purely ADDITIVE (CREATE
# TABLE/INDEX IF NOT EXISTS) -> idempotent, restart-safe on the live shared prod
# DB (enduro-trails data untouched). See 08-data-requirements.md.
conn.executescript("""
CREATE TABLE IF NOT EXISTS repo_freeze (
id INTEGER PRIMARY KEY AUTOINCREMENT,
repo TEXT NOT NULL,
frozen_at TEXT NOT NULL DEFAULT (datetime('now')),
reason TEXT,
work_item_id TEXT,
cleared_at TEXT
);
CREATE INDEX IF NOT EXISTS idx_repo_freeze_active
ON repo_freeze (repo, cleared_at);
""")
conn.commit()
conn.close()
@@ -588,6 +608,19 @@ def claim_next_job() -> dict | None:
" WHERE d.task_id = jobs.task_id AND t.stage != 'done'"
") "
)
# ORCH-088 (FR-1, ADR-001 D1): per-repo serial gate. An analyst-job of a NEW
# task is NOT claimable while the same repo has another unfinished task OR is
# frozen. The fragment is built in the serial_gate leaf (sanitised repo scope,
# fail-OPEN on any build error so a transient fault never wedges the queue of
# ALL projects — AC-8). Jobs of an already-active task (architect/.../deployer)
# are unaffected — the gate keys on jobs.agent='analyst' only. Reads only the
# local DB (offline-safe hot path, NFR-2).
serial_gate = ""
try:
from . import serial_gate as _serial_gate
serial_gate = _serial_gate.build_claim_clause()
except Exception: # noqa: BLE001 - fail-OPEN: never wedge the claim
serial_gate = ""
conn = get_db()
try:
while True:
@@ -595,6 +628,7 @@ def claim_next_job() -> dict | None:
"SELECT id FROM jobs WHERE status='queued' "
"AND (available_at IS NULL OR available_at <= datetime('now')) "
f"{dep_gate}"
f"{serial_gate}"
"ORDER BY id LIMIT 1"
).fetchone()
if not row:

View File

@@ -149,6 +149,7 @@ async def queue():
from . import post_deploy
from . import merge_gate
from . import task_deps
from . import serial_gate
return {
"counts": job_status_counts(),
"max_concurrency": worker.max_concurrency,
@@ -161,5 +162,37 @@ async def queue():
# ORCH-026 (G-2): declarative task-dependency observability (read-only,
# NOT a source of truth) — declared edges, blocked tasks, detected cycle.
"task_deps": task_deps.snapshot(),
# ORCH-088 (D9 / AC-10): per-repo serial-gate observability (read-only) —
# active task, queued/waiting analyst-jobs, freeze state. Additive block.
"serial_gate": serial_gate.snapshot(),
"recent": recent_jobs(10),
}
@app.post("/serial-gate/unfreeze")
async def serial_gate_unfreeze(repo: str = ""):
"""ORCH-088 (FR-5, ADR-001 D4): manually clear a per-repo rollback-freeze.
A freeze set by the post-deploy monitor (DEGRADED) keeps the serial gate CLOSED
for the repo until an operator explicitly clears it here. Idempotent: clearing
an already-clear repo reports ``cleared: 0``. The next queued analyst-job is then
claimable on the next scheduler tick (no restart needed). Alternative manual path
(documented in README): ``UPDATE repo_freeze SET cleared_at=datetime('now')
WHERE repo=? AND cleared_at IS NULL``.
"""
from . import serial_gate
if not repo or not repo.strip():
return {"ok": False, "error": "missing 'repo'", "repo": repo, "cleared": 0}
repo = repo.strip()
cleared = serial_gate.clear_repo_freeze(repo)
frozen = serial_gate.is_repo_frozen(repo)
if cleared:
try:
from .notifications import send_telegram
send_telegram(
f"🔥 {repo}: пакет РАЗМОРОЖЕН вручную ({cleared} запис(ь/и) снято). "
f"Следующая задача репо стартует на ближайшем цикле."
)
except Exception:
pass
return {"ok": True, "repo": repo, "cleared": cleared, "frozen": frozen}

404
src/serial_gate.py Normal file
View File

@@ -0,0 +1,404 @@
"""ORCH-088 (Этап 1, serial e2e): per-repo serial gate + durable rollback-freeze.
Leaf module — pure, unit-testable logic over the existing ``tasks`` / ``jobs``
tables and the additive ``repo_freeze`` table (see src/db.py /
08-data-requirements.md). Mirrors the leaf pattern of ``src/task_deps.py`` /
``src/post_deploy.py``: imports only ``db`` + ``config`` (and lazily
``projects`` for the snapshot), never ``stage_engine`` / ``launcher``.
What it enforces (ADR-001):
* A NEW task's analyst-job does NOT enter analysis (no branch cut, no analyst
agent) while the same repo has ANOTHER unfinished task (``tasks.stage !=
'done'``) OR the repo is frozen. The gate is a SQL fragment spliced into
``db.claim_next_job`` (offline hot path) — ``build_claim_clause``.
* After a post-deploy ``DEGRADED`` verdict the repo is frozen
(``set_repo_freeze``); the gate stays CLOSED until an operator clears it
(``clear_repo_freeze``). The degraded task is already ``stage='done'`` (BR-7)
so freeze is a SEPARATE durable signal, not derived from a stage.
never-raise contract (self-hosting safety): every public function degrades
conservatively and NEVER propagates into the worker / webhook / stage engine.
Two deliberately different failure directions (ADR-001 D10, NFR-1):
* hot-claim clause build -> fail-OPEN ("" fragment): a transient DB/build error
must not wedge the queue of ALL projects (AC-8).
* freeze decision (``is_repo_frozen``) -> fail-CLOSED (``True``): when we cannot
confirm the ABSENCE of a freeze we keep the gate closed for prod safety (AC-9).
"""
from __future__ import annotations
import logging
import re
from . import db
from .config import settings
logger = logging.getLogger("orchestrator.serial_gate")
# Repo tokens embedded into the claim SQL ``IN (...)`` list must match this — a
# guard against a broken/injected ORCH_SERIAL_GATE_REPOS CSV (R-6). The CSV is an
# operator config (not user input), but the guard is mandatory; an invalid token
# is silently dropped.
_REPO_TOKEN = re.compile(r"^[A-Za-z0-9._-]+$")
# ---------------------------------------------------------------------------
# Conditionality (mirrors post_deploy_applies / _merge_gate_applies)
# ---------------------------------------------------------------------------
def _scope_repos() -> set[str]:
"""Sanitised set of in-scope repo tokens from ``serial_gate_repos`` (CSV).
Empty/blank CSV -> empty set, meaning "apply to ALL repos" (D5). Invalid
tokens (regex miss) are dropped. Never raises.
"""
try:
raw = (settings.serial_gate_repos or "").strip()
except Exception: # noqa: BLE001
return set()
if not raw:
return set()
out: set[str] = set()
for tok in raw.split(","):
t = tok.strip()
if t and _REPO_TOKEN.match(t):
out.add(t)
elif t:
logger.warning("serial_gate: dropping invalid repo token %r from CSV", t)
return out
def serial_gate_applies(repo: str) -> bool:
"""Whether the serial gate is REAL for this repo (D5 / AC-7).
* ``serial_gate_enabled=False`` -> always False (kill-switch; claim and
start_pipeline are 1:1 as before ORCH-088).
* ``serial_gate_repos`` (CSV) non-empty -> real only for listed repos.
* empty CSV -> real for ALL repos (serial e2e + anti-stale-base help every
repo, unlike the self-hosting-only ORCH-35/43/58 gates).
Never raises -> False on error (degrade to "gate inert", the safe-for-flow
default that matches the kill-switch off behaviour).
"""
try:
if not getattr(settings, "serial_gate_enabled", False):
return False
scope = _scope_repos()
if scope:
return (repo or "").strip() in scope
return True
except Exception as e: # noqa: BLE001 - never-raise
logger.warning("serial_gate_applies error for %s: %s", repo, e)
return False
def _freeze_layer_enabled() -> bool:
"""Whether the FR-5 freeze layer is active (independent tumbler, D7)."""
try:
return bool(getattr(settings, "serial_gate_freeze_enabled", False))
except Exception: # noqa: BLE001
return False
# ---------------------------------------------------------------------------
# Read helpers (active task + freeze) — only the local DB
# ---------------------------------------------------------------------------
def repo_has_active_task(repo: str, exclude_task_id: int | None = None) -> bool:
"""True iff repo has a task with ``stage != 'done'`` (excluding one task).
``exclude_task_id`` is the task being evaluated (a new/rework task must not
count ITSELF as the active task that blocks it — R-7). Observability/Python
mirror of the SQL gate; never raises -> False on error.
"""
try:
conn = db.get_db()
try:
if exclude_task_id is not None:
row = conn.execute(
"SELECT 1 FROM tasks WHERE repo=? AND id != ? AND stage != 'done' LIMIT 1",
(repo, exclude_task_id),
).fetchone()
else:
row = conn.execute(
"SELECT 1 FROM tasks WHERE repo=? AND stage != 'done' LIMIT 1",
(repo,),
).fetchone()
return row is not None
finally:
conn.close()
except Exception as e: # noqa: BLE001 - never-raise
logger.warning("repo_has_active_task error for %s: %s", repo, e)
return False
def _active_freeze_row(repo: str) -> dict | None:
"""Most-recent active (``cleared_at IS NULL``) freeze row for repo, or None.
Raises on a real DB error (the caller decides fail-open vs fail-closed) — this
private helper does NOT swallow so ``is_repo_frozen`` can fail CLOSED.
"""
conn = db.get_db()
try:
row = conn.execute(
"SELECT repo, frozen_at, reason, work_item_id FROM repo_freeze "
"WHERE repo=? AND cleared_at IS NULL ORDER BY id DESC LIMIT 1",
(repo,),
).fetchone()
return dict(row) if row else None
finally:
conn.close()
def is_repo_frozen(repo: str) -> bool:
"""True iff repo currently has an active freeze (FR-5).
fail-CLOSED (AC-9): when the freeze layer is enabled and we CANNOT confirm the
absence of a freeze (DB error), return True — keep the gate closed for prod
safety. When the freeze layer is disabled the repo is never considered frozen.
"""
if not _freeze_layer_enabled():
return False
try:
return _active_freeze_row(repo) is not None
except Exception as e: # noqa: BLE001 - fail-CLOSED on doubt (AC-9)
logger.warning("is_repo_frozen error for %s -> fail-CLOSED (frozen): %s", repo, e)
return True
# ---------------------------------------------------------------------------
# Freeze mutators (FR-5)
# ---------------------------------------------------------------------------
def set_repo_freeze(repo: str, reason: str = "", work_item_id: str | None = None) -> bool:
"""Insert a durable freeze row for repo (no-op when the freeze layer is off).
Append-only: a repeated DEGRADED while already frozen simply adds another row
(history); ``is_repo_frozen``'s EXISTS is idempotent. Returns True iff a row
was inserted. never-raise -> False on error (a freeze write failure must not
crash the post-deploy monitor tick).
"""
if not _freeze_layer_enabled():
logger.info("set_repo_freeze: freeze layer disabled, skipping for %s", repo)
return False
if not repo:
return False
try:
conn = db.get_db()
try:
conn.execute(
"INSERT INTO repo_freeze (repo, reason, work_item_id) VALUES (?, ?, ?)",
(repo, reason or None, work_item_id),
)
conn.commit()
finally:
conn.close()
logger.warning(
"serial_gate: repo %s FROZEN (reason=%r, work_item=%s) — next task will "
"NOT start until manual unfreeze", repo, reason, work_item_id,
)
return True
except Exception as e: # noqa: BLE001 - never-raise
logger.error("set_repo_freeze error for %s: %s", repo, e)
return False
def clear_repo_freeze(repo: str) -> int:
"""Clear ALL active freeze rows for repo (operator unfreeze, D4).
Sets ``cleared_at=now`` on every row with ``cleared_at IS NULL``. Idempotent
(a repeat clears 0 rows). Returns the number of rows cleared. never-raise -> 0
on error.
"""
if not repo:
return 0
try:
conn = db.get_db()
try:
cur = conn.execute(
"UPDATE repo_freeze SET cleared_at=datetime('now') "
"WHERE repo=? AND cleared_at IS NULL",
(repo,),
)
conn.commit()
n = cur.rowcount or 0
finally:
conn.close()
if n:
logger.warning("serial_gate: repo %s UNFROZEN (%d row(s) cleared)", repo, n)
return n
except Exception as e: # noqa: BLE001 - never-raise
logger.error("clear_repo_freeze error for %s: %s", repo, e)
return 0
# ---------------------------------------------------------------------------
# Hot-claim SQL fragment (fail-OPEN) — ADR-001 D1
# ---------------------------------------------------------------------------
def build_claim_clause() -> str:
"""Build the ``AND NOT (...)`` fragment spliced into ``claim_next_job``.
Blocks an analyst-job whose repo (a) has an EARLIER-queued unfinished task or
(b) is frozen. Only ``jobs.agent='analyst'`` is gated — jobs of an
already-active task pass freely (else the single active task could never
advance).
Ordering term — ``t2.id < jobs.task_id`` (FIFO, ADR-001 D1 / FR-2): a task is
blocked only by EARLIER tasks (lower ``tasks.id``) that are not yet done. This
is the FIFO refinement of the ADR's pseudo-SQL ``t2.id != jobs.task_id``: with
``!=`` a BATCH of fresh tasks all sitting in ``analysis`` would mutually block
(each is "another unfinished task" for the others) -> the whole serial queue
deadlocks, contradicting FR-2 ("строго по одной, FIFO по jobs.id"). ``<`` admits
exactly the oldest unfinished task and serialises the rest behind it, while
still never self-blocking a new/rework analyst-job on its OWN row (R-7) and
keeping AC-1 (a newer task is held by the older active one) intact.
Repo scope: empty CSV -> no repo filter (all repos); non-empty CSV -> ``AND
jobs.repo IN ('a','b')`` with sanitised tokens (R-6).
fail-OPEN (AC-8): kill-switch off OR any build error -> ``""`` (claim behaves
exactly as before ORCH-088). The trailing space keeps the spliced SQL valid.
"""
try:
if not getattr(settings, "serial_gate_enabled", False):
return ""
scope = _scope_repos()
if scope:
# All tokens already passed the _REPO_TOKEN regex -> safe to embed.
repo_in = ", ".join(f"'{t}'" for t in sorted(scope))
repo_scope = f"AND jobs.repo IN ({repo_in}) "
else:
repo_scope = ""
active_clause = (
"EXISTS (SELECT 1 FROM tasks t2 "
"WHERE t2.repo = jobs.repo AND t2.id < jobs.task_id "
"AND t2.stage != 'done') "
)
if _freeze_layer_enabled():
freeze_clause = (
"OR EXISTS (SELECT 1 FROM repo_freeze f "
"WHERE f.repo = jobs.repo AND f.cleared_at IS NULL) "
)
else:
freeze_clause = ""
return (
"AND NOT ( jobs.agent = 'analyst' "
f"{repo_scope}"
f"AND ( {active_clause}{freeze_clause}) "
") "
)
except Exception as e: # noqa: BLE001 - fail-OPEN: never wedge the queue
logger.warning("build_claim_clause error -> fail-OPEN (no gate): %s", e)
return ""
# ---------------------------------------------------------------------------
# Observability snapshot for GET /queue (D9 / AC-10)
# ---------------------------------------------------------------------------
def _known_repos() -> list[str]:
"""Registered repo names (best-effort) plus any repo with live gate state."""
repos: set[str] = set()
try:
from . import projects
for p in projects.PROJECTS:
if getattr(p, "repo", None):
repos.add(p.repo)
except Exception: # noqa: BLE001
pass
# Also surface repos that have an active freeze or a queued analyst-job even if
# they are not in the static registry (defensive — never hide a frozen repo).
try:
conn = db.get_db()
try:
for (r,) in conn.execute(
"SELECT DISTINCT repo FROM repo_freeze WHERE cleared_at IS NULL"
).fetchall():
if r:
repos.add(r)
for (r,) in conn.execute(
"SELECT DISTINCT repo FROM jobs WHERE status='queued' AND agent='analyst'"
).fetchall():
if r:
repos.add(r)
finally:
conn.close()
except Exception: # noqa: BLE001
pass
return sorted(repos)
def _per_repo_snapshot(repo: str) -> dict:
"""Per-repo gate state for the /queue snapshot (never raises here)."""
active_task = None
waiting: list[dict] = []
try:
conn = db.get_db()
try:
row = conn.execute(
"SELECT work_item_id, stage FROM tasks "
"WHERE repo=? AND stage != 'done' ORDER BY id LIMIT 1",
(repo,),
).fetchone()
if row:
active_task = {"work_item_id": row["work_item_id"], "stage": row["stage"]}
for j in conn.execute(
"SELECT j.id AS job_id, t.work_item_id AS work_item_id, t.stage AS stage "
"FROM jobs j LEFT JOIN tasks t ON t.id = j.task_id "
"WHERE j.repo=? AND j.status='queued' AND j.agent='analyst' "
"ORDER BY j.id",
(repo,),
).fetchall():
waiting.append({
"job_id": j["job_id"],
"work_item_id": j["work_item_id"],
"stage": j["stage"],
})
finally:
conn.close()
except Exception as e: # noqa: BLE001
logger.warning("serial_gate per-repo snapshot error for %s: %s", repo, e)
frozen = is_repo_frozen(repo)
frozen_reason = None
frozen_at = None
if frozen:
try:
fr = _active_freeze_row(repo)
if fr:
frozen_reason = fr.get("reason")
frozen_at = fr.get("frozen_at")
except Exception: # noqa: BLE001
pass
return {
"active_task": active_task,
"waiting": waiting,
"frozen": frozen,
"frozen_reason": frozen_reason,
"frozen_at": frozen_at,
}
def snapshot() -> dict:
"""Read-only serial-gate summary for GET /queue (D9 / AC-10).
Additive block; existing /queue keys are untouched. never-raise: any error ->
a minimal dict with the flags and empty per-repo data.
"""
try:
enabled = bool(getattr(settings, "serial_gate_enabled", False))
except Exception: # noqa: BLE001
enabled = False
try:
repos_cfg = getattr(settings, "serial_gate_repos", "") or ""
except Exception: # noqa: BLE001
repos_cfg = ""
try:
per_repo = {r: _per_repo_snapshot(r) for r in _known_repos()}
return {
"enabled": enabled,
"freeze_enabled": _freeze_layer_enabled(),
"repos": repos_cfg,
"per_repo": per_repo,
}
except Exception as e: # noqa: BLE001 - never-raise -> minimal dict
logger.warning("serial_gate snapshot error: %s", e)
return {
"enabled": enabled,
"freeze_enabled": False,
"repos": repos_cfg,
"per_repo": {},
}

View File

@@ -1708,6 +1708,25 @@ def run_post_deploy_monitor(job: dict):
except Exception as e: # noqa: BLE001 - never break the tick
logger.warning(f"post-deploy: set Blocked failed for {work_item_id}: {e}")
# ORCH-088 (FR-5, ADR-001 D3): durable per-repo rollback-freeze. The degraded
# task is already stage='done' (BR-7), so the ordinary active-task gate would
# NOT hold the next task — we need a separate durable signal. Freeze the repo so
# the serial gate stays CLOSED until an operator clears it (POST
# /serial-gate/unfreeze). never-raise (set_repo_freeze swallows its own errors);
# the freeze is a PASSIVE start-block, it does NOT touch the prod container (NFR-6).
try:
from . import serial_gate
reason = f"post-deploy DEGRADED ({checks_failed}/{checks_total}) action={action_taken}"
if serial_gate.set_repo_freeze(repo, reason, work_item_id):
_notify_post_deploy(
work_item_id,
f"🧊 {repo}: пакет ЗАМОРОЖЕН после пост-деплой DEGRADED "
f"({work_item_id}). Следующая задача репо НЕ стартует до ручного "
f"снятия: POST /serial-gate/unfreeze?repo={repo}.",
)
except Exception as e: # noqa: BLE001 - never break the tick
logger.warning(f"post-deploy: set_repo_freeze failed for {repo}: {e}")
post_deploy.write_post_deploy_log(
repo, work_item_id, branch, post_deploy.DEGRADED, action_taken,
settings.post_deploy_window_s, checks_total, checks_failed,

View File

@@ -573,20 +573,36 @@ async def start_pipeline(data: dict, project_id: str = ""):
return
task_id = task_row["id"]
# Create branch in Gitea
try:
await _create_gitea_branch(repo, branch)
except Exception as e:
logger.error(f"Failed to create branch '{branch}': {e}")
# Task is created, branch creation failed — log but don't crash
notify_error(0, f"Branch creation failed: {e}")
return
# ORCH-088 (FR-1/AC-6, ADR-001 D1): DEFER the branch cut for an applicable repo.
# Creating the Gitea branch here (T0, issue -> analysis) would cut it from `main`
# BEFORE the predecessor is merged -> stale base. When the serial gate applies we
# do NOT create the branch / initial docs now; the analyst-job sits in the queue
# (status='queued', no branch) and the gate keeps it there until the predecessor
# reaches stage='done'. The branch + docs are then materialised at claim time in
# launcher._spawn from a fresh origin/main (anti-stale-base). The task row already
# stores `branch` as a NAME (R-5) — only the git ref is deferred.
from .. import serial_gate
defer_branch = serial_gate.serial_gate_applies(repo)
if not defer_branch:
# Create branch in Gitea
try:
await _create_gitea_branch(repo, branch)
except Exception as e:
logger.error(f"Failed to create branch '{branch}': {e}")
# Task is created, branch creation failed — log but don't crash
notify_error(0, f"Branch creation failed: {e}")
return
# Create initial docs structure via Gitea API (create file)
try:
await _create_initial_docs(repo, branch, work_item_id, name)
except Exception as e:
logger.error(f"Failed to create initial docs: {e}")
# Create initial docs structure via Gitea API (create file)
try:
await _create_initial_docs(repo, branch, work_item_id, name)
except Exception as e:
logger.error(f"Failed to create initial docs: {e}")
else:
logger.info(
f"Task {work_item_id}: serial gate applies for {repo} -> deferring branch "
f"cut to analyst-job claim (anti-stale-base, ORCH-088)"
)
logger.info(f"Task created: {work_item_id} ({name}), branch={branch}, stage=analysis")

View File

@@ -79,6 +79,11 @@ def setup(monkeypatch):
monkeypatch.setattr(P.settings, "db_path", _test_db)
import src.db as _db
monkeypatch.setattr(_db.settings, "db_path", _test_db)
# ORCH-088: these are pre-ORCH-088 repo-routing tests that assert the branch is
# cut DURING start_pipeline. With the serial gate ON (default) the branch cut is
# deferred to the analyst-job claim, so pin them to the kill-switch-off (legacy)
# path — branch timing is out of scope here (covered by test_serial_gate_branch).
monkeypatch.setattr(_db.settings, "serial_gate_enabled", False, raising=False)
if os.path.exists(_test_db):
os.unlink(_test_db)
init_db()

View File

@@ -0,0 +1,61 @@
"""ORCH-088 — GET /queue additive serial_gate block (AC-10 / TC-20).
The /queue payload must gain an additive ``serial_gate`` block WITHOUT changing
any pre-existing key (counts/max_concurrency/reconcile/reaper/post_deploy/
task_deps/recent ...).
"""
import os
import tempfile
import pytest
os.environ["ORCH_DB_PATH"] = os.path.join(tempfile.gettempdir(), "test_queue_endpoint.db")
os.environ.setdefault("ORCH_GITEA_TOKEN", "test-token")
os.environ.setdefault("ORCH_PLANE_API_TOKEN", "test-token")
import src.db as db # noqa: E402
from src.db import init_db # noqa: E402
from src import config as cfg # noqa: E402
@pytest.fixture(autouse=True)
def fresh_db(tmp_path, monkeypatch):
dbfile = tmp_path / "q.db"
monkeypatch.setattr(db.settings, "db_path", str(dbfile))
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", True, raising=False)
init_db()
yield
def test_queue_has_serial_gate_block_and_keeps_existing_keys():
import asyncio
from src import main
payload = asyncio.run(main.queue())
# Pre-existing keys are all still present (no contract break).
for key in (
"counts", "max_concurrency", "poll_interval", "resilience", "reconcile",
"reaper", "post_deploy", "merge_verify", "task_deps", "recent",
):
assert key in payload, f"existing /queue key '{key}' must be preserved"
# New additive block.
assert "serial_gate" in payload
sg = payload["serial_gate"]
assert sg["enabled"] is True
assert "repos" in sg and "freeze_enabled" in sg
assert isinstance(sg["per_repo"], dict)
def test_queue_serial_gate_reflects_freeze():
import asyncio
from src import main
from src import serial_gate
serial_gate.set_repo_freeze("orchestrator", "DEGRADED", "ORCH-900")
payload = asyncio.run(main.queue())
per = payload["serial_gate"]["per_repo"]
assert "orchestrator" in per
assert per["orchestrator"]["frozen"] is True
assert per["orchestrator"]["frozen_reason"] == "DEGRADED"

188
tests/test_serial_gate.py Normal file
View File

@@ -0,0 +1,188 @@
"""ORCH-088 — per-repo serial gate, unit tests (real tmp SQLite).
Covers (04-test-plan.yaml):
TC-01 claim_next_job does NOT claim an analyst-job of a NEW task B while the
repo has an unfinished task A (gate closed).
TC-02 serial_gate_applies: enabled + empty CSV -> True for any repo; CSV
membership -> True; repo outside CSV -> False; disabled -> False.
TC-03 jobs of an ALREADY-active task (architect/developer/.../deployer) are
never gated — the single active task advances freely.
TC-08 per-repo: an active orchestrator task does NOT gate an enduro analyst-job.
TC-15 kill-switch off -> claim is 1:1 as before ORCH-088.
TC-16 repo outside a non-empty CSV -> gate inert for that repo.
TC-17 DB/build error in the gate -> fail-OPEN: claim does not crash, still claims.
TC-19 snapshot() shape + never-raise.
TC-21 STAGE_TRANSITIONS / QG_CHECKS registries unchanged (no new QG check).
"""
import os
import tempfile
import pytest
os.environ["ORCH_DB_PATH"] = os.path.join(tempfile.gettempdir(), "test_serial_gate.db")
os.environ.setdefault("ORCH_GITEA_TOKEN", "test-token")
os.environ.setdefault("ORCH_PLANE_API_TOKEN", "test-token")
import src.db as db # noqa: E402
from src.db import init_db, get_db, enqueue_job, claim_next_job # noqa: E402
from src import serial_gate # noqa: E402
from src import config as cfg # noqa: E402
@pytest.fixture(autouse=True)
def fresh_db(tmp_path, monkeypatch):
dbfile = tmp_path / "sg.db"
monkeypatch.setattr(db.settings, "db_path", str(dbfile))
# Feature ON by default; freeze layer ON; empty CSV (all repos).
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", True, raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_repos", "", raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_freeze_enabled", True, raising=False)
# Keep the unrelated dep-gate inert so claim semantics isolate the serial gate.
monkeypatch.setattr(cfg.settings, "task_deps_enabled", False, raising=False)
init_db()
yield
def _make_task(work_item_id, stage="analysis", repo="orchestrator"):
conn = get_db()
cur = conn.execute(
"INSERT INTO tasks (plane_id, work_item_id, repo, branch, stage, title) "
"VALUES (?, ?, ?, ?, ?, ?)",
(work_item_id, work_item_id, repo, f"feature/{work_item_id}", stage, work_item_id),
)
tid = cur.lastrowid
conn.commit()
conn.close()
return tid
def _set_stage(task_id, stage):
conn = get_db()
conn.execute("UPDATE tasks SET stage=? WHERE id=?", (stage, task_id))
conn.commit()
conn.close()
# --------------------------------------------------------------- TC-01
def test_gate_closed_when_repo_has_active_task():
_make_task("ORCH-201", stage="development") # active predecessor
b = _make_task("ORCH-202", stage="analysis") # new task
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
# A is unfinished -> the analyst-job of B is NOT claimable.
assert claim_next_job() is None, "analyst-job must be gated by active task A"
# /queue shows B waiting + an active task for the repo.
snap = serial_gate.snapshot()
per = snap["per_repo"]["orchestrator"]
assert per["active_task"]["work_item_id"] == "ORCH-201"
assert any(w["job_id"] == job_b for w in per["waiting"])
# --------------------------------------------------------------- TC-02
def test_serial_gate_applies_scopes(monkeypatch):
# enabled + empty CSV -> all repos.
assert serial_gate.serial_gate_applies("orchestrator") is True
assert serial_gate.serial_gate_applies("enduro-trails") is True
# CSV membership.
monkeypatch.setattr(cfg.settings, "serial_gate_repos", "orchestrator", raising=False)
assert serial_gate.serial_gate_applies("orchestrator") is True
assert serial_gate.serial_gate_applies("enduro-trails") is False
# kill-switch off -> never applies.
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", False, raising=False)
assert serial_gate.serial_gate_applies("orchestrator") is False
# --------------------------------------------------------------- TC-03
def test_non_analyst_job_of_active_task_passes():
a = _make_task("ORCH-210", stage="development")
# an unrelated unfinished task in the same repo (would close the gate for analyst)
_make_task("ORCH-211", stage="analysis")
for role in ("architect", "developer", "reviewer", "tester", "deployer"):
jid = enqueue_job(role, "orchestrator", role, task_id=a)
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == jid, (
f"{role}-job of an active task must never be gated"
)
# finish it so the next role's job is the only queued one.
db.mark_job(jid, "done")
# --------------------------------------------------------------- TC-08
def test_per_repo_isolation():
# orchestrator busy; enduro gets a brand-new analyst-job.
_make_task("ORCH-220", stage="development", repo="orchestrator")
b = _make_task("ET-220", stage="analysis", repo="enduro-trails")
job_b = enqueue_job("analyst", "enduro-trails", "B", task_id=b)
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b, (
"orchestrator's active task must not gate enduro's analyst-job"
)
# --------------------------------------------------------------- TC-15
def test_kill_switch_off_is_inert(monkeypatch):
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", False, raising=False)
_make_task("ORCH-230", stage="development") # active task
b = _make_task("ORCH-231", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b, (
"with the kill-switch off the gate must be inert (claims as before)"
)
# --------------------------------------------------------------- TC-16
def test_repo_outside_csv_not_gated(monkeypatch):
monkeypatch.setattr(cfg.settings, "serial_gate_repos", "enduro-trails", raising=False)
_make_task("ORCH-240", stage="development") # active orchestrator task
b = _make_task("ORCH-241", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b, (
"orchestrator is outside the CSV scope -> gate must not apply"
)
# --------------------------------------------------------------- TC-17
def test_build_clause_error_fails_open(monkeypatch):
"""A build error in the gate clause must fail-OPEN (claim still proceeds)."""
_make_task("ORCH-250", stage="development") # would close the gate
b = _make_task("ORCH-251", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
def _boom():
raise RuntimeError("clause build down")
monkeypatch.setattr(serial_gate, "build_claim_clause", _boom, raising=True)
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b, (
"a gate build error must fail-OPEN, not wedge the queue (AC-8)"
)
# --------------------------------------------------------------- TC-19
def test_snapshot_shape_and_never_raises(monkeypatch):
snap = serial_gate.snapshot()
assert snap["enabled"] is True
assert "repos" in snap and "freeze_enabled" in snap
assert isinstance(snap["per_repo"], dict)
# never-raise: a DB failure -> minimal dict with flags, empty per_repo.
monkeypatch.setattr(
serial_gate, "_known_repos",
lambda: (_ for _ in ()).throw(RuntimeError("db down")),
raising=True,
)
snap2 = serial_gate.snapshot()
assert snap2["per_repo"] == {}
assert snap2["enabled"] is True
# --------------------------------------------------------------- TC-21
def test_registries_unchanged():
from src.stages import STAGE_TRANSITIONS
from src.qg.checks import QG_CHECKS
assert set(STAGE_TRANSITIONS) == {
"created", "analysis", "architecture", "development", "review",
"testing", "deploy-staging", "deploy", "done",
}
# No serial-gate QG check was introduced (the gate is a scheduler condition).
assert not any("serial" in k for k in QG_CHECKS), "no new QG check expected"

View File

@@ -0,0 +1,153 @@
"""ORCH-088 — deferred branch cut / anti-stale-base (FR-1/AC-6).
Covers (04-test-plan.yaml):
TC-13 while the serial gate applies, start_pipeline does NOT create the Gitea
branch / initial docs (the cut is deferred to the analyst-job claim);
with the kill-switch off it creates them immediately (1:1 as before).
TC-14 a branch cut at claim time (ensure_worktree on a not-yet-existing branch)
is based on a FRESH origin/main that already contains the predecessor:
git merge-base --is-ancestor <sha A> <base B> is true.
"""
import os
import subprocess
import tempfile
import pytest
os.environ["ORCH_DB_PATH"] = os.path.join(tempfile.gettempdir(), "test_serial_gate_branch.db")
os.environ.setdefault("ORCH_GITEA_TOKEN", "test-token")
os.environ.setdefault("ORCH_PLANE_API_TOKEN", "test-token")
import src.db as db # noqa: E402
from src.db import init_db # noqa: E402
from src import config as cfg # noqa: E402
@pytest.fixture(autouse=True)
def fresh_db(tmp_path, monkeypatch):
dbfile = tmp_path / "branch.db"
monkeypatch.setattr(db.settings, "db_path", str(dbfile))
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", True, raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_repos", "", raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_freeze_enabled", True, raising=False)
monkeypatch.setattr(cfg.settings, "task_deps_enabled", False, raising=False)
monkeypatch.setattr(cfg.settings, "task_deps_source", "db", raising=False)
init_db()
yield
# --------------------------------------------------------------- TC-13
async def _drive_start_pipeline(monkeypatch, gate_applies: bool):
from src.webhooks import plane
from src import plane_sync
from src.projects import ProjectConfig
proj = ProjectConfig(
plane_project_id="proj-uuid",
repo="orchestrator",
work_item_prefix="ORCH",
name="orch",
)
monkeypatch.setattr(plane, "get_project_by_plane_id", lambda pid: proj)
monkeypatch.setattr(plane, "_qg0_errors", lambda name, desc: [])
monkeypatch.setattr(plane, "ensure_unique_work_item_id", lambda wid, repo: wid)
monkeypatch.setattr(
plane, "create_task_atomic",
lambda *a, **k: ({"id": 1, "work_item_id": "ORCH-500"}, True),
)
monkeypatch.setattr(plane_sync, "fetch_issue_sequence_id", lambda *a, **k: 500)
monkeypatch.setattr(plane_sync, "set_issue_analysis", lambda *a, **k: None)
monkeypatch.setattr(plane_sync, "add_comment", lambda *a, **k: None)
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", gate_applies, raising=False)
enq = []
monkeypatch.setattr(plane, "enqueue_job", lambda *a, **k: (enq.append((a, k)) or 99))
branch_calls, docs_calls = [], []
async def _branch_spy(repo, branch):
branch_calls.append((repo, branch))
async def _docs_spy(repo, branch, wi, name):
docs_calls.append((repo, branch, wi, name))
monkeypatch.setattr(plane, "_create_gitea_branch", _branch_spy)
monkeypatch.setattr(plane, "_create_initial_docs", _docs_spy)
data = {
"id": "issue-uuid-1",
"name": "Add serial gate",
"description_stripped": "A sufficiently long description for QG-0 to pass.",
"project": "proj-uuid",
}
await plane.start_pipeline(data, project_id="proj-uuid")
return branch_calls, docs_calls, enq
def test_branch_cut_deferred_when_gate_applies(monkeypatch):
import asyncio
branch_calls, docs_calls, enq = asyncio.run(
_drive_start_pipeline(monkeypatch, gate_applies=True)
)
assert branch_calls == [], "branch must NOT be cut in start_pipeline while gated"
assert docs_calls == [], "initial docs must NOT be created while gated"
# The analyst-job is still enqueued (it waits in the queue without a branch).
assert any(a[0] == "analyst" for a, k in enq), "analyst-job must still be enqueued"
def test_branch_cut_immediate_when_kill_switch_off(monkeypatch):
import asyncio
branch_calls, docs_calls, enq = asyncio.run(
_drive_start_pipeline(monkeypatch, gate_applies=False)
)
assert branch_calls, "with the gate off the branch is cut in start_pipeline (1:1)"
assert docs_calls, "with the gate off initial docs are created in start_pipeline"
# --------------------------------------------------------------- TC-14
def _git(*args, cwd):
env = {
**os.environ,
"GIT_AUTHOR_NAME": "t", "GIT_AUTHOR_EMAIL": "t@t",
"GIT_COMMITTER_NAME": "t", "GIT_COMMITTER_EMAIL": "t@t",
}
return subprocess.run(["git", *args], cwd=cwd, env=env,
capture_output=True, text=True, check=True)
def test_deferred_branch_base_contains_predecessor(tmp_path, monkeypatch):
"""A branch cut at claim time is based on a fresh origin/main with A's code."""
from src import git_worktree
origin = tmp_path / "origin.git"
origin.mkdir()
_git("init", "--bare", "-b", "main", str(origin), cwd=tmp_path)
repos_dir = tmp_path / "repos"
wt_dir = tmp_path / "wt"
repos_dir.mkdir()
wt_dir.mkdir()
repo = "orchestrator"
clone = repos_dir / repo
_git("clone", str(origin), str(clone), cwd=tmp_path)
# Predecessor A: commit on main + push to origin (== "A merged at its done").
(clone / "a.txt").write_text("A's code\n")
_git("add", "a.txt", cwd=clone)
_git("commit", "-m", "task A", cwd=clone)
_git("push", "origin", "main", cwd=clone)
sha_a = _git("rev-parse", "HEAD", cwd=clone).stdout.strip()
monkeypatch.setattr(git_worktree.settings, "repos_dir", str(repos_dir), raising=False)
monkeypatch.setattr(git_worktree.settings, "worktrees_dir", str(wt_dir), raising=False)
# Branch B does not exist yet -> ensure_worktree cuts it from fresh origin/main.
wt = git_worktree.ensure_worktree(repo, "feature/ORCH-B")
head_b = _git("rev-parse", "HEAD", cwd=wt).stdout.strip()
# AC-6: A's commit is an ancestor of B's base.
r = subprocess.run(
["git", "-C", wt, "merge-base", "--is-ancestor", sha_a, head_b],
capture_output=True,
)
assert r.returncode == 0, "branch B base must contain predecessor A's commit (AC-6)"

View File

@@ -0,0 +1,113 @@
"""ORCH-088 — serial gate end-to-end queue behaviour (real tmp SQLite).
Covers (04-test-plan.yaml):
TC-04 after A.stage='done' the waiting analyst-job of B is claimed (gate opens
automatically — no manual action).
TC-05 a queue of 3 tasks of one repo is processed strictly one-at-a-time, FIFO
by jobs.id: while A is unfinished neither B nor C starts.
TC-06 restart-safe: the active task is derived from the DB (tasks.repo +
stage!='done'), not in-memory — re-reading state keeps the gate closed.
"""
import os
import tempfile
import pytest
os.environ["ORCH_DB_PATH"] = os.path.join(tempfile.gettempdir(), "test_serial_gate_e2e.db")
os.environ.setdefault("ORCH_GITEA_TOKEN", "test-token")
os.environ.setdefault("ORCH_PLANE_API_TOKEN", "test-token")
import src.db as db # noqa: E402
from src.db import init_db, get_db, enqueue_job, claim_next_job # noqa: E402
from src import config as cfg # noqa: E402
@pytest.fixture(autouse=True)
def fresh_db(tmp_path, monkeypatch):
dbfile = tmp_path / "e2e.db"
monkeypatch.setattr(db.settings, "db_path", str(dbfile))
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", True, raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_repos", "", raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_freeze_enabled", True, raising=False)
monkeypatch.setattr(cfg.settings, "task_deps_enabled", False, raising=False)
init_db()
yield
def _make_task(work_item_id, stage="analysis", repo="orchestrator"):
conn = get_db()
cur = conn.execute(
"INSERT INTO tasks (plane_id, work_item_id, repo, branch, stage) "
"VALUES (?, ?, ?, ?, ?)",
(work_item_id, work_item_id, repo, f"feature/{work_item_id}", stage),
)
tid = cur.lastrowid
conn.commit()
conn.close()
return tid
def _set_stage(task_id, stage):
conn = get_db()
conn.execute("UPDATE tasks SET stage=? WHERE id=?", (stage, task_id))
conn.commit()
conn.close()
# --------------------------------------------------------------- TC-04
def test_next_starts_automatically_when_predecessor_done():
a = _make_task("ORCH-301", stage="development")
b = _make_task("ORCH-302", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
assert claim_next_job() is None, "B gated while A unfinished"
# A reaches done -> the gate opens on the NEXT claim tick, no manual action.
_set_stage(a, "done")
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b
# --------------------------------------------------------------- TC-05
def test_three_tasks_processed_one_at_a_time_fifo():
a = _make_task("ORCH-310", stage="analysis")
b = _make_task("ORCH-311", stage="analysis")
c = _make_task("ORCH-312", stage="analysis")
job_a = enqueue_job("analyst", "orchestrator", "A", task_id=a)
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
job_c = enqueue_job("analyst", "orchestrator", "C", task_id=c)
# Only the FIFO-first task (A, lowest id) is claimable.
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_a
assert claim_next_job() is None, "B and C must wait while A is unfinished"
# A runs through to done; now B (next) is claimable, C still waits.
db.mark_job(job_a, "done")
_set_stage(a, "done")
claimed_b = claim_next_job()
assert claimed_b is not None and claimed_b["id"] == job_b
assert claim_next_job() is None, "C must wait while B is unfinished"
# B done -> C claimable last (strict FIFO order preserved).
db.mark_job(job_b, "done")
_set_stage(b, "done")
claimed_c = claim_next_job()
assert claimed_c is not None and claimed_c["id"] == job_c
# --------------------------------------------------------------- TC-06
def test_restart_safe_active_task_from_db():
a = _make_task("ORCH-320", stage="development")
b = _make_task("ORCH-321", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
assert claim_next_job() is None
# Simulate a restart: there is NO in-memory state — the gate recomputes purely
# from the DB. Re-running init_db (idempotent) + a fresh claim must still gate B.
init_db()
assert claim_next_job() is None, "after restart the gate is still closed (DB-derived)"
_set_stage(a, "done")
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b

View File

@@ -0,0 +1,160 @@
"""ORCH-088 — rollback-freeze layer (FR-5) tests (real tmp SQLite).
Covers (04-test-plan.yaml):
TC-07 freeze survives a restart (durable in DB) — next task stays gated.
TC-09 freeze of orchestrator does NOT affect enduro-trails (per-repo).
TC-10 post-deploy DEGRADED -> durable freeze row + Telegram alert attempted.
TC-11 an active freeze gates the next analyst-job even with NO unfinished task
(the degraded task is already done — BR-7).
TC-12 manual clear_repo_freeze -> next task is claimable again.
TC-18 is_repo_frozen fails CLOSED on a read error (frozen=True on doubt).
TC-22 repo_freeze migration is idempotent (re-init does not dup / crash).
"""
import os
import tempfile
import pytest
os.environ["ORCH_DB_PATH"] = os.path.join(tempfile.gettempdir(), "test_serial_gate_freeze.db")
os.environ.setdefault("ORCH_GITEA_TOKEN", "test-token")
os.environ.setdefault("ORCH_PLANE_API_TOKEN", "test-token")
import src.db as db # noqa: E402
from src.db import init_db, get_db, enqueue_job, claim_next_job # noqa: E402
from src import serial_gate # noqa: E402
from src import config as cfg # noqa: E402
@pytest.fixture(autouse=True)
def fresh_db(tmp_path, monkeypatch):
dbfile = tmp_path / "freeze.db"
monkeypatch.setattr(db.settings, "db_path", str(dbfile))
monkeypatch.setattr(cfg.settings, "serial_gate_enabled", True, raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_repos", "", raising=False)
monkeypatch.setattr(cfg.settings, "serial_gate_freeze_enabled", True, raising=False)
monkeypatch.setattr(cfg.settings, "task_deps_enabled", False, raising=False)
init_db()
yield
def _make_task(work_item_id, stage="analysis", repo="orchestrator"):
conn = get_db()
cur = conn.execute(
"INSERT INTO tasks (plane_id, work_item_id, repo, branch, stage) "
"VALUES (?, ?, ?, ?, ?)",
(work_item_id, work_item_id, repo, f"feature/{work_item_id}", stage),
)
tid = cur.lastrowid
conn.commit()
conn.close()
return tid
# --------------------------------------------------------------- TC-07
def test_freeze_survives_restart():
b = _make_task("ORCH-401", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
assert serial_gate.set_repo_freeze("orchestrator", "post-deploy DEGRADED", "ORCH-400") is True
assert claim_next_job() is None, "frozen repo gates the analyst-job"
# Simulate restart: no in-memory state, re-init (idempotent) -> still frozen.
init_db()
assert serial_gate.is_repo_frozen("orchestrator") is True
assert claim_next_job() is None, "freeze is durable across restart"
assert job_b # referenced
# --------------------------------------------------------------- TC-09
def test_freeze_is_per_repo():
serial_gate.set_repo_freeze("orchestrator", "DEGRADED", "ORCH-410")
b = _make_task("ET-410", stage="analysis", repo="enduro-trails")
job_b = enqueue_job("analyst", "enduro-trails", "B", task_id=b)
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b, (
"an orchestrator freeze must not gate enduro-trails"
)
assert serial_gate.is_repo_frozen("enduro-trails") is False
# --------------------------------------------------------------- TC-10
def test_post_deploy_degraded_sets_freeze_and_alerts(tmp_path, monkeypatch):
from src import stage_engine, post_deploy
# Sandbox the post-deploy sentinel state dir so a prior DONE marker can't
# short-circuit the tick (state lives under settings.repos_dir).
monkeypatch.setattr(post_deploy.settings, "repos_dir", str(tmp_path), raising=False)
a = _make_task("ORCH-420", stage="done", repo="orchestrator")
job = {"task_id": a, "repo": "orchestrator"}
# Avoid network / git / worktree; force a DEGRADED verdict.
monkeypatch.setattr(post_deploy, "probe_signals",
lambda *a, **k: post_deploy.ProbeResult(False, 2, 2, "down"))
monkeypatch.setattr(post_deploy, "classify", lambda *a, **k: post_deploy.DEGRADED)
monkeypatch.setattr(post_deploy, "write_post_deploy_log", lambda *a, **k: True)
monkeypatch.setattr(stage_engine, "set_issue_blocked", lambda *a, **k: None)
alerts = []
monkeypatch.setattr(stage_engine, "_notify_post_deploy",
lambda wi, msg: alerts.append(msg))
stage_engine.run_post_deploy_monitor(job)
# Durable freeze row written + a freeze alert attempted.
assert serial_gate.is_repo_frozen("orchestrator") is True
assert any("ЗАМОРОЖЕН" in m for m in alerts), f"freeze alert missing: {alerts}"
# --------------------------------------------------------------- TC-11
def test_freeze_gates_even_without_unfinished_task():
_make_task("ORCH-430", stage="done") # degraded task already done
b = _make_task("ORCH-431", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
# Without freeze B would be claimable (A done, no earlier unfinished). Freeze it.
serial_gate.set_repo_freeze("orchestrator", "DEGRADED", "ORCH-430")
assert claim_next_job() is None, "active freeze gates the next analyst-job (BR-7)"
assert job_b
# --------------------------------------------------------------- TC-12
def test_manual_unfreeze_lets_next_start():
_make_task("ORCH-440", stage="done")
b = _make_task("ORCH-441", stage="analysis")
job_b = enqueue_job("analyst", "orchestrator", "B", task_id=b)
serial_gate.set_repo_freeze("orchestrator", "DEGRADED", "ORCH-440")
assert claim_next_job() is None
cleared = serial_gate.clear_repo_freeze("orchestrator")
assert cleared >= 1
assert serial_gate.is_repo_frozen("orchestrator") is False
claimed = claim_next_job()
assert claimed is not None and claimed["id"] == job_b
# Idempotent: clearing again clears nothing.
assert serial_gate.clear_repo_freeze("orchestrator") == 0
# --------------------------------------------------------------- TC-18
def test_is_repo_frozen_fails_closed(monkeypatch):
def _boom(repo):
raise RuntimeError("freeze read down")
monkeypatch.setattr(serial_gate, "_active_freeze_row", _boom, raising=True)
# Freeze layer enabled + cannot confirm absence -> fail CLOSED (True).
assert serial_gate.is_repo_frozen("orchestrator") is True
# Freeze layer OFF -> never frozen, even on a read error.
monkeypatch.setattr(cfg.settings, "serial_gate_freeze_enabled", False, raising=False)
assert serial_gate.is_repo_frozen("orchestrator") is False
# --------------------------------------------------------------- TC-22
def test_repo_freeze_migration_idempotent():
# Re-running init_db must not crash or duplicate the table/index.
init_db()
init_db()
conn = get_db()
cols = [r[1] for r in conn.execute("PRAGMA table_info(repo_freeze)").fetchall()]
conn.close()
assert {"repo", "frozen_at", "reason", "work_item_id", "cleared_at"}.issubset(set(cols))
# A freeze still functions after repeated migration.
assert serial_gate.set_repo_freeze("orchestrator", "x", "ORCH-450") is True
assert serial_gate.is_repo_frozen("orchestrator") is True

View File

@@ -39,6 +39,11 @@ def setup(monkeypatch):
monkeypatch.setattr(P.settings, "db_path", _test_db)
import src.db as _db
monkeypatch.setattr(_db.settings, "db_path", _test_db)
# ORCH-088: this suite asserts the branch is cut DURING start_pipeline. With the
# serial gate ON (default) the cut is deferred to the analyst-job claim, so pin
# to the kill-switch-off (legacy) path — branch timing is out of scope here
# (covered by test_serial_gate_branch).
monkeypatch.setattr(_db.settings, "serial_gate_enabled", False, raising=False)
if os.path.exists(_test_db):
os.unlink(_test_db)
init_db()