⚖️ Доведіть, що кожне застосоване виправлення діє, прочитавши код і зіставивши його з тим, що записала harden, а потім закрийте ті, що пройшли перевірку.
Використання
- Перевірити все
- Вказати шляхи
- За пріоритетом
/lagune-verify
/lagune-verify src/routes/upload.ts
/lagune-verify Critical і High
Як це працює
Фаза читає код у кожному місці, яке записала harden, і підтверджує, що він справді відповідає заявленому. Доведенням є саме це зіставлення коду з журналом. Кожен засіб захисту отримує один із трьох вердиктів:
| Вердикт | Значення |
|---|---|
| ✅ Risk closed | Код робить саме те, що заявлено в журналі. |
| ❌ Risk not closed | Засіб захисту досі відкритий. Verify повертає вас до harden. |
| ❓ Cannot tell from the code | Доказ неможливо побачити лише з коду. |
Ризик, закриття якого доведено, потім знімається з обліку в ланцюжку за вашим підтвердженням. Наприклад:
- Завантаження файлів (Вердикт: ✅ Risk closed)
- Як доведено: прочитано обробник завантаження й підтверджено, що він визначає справжній тип файлу за вмістом, обмежує розмір і відхиляє все інше, саме як заявлено в журналі.
- Доказ: функція
handleUpload, яка визначає справжній тип файлу за вмістом.
Якщо ризик не закрито, verify прямо про це каже й повертає вас до /lagune-harden, бо виправлення досі відкрите.
- Фаза повністю спирається на журнал посилення захисту.
- Вона лише читає ваш код, щоб оцінити його, і ніколи не послаблює засіб захисту й не переписує код, щоб вердикт пройшов.
- Повторний запуск узгоджує вердикти: застарілі зникають, а ризик, який більше не закрито, знову позначається.
- Коли закриття ризику доведено, вона один раз питає, а потім прибирає цю знахідку з усього ланцюжка (detect, plan, harden і відстеження).
- Вона не пише власного звіту: кожен вердикт зберігається в блоці свого засобу захисту в
.lagune/memory/harden.md, де harden прочитає його під час наступного запуску.
Verify спирається на /lagune-harden.
Цикл закривається
Коли все в межах обсягу знято з обліку, цикл переходить у стан спокою. Він відкривається знову, лише коли змінюється код. Безпеку можна закрити, тож процес має кінцевий стан, а не нескінченний цикл.
Часті запитання
/lagune-verify читає код і зіставляє його з тим, що записала harden, повертаючи один із трьох вердиктів: Risk closed, Risk not closed або Cannot tell from the code.
Коли verify доводить, що ризик закрито, знахідку знімають з обліку: прибирають з усього ланцюжка за вашим підтвердженням, щоб її більше не обробляли повторно.
Так. У SDH безпеку можна закрити: знахідку, закриття якої доведено, знімають з обліку, тож процес має кінцевий стан, а не нескінченний цикл.