⚖️ Dimostra che ogni correzione applicata regge, leggendo il codice e confrontandolo con ciò che harden ha registrato, poi chiudi quelle che reggono.
Come usarlo
- Verifica tutto
- Indica i percorsi
- Per priorità
/lagune-verify
/lagune-verify src/routes/upload.ts
/lagune-verify priorità critica e alta
Come funziona
Legge il codice in ogni punto registrato da harden e conferma che corrisponda davvero a quanto dichiarato. La prova è proprio quel confronto, codice contro registro. Ogni controllo riceve uno di tre verdetti:
| Verdetto | Significato |
|---|---|
| ✅ Risk closed | Il codice fa esattamente ciò che dichiara il registro. |
| ❌ Risk not closed | Il controllo è ancora aperto. Verify ti rimanda a harden. |
| ❓ Cannot tell from the code | L'evidenza non è visibile nel solo codice. |
Un rischio dimostrato chiuso viene poi archiviato e tolto dalla catena, con la tua conferma. Per esempio:
- Caricamento di file (Verdetto: ✅ Risk closed)
- Come è stato dimostrato: ha letto l'handler del caricamento e ha visto che rileva il tipo reale del file dal contenuto, impone un limite di dimensione e rifiuta tutto il resto, esattamente come dichiara il registro.
- Evidenza: la funzione
handleUpload, che rileva il tipo reale del file dal contenuto.
Se il rischio non è chiuso, verify lo dice chiaramente e ti rimanda a /lagune-harden, perché la correzione è ancora aperta.
- Si basa interamente sul registro di hardening.
- Legge il tuo codice solo per giudicarlo, e non indebolisce mai un controllo né riscrive il codice per far passare un verdetto.
- Eseguirlo di nuovo riconcilia i verdetti: quelli superati escono, e un rischio che non è più chiuso viene segnalato di nuovo.
- Quando un rischio è dimostrato chiuso, chiede una volta, poi rimuove quel rilievo da tutta la catena (detect, plan, harden e tracciamento).
- Non scrive alcun report proprio: ogni verdetto si trova nel blocco del suo controllo in
.lagune/memory/harden.md, dove harden lo legge all'esecuzione successiva.
Verify si basa su /lagune-harden.
Il ciclo si chiude
Quando tutto ciò che rientra nell'ambito è archiviato, il ciclo è a riposo. Si riapre solo quando il codice cambia. La sicurezza si può chiudere, quindi il flusso ha uno stato finale, non un ciclo infinito.
Domande frequenti
/lagune-verify legge il codice e lo confronta con ciò che harden ha registrato, restituendo uno di tre verdetti: Risk closed, Risk not closed o Cannot tell from the code.
Quando verify dimostra che un rischio è chiuso, il rilievo viene archiviato: rimosso da tutta la catena, con la tua conferma, così smette di essere rielaborato.
Sì. SDH si può chiudere: un rilievo dimostrato chiuso viene archiviato, quindi il flusso ha uno stato finale, non un ciclo infinito.