⚖️ Wykaż, że każda wdrożona poprawka działa, czytając kod i zestawiając go z tym, co zapisała faza harden, a potem zamknij te, które przejdą weryfikację.
Użycie
- Zweryfikuj wszystko
- Wskaż ścieżki
- Według priorytetu
/lagune-verify
/lagune-verify src/routes/upload.ts
/lagune-verify priorytet krytyczny i wysoki
Jak to działa
Faza verify czyta kod w każdym miejscu zapisanym przez fazę harden i potwierdza, że kod naprawdę odpowiada zapisanej deklaracji. Wykazaniem jest właśnie to zestawienie kodu z rejestrem. Każde zabezpieczenie dostaje jeden z trzech werdyktów:
| Werdykt | Znaczenie |
|---|---|
| ✅ Risk closed | Kod robi dokładnie to, co deklaruje rejestr. |
| ❌ Risk not closed | Zabezpieczenie wciąż jest otwarte. Verify odsyła cię z powrotem do harden. |
| ❓ Cannot tell from the code | Dowodu nie widać w samym kodzie. |
Ryzyko, którego zamknięcie wykazano, zostaje następnie, za twoim potwierdzeniem, wycofane z łańcucha. Na przykład:
- Przesyłanie plików (werdykt: ✅ Risk closed)
- Jak wykazano: verify przeczytała handler przesyłania i stwierdziła, że rozpoznaje on rzeczywisty typ pliku na podstawie jego zawartości, egzekwuje limit rozmiaru i odrzuca wszystko inne, dokładnie tak, jak deklaruje rejestr.
- Dowód: funkcja
handleUpload, która rozpoznaje rzeczywisty typ pliku na podstawie zawartości.
Jeśli ryzyko nie zostało zamknięte, verify mówi to wprost i odsyła cię z powrotem do polecenia /lagune-harden, bo poprawka wciąż jest otwarta.
- Faza opiera się w całości na rejestrze utwardzania.
- Czyta twój kod wyłącznie po to, aby go ocenić, i nigdy nie osłabia zabezpieczenia ani nie przepisuje kodu, żeby werdykt wypadł pozytywnie.
- Ponowne uruchomienie uzgadnia werdykty: nieaktualne znikają, a ryzyko, które przestało być zamknięte, zostaje ponownie zgłoszone.
- Gdy wykaże, że ryzyko jest zamknięte, pyta raz, a potem usuwa to ustalenie z całego łańcucha (detect, plan, harden i śledzenie).
- Nie pisze własnego raportu: każdy werdykt trafia do bloku swojego zabezpieczenia w pliku
.lagune/memory/harden.md, gdzie harden odczytuje go przy następnym uruchomieniu.
Verify opiera się na poleceniu /lagune-harden.
Cykl się zamyka
Gdy wszystko w zakresie zostanie wycofane, cykl przechodzi w stan spoczynku. Otwiera się ponownie dopiero wtedy, gdy zmieni się kod. Bezpieczeństwo jest możliwe do zamknięcia, więc przepływ pracy ma stan końcowy, a nie nieskończoną pętlę.
Najczęściej zadawane pytania
/lagune-verify czyta kod, zestawia go z tym, co zapisała faza harden, i zwraca jeden z trzech werdyktów: Risk closed, Risk not closed albo Cannot tell from the code.
Gdy verify wykaże, że ryzyko jest zamknięte, ustalenie zostaje wycofane: za twoim potwierdzeniem znika z całego łańcucha, więc nie jest już przetwarzane od nowa.
Tak. W SDH bezpieczeństwo jest możliwe do zamknięcia: ustalenie, którego zamknięcie wykazano, zostaje wycofane, więc przepływ pracy ma stan końcowy, a nie nieskończoną pętlę.