⚖️ Докажите, что каждое примененное исправление действует, прочитав код и сопоставив его с тем, что зафиксировала harden, а затем закройте те, что прошли проверку.
Использование
- Проверить все
- Указать пути
- По приоритету
/lagune-verify
/lagune-verify src/routes/upload.ts
/lagune-verify критический и высокий приоритет
Как это работает
Фаза читает код в каждом месте, которое зафиксировала 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 закрываем: доказанно закрытая находка снимается с учета, поэтому у процесса есть конечное состояние, а не бесконечный цикл.