# /lagune-verify: докажите, что меры защиты действуют

> Докажите, что каждое примененное исправление действует, и закройте те, что прошли проверку.

Канонический URL: https://lagune.ai/ru-RU/docs/commands/verify
Язык: ru-RU
Оригинал: https://lagune.ai/docs/commands/verify
Последнее обновление: 2026-11-03

⚖️ Докажите, что каждое примененное исправление действует, прочитав код и сопоставив его с тем, что зафиксировала harden, а затем закройте те, что прошли проверку.

## Использование

**Проверить все**

```prompt
/lagune-verify
```

**Указать пути**

```prompt
/lagune-verify src/routes/upload.ts
```

**По приоритету**

```prompt
/lagune-verify критический и высокий приоритет
```

## Как это работает

Фаза читает код в каждом месте, которое зафиксировала harden, и подтверждает, что он действительно соответствует заявленному. Доказательством служит само это сопоставление кода с журналом. Каждая мера защиты получает один из трех вердиктов:

| Вердикт                      | Значение                                                             |
| ---------------------------- | -------------------------------------------------------------------- |
| ✅ Risk closed               | Код делает ровно то, что заявлено в журнале.                         |
| ❌ Risk not closed           | Мера защиты все еще открыта. Verify отправляет вас обратно к harden. |
| ❓ Cannot tell from the code | Свидетельств не видно в одном только коде.                           |

Риск, доказанно закрытый, затем снимается с учета во всей цепочке с вашего подтверждения. Например:

- **Загрузка файлов** (вердикт: **✅ Risk closed**)
  - _Как доказано:_ прочитан обработчик загрузки, и видно, что он определяет настоящий тип файла по содержимому, ограничивает размер и отклоняет все остальное, ровно как заявлено в журнале.
  - _Свидетельство:_ функция `handleUpload`, которая определяет настоящий тип файла по содержимому.

Если риск не закрыт, verify прямо говорит об этом и отправляет вас обратно к [`/lagune-harden`](https://lagune.ai/ru-RU/docs/commands/harden), поскольку исправление все еще открыто.

**Совет**

- Фаза целиком опирается на журнал усиления защиты.
- Она читает код только для того, чтобы вынести суждение, и никогда не ослабляет меру защиты и не переписывает код, чтобы вердикт прошел.
- Повторный запуск сверяет вердикты: устаревшие уходят, а риск, который больше не закрыт, снова помечается.
- Когда риск доказанно закрыт, фаза один раз спрашивает подтверждение, а затем убирает эту находку из всей цепочки (detect, plan, harden и отслеживание).
- Она не пишет собственного отчета: каждый вердикт хранится в блоке своей меры защиты в `.lagune/memory/harden.md`, где harden прочитает его при следующем запуске.

**Зависит от harden**

Verify опирается на [`/lagune-harden`](https://lagune.ai/ru-RU/docs/commands/harden).

## Цикл закрывается

Когда все в пределах охвата снято с учета, цикл приходит в состояние покоя. Он открывается снова, только когда меняется код. Безопасность закрываема, поэтому у процесса есть конечное состояние, а не бесконечный цикл.

## Частые вопросы

### Как Lagune проверяет исправление?

/lagune-verify читает код, сопоставляет его с тем, что зафиксировала harden, и выносит один из трех вердиктов: Risk closed, Risk not closed или Cannot tell from the code.

### Что значит снять находку с учета?

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

### Может ли работа по безопасности когда-нибудь закончиться?

Да. SDH закрываем: доказанно закрытая находка снимается с учета, поэтому у процесса есть конечное состояние, а не бесконечный цикл.
