Перейти к содержимому
Moira Documentation

Паттерн верификации шагов

Назначение

Гарантирует, что каждый шаг workflow действительно завершён перед переходом к следующему. Предотвращает пропуск незавершённой работы и требует доказательств выполнения.

Структура

[execute-step] → [verify-step] → verified=yes → [next-step]
                              → verified=no  → [retry-or-escalate]

Реализация

Нода выполнения

{
  "type": "agent-directive",
  "id": "execute-step",
  "directive": "Implement {{current_step_name}}:\n{{current_step_action}}",
  "completionCondition": "Step implementation complete",
  "inputSchema": {
    "type": "object",
    "properties": {
      "implementation_summary": { "type": "string" }
    },
    "required": ["implementation_summary"]
  },
  "connections": { "success": "verify-step" }
}

Нода верификации

{
  "type": "agent-directive",
  "id": "verify-step",
  "directive": "Verify step {{current_step_name}} completed:\n- Expected: {{expected_output}}\n- Check actual result matches expected\n- Provide evidence",
  "inputSchema": {
    "type": "object",
    "properties": {
      "step_verified": { "type": "string", "enum": ["yes", "no"] },
      "verification_evidence": { "type": "string" }
    },
    "required": ["step_verified", "verification_evidence"]
  },
  "connections": { "success": "check-verification" }
}

Требуйте verification_evidence, чтобы агенты не заявляли о завершении без доказательств.

Нода проверки

{
  "type": "condition",
  "id": "check-verification",
  "condition": {
    "operator": "eq",
    "left": { "contextPath": "step_verified" },
    "right": "yes"
  },
  "connections": {
    "true": "proceed-to-next",
    "false": "handle-failure"
  }
}

Требования к доказательствам

Укажите, что считается доказательством:

{
  "directive": "Verify implementation. Evidence must include:\n- Test command output (npm test results)\n- API response (curl output)\n- File diff (git diff)\n- Screenshot (for UI changes)"
}

Свидетельство соответствует роду утверждения

Утверждение о факте — команда выполнилась, тест прошёл, ссылка открывается, файл содержит этот текст — подтверждается выводом инструмента или самим артефактом. Утверждение-суждение — структура связна, довод держится, результат годится своему читателю — подтверждается самим рассуждением, и ничем другим из доступного.

Смешение этих двух родов даёт сбой в обе стороны. Координата, предъявленная вместо суждения, — номер строки, сетка покрытия, доказательство прочтения, балл из десяти — это адрес, а не оценка: она говорит, где смотреть, но не о том, годится ли увиденное, и остаётся зелёной при плохой работе. Суждение, предъявленное вместо факта, — мнение там, где есть проверка.

Поэтому шаг требует вывода инструмента там, где он возможен, требует прозы там, где невозможен, и не позволяет числу подменить чтение, которого никто не выполнил.

Шаг, гейт которого выполним только числом, число и получит. Если существенное свойство качественное, назовите, как оно судится, вместо того, что оно должно превысить, — см. Фиксированная оценка семантического качества.

Контекстные переменные шага

Храните метаданные шага в контексте:

{
  "variableRegistry": {
    "current_step_index": { "type": "number", "description": "Номер текущего шага", "default": 1 },
    "current_step_name": {
      "type": "string",
      "description": "Название текущего шага",
      "default": "Step 1"
    },
    "current_step_action": {
      "type": "string",
      "description": "Что делает текущий шаг",
      "default": "Implement feature X"
    },
    "expected_output": {
      "type": "string",
      "description": "Ожидаемый результат текущего шага",
      "default": "Feature X works with tests passing"
    }
  }
}

Используйте expression ноды для обновления:

{
  "type": "expression",
  "id": "increment-step",
  "expressions": ["current_step_index = current_step_index + 1"]
}

Реальный пример

Из development-flow.json:

{
  "id": "verify-step-implementation",
  "directive": "Verify step {{current_step_index}} ({{current_step_name}}) implementation.\n\nExpected outcome: {{expected_outcome}}\n\nVerification checklist:\n- Functionality works as expected\n- Tests pass (if applicable)\n- No regressions introduced\n\nProvide concrete evidence for each claim.",
  "inputSchema": {
    "properties": {
      "step_verified": { "type": "string", "enum": ["yes", "no"] },
      "verification_evidence": { "type": "string" },
      "issues_found": { "type": "string" }
    },
    "required": ["step_verified", "verification_evidence"]
  }
}

Обработка неудачной верификации

При неудаче — повторная попытка или эскалация:

{
  "type": "condition",
  "id": "check-retry-limit",
  "condition": {
    "operator": "lt",
    "left": { "contextPath": "current_iteration" },
    "right": 3
  },
  "connections": {
    "true": "fix-and-retry",
    "false": "escalate-to-user"
  }
}

Связанные паттерны