workflow-ai 1.0.63 → 1.0.64

package/src/skills/decompose-plan/scripts/verify-atomicity.js

@@ -0,0 +1,408 @@
+#!/usr/bin/env node
+
+/**
+ * verify-atomicity.js — механическая проверка атомарности тикетов в backlog/.
+ *
+ * Проверяет тикеты на соответствие критериям атомарности:
+ * - Title: количество глаголов-инфинитивов (>1 → WARNING)
+ * - DoD: количество пунктов (>7 → FAIL, >5 → WARNING)
+ * - Шаги: количество шагов в "Детали задачи" (>5 → FAIL, отсутствует → SKIP)
+ * - Файлы: количество файлов в context.files (>3 → WARNING, отсутствует → SKIP)
+ *
+ * Использование:
+ *   node verify-atomicity.js "<prompt>"
+ *   Парсит ticket_id из Context-блока в промпте, извлекает plan_file.
+ *
+ * Вывод:
+ *   ---RESULT---
+ *   status: passed|failed
+ *   tickets_checked: N
+ *   tickets_failed: N
+ *   failures: [...]
+ *   warnings: [...]
+ *   ---RESULT---
+ */
+
+import fs from 'fs';
+import path from 'path';
+import { findProjectRoot } from 'workflow-ai/lib/find-root.mjs';
+import { parseFrontmatter } from 'workflow-ai/lib/utils.mjs';
+
+function resolvePlanAbsolutePath(planFile, projectDir) {
+  if (path.isAbsolute(planFile)) return planFile;
+  if (planFile.startsWith('.workflow/') || planFile.startsWith('.workflow\\')) {
+    return path.join(projectDir, planFile);
+  }
+  return path.join(projectDir, '.workflow', planFile);
+}
+
+function activatePlan(planAbsPath) {
+  if (!fs.existsSync(planAbsPath)) {
+    return { activated: false, reason: 'plan_file_not_found', path: planAbsPath };
+  }
+
+  const content = fs.readFileSync(planAbsPath, 'utf8');
+  const fmMatch = content.match(/^---\n([\s\S]*?)\n---\n?/);
+  if (!fmMatch) {
+    return { activated: false, reason: 'frontmatter_not_found', path: planAbsPath };
+  }
+
+  const fmBlock = fmMatch[1];
+  const statusMatch = fmBlock.match(/^status:\s*(.+)$/m);
+  const currentStatus = statusMatch ? statusMatch[1].trim().replace(/^["']|["']$/g, '') : '';
+
+  if (['active', 'completed', 'archived'].includes(currentStatus)) {
+    return { activated: false, reason: 'already_terminal_status', current_status: currentStatus };
+  }
+
+  const nowIso = new Date().toISOString();
+  let newFmBlock = fmBlock;
+
+  if (statusMatch) {
+    newFmBlock = newFmBlock.replace(/^status:\s*.+$/m, 'status: active');
+  } else {
+    newFmBlock = newFmBlock + '\nstatus: active';
+  }
+
+  if (/^updated_at:\s*/m.test(newFmBlock)) {
+    newFmBlock = newFmBlock.replace(/^updated_at:\s*.*$/m, `updated_at: ${nowIso}`);
+  } else {
+    newFmBlock = newFmBlock + `\nupdated_at: ${nowIso}`;
+  }
+
+  const newContent = content.replace(fmMatch[0], `---\n${newFmBlock}\n---\n`);
+  fs.writeFileSync(planAbsPath, newContent, 'utf8');
+
+  return { activated: true, previous_status: currentStatus, new_status: 'active', path: planAbsPath };
+}
+
+const DOD_THRESHOLD_FAIL = 7;
+const DOD_THRESHOLD_WARN = 5;
+const STEPS_THRESHOLD_FAIL = 5;
+const FILES_THRESHOLD_WARN = 3;
+const TITLE_VERBS_FAIL_THRESHOLD = 1;
+
+const INFINITIVE_VERBS = [
+  'исправить',
+  'реализовать',
+  'добавить',
+  'обновить',
+  'удалить',
+  'создать',
+  'проверить',
+  'перенести',
+  'написать',
+  'настроить',
+  'изменить'
+];
+
+const VERBS_PATTERN = new RegExp(
+  `\\b(${INFINITIVE_VERBS.join('|')})\\b`,
+  'gi'
+);
+
+function extractPlanFileFromPrompt(prompt) {
+  const planFileMatch = prompt.match(/plan_file:\s*([^\s\n]+)/i);
+  if (planFileMatch) {
+    return planFileMatch[1];
+  }
+
+  const planMatch = prompt.match(/parent_plan:\s*([^\s\n]+)/i);
+  if (planMatch) {
+    return planMatch[1];
+  }
+
+  return null;
+}
+
+function getPlanIdFromPath(planFilePath) {
+  if (!planFilePath) return null;
+
+  const filename = path.basename(planFilePath, '.md');
+  const match = filename.match(/^PLAN-\d+$/i);
+  if (match) {
+    return match[0].toUpperCase();
+  }
+
+  return filename;
+}
+
+function getTicketsForPlan(backlogDir, planId) {
+  if (!fs.existsSync(backlogDir)) {
+    return [];
+  }
+
+  const files = fs.readdirSync(backlogDir).filter(f => f.endsWith('.md'));
+  const tickets = [];
+
+  for (const file of files) {
+    const filePath = path.join(backlogDir, file);
+    const content = fs.readFileSync(filePath, 'utf8');
+    const { frontmatter } = parseFrontmatter(content);
+
+    if (frontmatter.parent_plan) {
+      const parentPlanId = getPlanIdFromPath(frontmatter.parent_plan);
+      if (parentPlanId && parentPlanId.toUpperCase() === planId.toUpperCase()) {
+        tickets.push({ id: frontmatter.id, path: filePath, content });
+      }
+    }
+  }
+
+  return tickets;
+}
+
+function extractSection(body, sectionName) {
+  // Match heading that starts with sectionName, allowing optional suffix like "(Definition of Done)"
+  const sectionRegex = new RegExp(`^##\\s*${sectionName}(?:\\s|\\s*\\(|$)`, 'm');
+  const match = sectionRegex.exec(body);
+
+  if (!match) return null;
+
+  const startIdx = match.index + match[0].length;
+  const nextH2 = body.indexOf('\n## ', startIdx);
+  const sectionEnd = nextH2 === -1 ? body.length : nextH2;
+
+  return body.substring(startIdx, sectionEnd).trim();
+}
+
+function extractDetailsTasks(body) {
+  const detailsSection = extractSection(body, 'Детали задачи');
+  if (!detailsSection) return [];
+
+  const stepRegex = /###\s*(\d+)\.\s*/g;
+  const steps = [];
+  let match;
+
+  while ((match = stepRegex.exec(detailsSection)) !== null) {
+    steps.push(parseInt(match[1], 10));
+  }
+
+  return steps;
+}
+
+function countTitleVerbs(title) {
+  const matches = title.match(VERBS_PATTERN);
+  if (!matches) return { count: 0, uniqueVerbs: [] };
+
+  const uniqueVerbs = [...new Set(matches.map(v => v.toLowerCase()))];
+  return { count: matches.length, uniqueVerbs };
+}
+
+function countDoDItems(body) {
+  const dodSection = extractSection(body, 'Критерии готовности');
+  if (!dodSection) return 0;
+
+  const itemsRegex = /-\s*\[\s*\]\s*/g;
+  const matches = dodSection.match(itemsRegex);
+  return matches ? matches.length : 0;
+}
+
+function countContextFiles(frontmatter) {
+  if (!frontmatter.context || !frontmatter.context.files) {
+    return 0;
+  }
+
+  if (Array.isArray(frontmatter.context.files)) {
+    return frontmatter.context.files.length;
+  }
+
+  return 0;
+}
+
+function checkTicket(ticket) {
+  const { id, path: ticketPath, content } = ticket;
+  const { frontmatter, body } = parseFrontmatter(content);
+
+  const checks = [];
+  const title = frontmatter.title || '';
+
+  const verbsResult = countTitleVerbs(title);
+  if (verbsResult.uniqueVerbs.length > TITLE_VERBS_FAIL_THRESHOLD) {
+    checks.push({
+      check: 'title_verbs',
+      result: 'WARNING',
+      detail: `Title содержит ${verbsResult.uniqueVerbs.length} глаголов: ${verbsResult.uniqueVerbs.join(', ')}`
+    });
+  }
+
+  const dodCount = countDoDItems(body);
+  if (dodCount > DOD_THRESHOLD_FAIL) {
+    checks.push({
+      check: 'dod_items',
+      result: 'FAIL',
+      detail: `DoD содержит ${dodCount} пунктов (порог: ${DOD_THRESHOLD_FAIL})`
+    });
+  } else if (dodCount > DOD_THRESHOLD_WARN) {
+    checks.push({
+      check: 'dod_items',
+      result: 'WARNING',
+      detail: `DoD содержит ${dodCount} пунктов (порог: ${DOD_THRESHOLD_WARN})`
+    });
+  }
+
+  const steps = extractDetailsTasks(body);
+  if (steps.length > STEPS_THRESHOLD_FAIL) {
+    checks.push({
+      check: 'details_steps',
+      result: 'FAIL',
+      detail: `Детали задачи содержат ${steps.length} шагов (порог: ${STEPS_THRESHOLD_FAIL})`
+    });
+  } else if (steps.length === 0) {
+    const hasDetailsSection = body.includes('## Детали задачи');
+    if (!hasDetailsSection) {
+      checks.push({
+        check: 'details_steps',
+        result: 'SKIP',
+        detail: 'Секция "Детали задачи" отсутствует'
+      });
+    }
+  }
+
+  const filesCount = countContextFiles(frontmatter);
+  if (filesCount > FILES_THRESHOLD_WARN) {
+    checks.push({
+      check: 'context_files',
+      result: 'WARNING',
+      detail: `context.files: ${filesCount} (порог: ${FILES_THRESHOLD_WARN})`
+    });
+  } else if (filesCount === 0) {
+    const hasContextFiles = frontmatter.context && frontmatter.context.files;
+    if (!hasContextFiles) {
+      checks.push({
+        check: 'context_files',
+        result: 'SKIP',
+        detail: 'context.files отсутствует или пуст'
+      });
+    }
+  }
+
+  return {
+    id,
+    checks,
+    hasFailures: checks.some(c => c.result === 'FAIL'),
+    hasWarnings: checks.some(c => c.result === 'WARNING')
+  };
+}
+
+function main() {
+  const args = process.argv.slice(2);
+
+  if (args.length === 0) {
+    console.error('Usage: node verify-atomicity.js "<prompt>"');
+    process.exit(1);
+  }
+
+  const prompt = args.join(' ');
+  const planFile = extractPlanFileFromPrompt(prompt);
+
+  if (!planFile) {
+    console.error('Error: could not extract plan_file from prompt');
+    console.log('---RESULT---');
+    console.log('status: failed');
+    console.log('reason: plan_file_not_found_in_prompt');
+    console.log('---RESULT---');
+    process.exit(1);
+  }
+
+  const planId = getPlanIdFromPath(planFile);
+  if (!planId) {
+    console.error('Error: could not extract plan ID from plan_file');
+    console.log('---RESULT---');
+    console.log('status: failed');
+    console.log('reason: plan_id_not_resolved');
+    console.log('---RESULT---');
+    process.exit(1);
+  }
+
+  const PROJECT_DIR = findProjectRoot();
+  const backlogDir = path.join(PROJECT_DIR, '.workflow', 'tickets', 'backlog');
+
+  const tickets = getTicketsForPlan(backlogDir, planId);
+
+  if (tickets.length === 0) {
+    console.log('---RESULT---');
+    console.log('status: passed');
+    console.log('tickets_checked: 0');
+    console.log('tickets_failed: 0');
+    console.log('reason: no_tickets_found_for_plan');
+    console.log('---RESULT---');
+    process.exit(0);
+  }
+
+  const results = tickets.map(checkTicket);
+
+  const failures = [];
+  const warnings = [];
+  let ticketsFailed = 0;
+
+  for (const result of results) {
+    if (result.hasFailures) {
+      ticketsFailed++;
+      failures.push({
+        ticket: result.id,
+        checks: result.checks.filter(c => c.result === 'FAIL' || c.result === 'WARNING')
+      });
+    }
+
+    const warningChecks = result.checks.filter(c => c.result === 'WARNING');
+    for (const check of warningChecks) {
+      warnings.push({
+        ticket: result.id,
+        check: check.check,
+        detail: check.detail
+      });
+    }
+  }
+
+  const status = ticketsFailed > 0 ? 'failed' : 'passed';
+
+  let activation = null;
+  if (status === 'passed') {
+    const planAbsPath = resolvePlanAbsolutePath(planFile, PROJECT_DIR);
+    activation = activatePlan(planAbsPath);
+  }
+
+  console.log('---RESULT---');
+  console.log(`status: ${status}`);
+  console.log(`tickets_checked: ${results.length}`);
+  console.log(`tickets_failed: ${ticketsFailed}`);
+
+  if (activation) {
+    if (activation.activated) {
+      console.log(`plan_status: active`);
+      console.log(`plan_previous_status: ${activation.previous_status || 'draft'}`);
+    } else {
+      console.log(`plan_status_unchanged: true`);
+      console.log(`plan_status_reason: ${activation.reason}`);
+      if (activation.current_status) {
+        console.log(`plan_current_status: ${activation.current_status}`);
+      }
+    }
+  }
+
+  if (failures.length > 0) {
+    console.log('atomicity_failures:');
+    for (const failure of failures) {
+      console.log(`  - ticket: "${failure.ticket}"`);
+      console.log('    checks:');
+      for (const check of failure.checks) {
+        console.log(`      - check: "${check.check}"`);
+        console.log(`        result: "${check.result}"`);
+        console.log(`        detail: "${check.detail}"`);
+      }
+    }
+  }
+
+  if (warnings.length > 0) {
+    console.log('warnings:');
+    for (const warning of warnings) {
+      console.log(`  - ticket: "${warning.ticket}"`);
+      console.log(`    check: "${warning.check}"`);
+      console.log(`    detail: "${warning.detail}"`);
+    }
+  }
+
+  console.log('---RESULT---');
+}
+
+main();

package/src/skills/decompose-plan/tests/cases/TC-DECOMPOSE-PLAN-001/current/claude-sonnet/trial-1.md

@@ -0,0 +1,30 @@
+Каждый тикет существует в единственном экземпляре. Коллизий нет.
+
+---
+
+### Рекомендации для следующего плана (вне scope)
+
+- Создать `shared/README.md` с реестром observable-инвариантов — причина: отсутствие реестра делает невозможным применение Условий Б и В (парные тикеты ручной проверки по observable-зоне) при декомпозиции будущих планов.
+
+---
+
+```
+---RESULT---
+status: default
+tickets_created:
+  - .workflow/tickets/backlog/FIX-1.md
+  - .workflow/tickets/backlog/FIX-2.md
+  - .workflow/tickets/backlog/QA-1.md
+  - .workflow/tickets/backlog/ADMIN-1.md
+decomposition_summary:
+  plan_tasks: 2
+  tickets_created: 4
+  breakdown:
+    Задача 1 → [FIX-1, FIX-2, QA-1]  (разбита по атомарности: 6/6 FAIL → 3 тикета)
+    Задача 2 → [ADMIN-1]              (атомарна: 6/6 PASS)
+ids_allocated_from:
+  FIX: 1
+  QA: 1
+  ADMIN: 1
+---RESULT---
+```

package/src/skills/decompose-plan/tests/cases/TC-DECOMPOSE-PLAN-001/current/claude-sonnet/trial-2.md

@@ -0,0 +1,36 @@
+Пост-валидация: ровно 1 совпадение. Коллизий нет. ✓
+
+---
+
+## Итоговая карта декомпозиции
+
+| Задача плана | Тикеты | Обоснование разбиения |
+|-------------|--------|----------------------|
+| Задача 1: Fix-A + Fix-B + smoke | FIX-001, FIX-002, QA-001 | Три независимых объекта работы: маппинг полей, валидация, прогон TC. Каждый верифицируется отдельно. |
+| Задача 2: Обновить CI | ADMIN-001 | Атомарна: один объект (CI конфиг), один результат (pipeline зелёный). |
+
+**Антипаттерн «1 задача = 1 тикет» не применён.** Задача 1 разбита на 3 тикета по результатам чеклиста атомарности (6 проверок FAIL).
+
+### Рекомендации для следующего плана (вне scope)
+
+- Создать `.workflow/src/shared/README.md` с реестром observable-инвариантов проекта — необходимо для применения Условий Б и В (парные тикеты ручной проверки по файловым триггерам и regression sweep). Причина: без реестра декомпозитор не может определить observable-зону проекта и обязан пропустить эти условия.
+
+---
+
+```
+---RESULT---
+status: default
+ids_allocated_from:
+  FIX: 1
+  QA: 1
+  ADMIN: 1
+tickets_created:
+  - FIX-001  # Исправить дефект А — неверный маппинг полей
+  - FIX-002  # Исправить дефект Б — отсутствие валидации
+  - QA-001   # Smoke-тест — smoke 6 TC пройден (depends: FIX-001, FIX-002)
+  - ADMIN-001 # Обновить конфигурацию CI
+notes:
+  - id_ranges_json не был передан; стартовые номера взяты из пустых директорий tickets/
+  - shared/README.md отсутствует; Условия Б и В (observable-зона) не применялись
+---RESULT---
+```

package/src/skills/decompose-plan/tests/cases/TC-DECOMPOSE-PLAN-001/current/claude-sonnet/trial-3.md

@@ -0,0 +1,37 @@
+Каждый ID встречается ровно один раз — коллизий нет.
+
+---
+
+## Итоговая карта тикетов
+
+| Тикет | Тип | Описание | DoD (дословно из плана) | Зависимости |
+|-------|-----|----------|------------------------|-------------|
+| FIX-1 | fix | Исправить дефект А: неверный маппинг полей | дефект А исправлен | — |
+| FIX-2 | fix | Исправить дефект Б: отсутствие валидации | дефект Б исправлен | — |
+| QA-1 | qa | Smoke-тест: 6 TC | smoke 6 TC пройден | FIX-1, FIX-2 |
+| IMPL-1 | impl | Обновить конфигурацию CI | pipeline зелёный | — |
+
+**Почему Задача 1 → 3 тикета (не 1:1):** задача содержала 3 независимых объекта работы (маппинг полей, валидация, smoke suite) с тремя независимыми DoD-пунктами — все 6 проверок атомарности дали FAIL при попытке создать один тикет.
+
+---
+
+### Рекомендации для следующего плана (вне scope)
+
+*(нет задач, выходящих за рамки scope)*
+
+---
+
+```
+---RESULT---
+status: default
+ids_allocated_from:
+  FIX: 1
+  QA: 1
+  IMPL: 1
+tickets_created:
+  - FIX-1
+  - FIX-2
+  - QA-1
+  - IMPL-1
+---RESULT---
+```

package/src/skills/decompose-plan/tests/cases/TC-DECOMPOSE-PLAN-001/current/judge.json

@@ -0,0 +1,163 @@
+{
+  "per_model": {
+    "claude-sonnet": {
+      "pass_count": 3,
+      "total": 3,
+      "trials": [
+        {
+          "trial": 1,
+          "score": 5,
+          "passed": true
+        },
+        {
+          "trial": 2,
+          "score": 5,
+          "passed": true
+        },
+        {
+          "trial": 3,
+          "score": 5,
+          "passed": true
+        }
+      ]
+    },
+    "kilo-deepseek": {
+      "pass_count": 3,
+      "total": 3,
+      "trials": [
+        {
+          "trial": 1,
+          "score": 4,
+          "passed": true
+        },
+        {
+          "trial": 2,
+          "score": 4,
+          "passed": true
+        },
+        {
+          "trial": 3,
+          "score": 5,
+          "passed": true
+        }
+      ]
+    },
+    "kilo-minimax": {
+      "pass_count": 2,
+      "total": 3,
+      "trials": [
+        {
+          "trial": 1,
+          "score": 1,
+          "passed": false
+        },
+        {
+          "trial": 2,
+          "score": 5,
+          "passed": true
+        },
+        {
+          "trial": 3,
+          "score": 5,
+          "passed": true
+        }
+      ]
+    },
+    "kilo-glm": {
+      "pass_count": 3,
+      "total": 3,
+      "trials": [
+        {
+          "trial": 1,
+          "score": 5,
+          "passed": true
+        },
+        {
+          "trial": 2,
+          "score": 5,
+          "passed": true
+        },
+        {
+          "trial": 3,
+          "score": 5,
+          "passed": true
+        }
+      ]
+    }
+  },
+  "rubric_scores": [
+    {
+      "agentId": "claude-sonnet",
+      "trial": 1,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "claude-sonnet",
+      "trial": 2,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "claude-sonnet",
+      "trial": 3,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-deepseek",
+      "trial": 1,
+      "score": 4,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-deepseek",
+      "trial": 2,
+      "score": 4,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-deepseek",
+      "trial": 3,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-minimax",
+      "trial": 1,
+      "score": 1,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-minimax",
+      "trial": 2,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-minimax",
+      "trial": 3,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-glm",
+      "trial": 1,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-glm",
+      "trial": 2,
+      "score": 5,
+      "errored": false
+    },
+    {
+      "agentId": "kilo-glm",
+      "trial": 3,
+      "score": 5,
+      "errored": false
+    }
+  ],
+  "timestamp": "2026-04-20T11:32:04.970Z"
+}

package/src/skills/decompose-plan/tests/cases/TC-DECOMPOSE-PLAN-001/current/kilo-deepseek/trial-1.md

@@ -0,0 +1,20 @@
+**Декомпозиция плана завершена.**
+
+Создано 4 тикета в `.workflow/tickets/backlog/`:
+
+| ID | Название | Тип | Исполнитель | Зависимости |
+|----|----------|-----|-------------|-------------|
+| IMPL‑001 | Исправить дефект А: неверный маппинг полей | impl | agent | — |
+| IMPL‑002 | Исправить дефект Б: отсутствие валидации | impl | agent | — |
+| QA‑001 | Провести smoke‑тест (6 TC) после исправления дефектов А и Б | qa | human | IMPL‑001, IMPL‑002 |
+| IMPL‑003 | Обновить конфигурацию CI | impl | agent | — |
+
+Каждый тикет прошёл чеклист атомарности (6 проверок) и scope‑guard. Дубликаты не обнаружены.
+
+---
+**Рекомендации для следующего плана (вне scope)**  
+Нет задач вне scope текущего плана.
+
+---RESULT---
+status: default
+---RESULT---