# /lagune-verify: доведіть, що засоби захисту діють

> Доведіть, що кожне застосоване виправлення діє, а потім закрийте ті, що пройшли перевірку.

Канонічна URL-адреса: https://lagune.ai/uk-UA/docs/commands/verify
Мова: uk-UA
Оригінал: https://lagune.ai/docs/commands/verify
Останнє оновлення: 2026-11-03

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

## Використання

**Перевірити все**

```prompt
/lagune-verify
```

**Вказати шляхи**

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

**За пріоритетом**

```prompt
/lagune-verify Critical і High
```

## Як це працює

Фаза читає код у кожному місці, яке записала harden, і підтверджує, що він справді відповідає заявленому. Доведенням є саме це зіставлення коду з журналом. Кожен засіб захисту отримує один із трьох вердиктів:

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

Ризик, закриття якого доведено, потім знімається з обліку в ланцюжку за вашим підтвердженням. Наприклад:

- **Завантаження файлів** (Вердикт: **✅ Risk closed**)
  - _Як доведено:_ прочитано обробник завантаження й підтверджено, що він визначає справжній тип файлу за вмістом, обмежує розмір і відхиляє все інше, саме як заявлено в журналі.
  - _Доказ:_ функція `handleUpload`, яка визначає справжній тип файлу за вмістом.

Якщо ризик не закрито, verify прямо про це каже й повертає вас до [`/lagune-harden`](https://lagune.ai/uk-UA/docs/commands/harden), бо виправлення досі відкрите.

**Порада**

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

**Залежить від harden**

Verify спирається на [`/lagune-harden`](https://lagune.ai/uk-UA/docs/commands/harden).

## Цикл закривається

Коли все в межах обсягу знято з обліку, цикл переходить у стан спокою. Він відкривається знову, лише коли змінюється код. Безпеку можна закрити, тож процес має кінцевий стан, а не нескінченний цикл.

## Часті запитання

### Як Lagune перевіряє виправлення?

/lagune-verify читає код і зіставляє його з тим, що записала harden, повертаючи один із трьох вердиктів: Risk closed, Risk not closed або Cannot tell from the code.

### Що означає зняти з обліку?

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

### Чи можна колись завершити роботу з безпеки?

Так. У SDH безпеку можна закрити: знахідку, закриття якої доведено, знімають з обліку, тож процес має кінцевий стан, а не нескінченний цикл.