⚖️ Demuestra que cada corrección aplicada se sostiene leyendo el código y contrastándolo con lo que registró harden, y cierra las que superen la prueba.
Cómo usarlo
- Verificar todo
- Indicar rutas
- Por prioridad
/lagune-verify
/lagune-verify src/routes/upload.ts
/lagune-verify prioridad crítica y alta
Cómo funciona
Lee el código en cada punto que registró harden y confirma que de verdad se corresponde con lo que se afirma. La prueba es ese contraste, el código frente al registro. Cada control recibe uno de estos tres veredictos:
| Veredicto | Significado |
|---|---|
| ✅ Risk closed | El código hace exactamente lo que afirma el registro. |
| ❌ Risk not closed | El control sigue abierto. Verify te devuelve a harden. |
| ❓ Cannot tell from the code | La evidencia no se ve solo con el código. |
Después, con tu confirmación, el riesgo que se demuestra cerrado se da de baja de la cadena. Por ejemplo:
- Subida de archivos (Veredicto: ✅ Risk closed)
- Cómo se ha demostrado: se ha leído el handler de subida y se ha comprobado que detecta el tipo real del archivo a partir de su contenido, impone un límite de tamaño y rechaza todo lo demás, exactamente como afirma el registro.
- Evidencia: la función
handleUpload, que detecta el tipo real del archivo a partir de su contenido.
Si el riesgo no está cerrado, verify lo dice con claridad y te devuelve a /lagune-harden, porque la corrección sigue abierta.
- Se basa por completo en el registro del bastionado.
- Solo lee tu código para juzgarlo, y nunca debilita un control ni reescribe el código para que un veredicto salga favorable.
- Volver a ejecutarlo concilia los veredictos: salen los que han quedado obsoletos, y un riesgo que ya no está cerrado se vuelve a señalar.
- Cuando se demuestra que un riesgo está cerrado, pregunta una vez y después elimina ese hallazgo de toda la cadena (detect, plan, harden y el seguimiento).
- No escribe ningún informe propio: cada veredicto queda en el bloque de su control en
.lagune/memory/harden.md, donde harden lo lee en la siguiente ejecución.
Verify se basa en /lagune-harden.
El ciclo se cierra
Cuando todo lo que entra en el alcance se ha dado de baja, el ciclo queda en reposo, y solo se reabre cuando cambia el código. La seguridad se puede cerrar, así que el flujo tiene un estado final, no un bucle sin fin.
Preguntas frecuentes
/lagune-verify lee el código y lo contrasta con lo que registró harden, y devuelve uno de tres veredictos: Risk closed, Risk not closed o Cannot tell from the code.
Cuando verify demuestra que un riesgo está cerrado, el hallazgo se da de baja: se elimina de toda la cadena, con tu confirmación, para que deje de procesarse una y otra vez.
Sí. En SDH la seguridad se puede cerrar: un hallazgo que se demuestra cerrado se da de baja, así que el flujo tiene un estado final, no un bucle sin fin.