⚖️ Påvis, at hver gennemført rettelse holder, ved at læse koden og holde den op mod det, harden registrerede, og afslut derefter dem, der gør.

Brug

Verificér alt

/lagune-verify

Angiv stier

/lagune-verify src/routes/upload.ts

Efter prioritet

/lagune-verify Critical og High

Sådan virker det

Den læser koden på hvert sted, harden registrerede, og bekræfter, at den virkelig svarer til påstanden. Beviset er netop den konfrontation, koden op mod loggen. Hver kontrol får én af tre afgørelser:

Afgørelse	Betydning
✅ Risk closed	Koden gør præcis det, loggen påstår.
❌ Risk not closed	Kontrollen er stadig åben. Verify sender dig tilbage til harden.
❓ Cannot tell from the code	Belægget kan ikke ses i koden alene.

En risiko, der er påvist lukket, bliver derefter taget ud af kæden, med din bekræftelse. For eksempel:

• Filupload (afgørelse: ✅ Risk closed)
  • Sådan blev det påvist: læste upload-handleren og så, at den bestemmer filens reelle type ud fra indholdet, håndhæver en størrelsesgrænse og afviser alt andet, præcis som loggen påstår.
  • Belæg: funktionen handleUpload, som bestemmer den reelle filtype ud fra indholdet.

Hvis risikoen ikke er lukket, siger verify det ligeud og sender dig tilbage til /lagune-harden, da rettelsen stadig er åben.

tip

• Den bygger udelukkende på hærdningsloggen.
• Den læser kun din kode for at vurdere den og svækker aldrig en kontrol eller omskriver koden for at få en afgørelse igennem.
• Når du kører den igen, bliver afgørelserne afstemt: forældede afgørelser forsvinder, og en risiko, der ikke længere er lukket, bliver markeret igen.
• Når en risiko er påvist lukket, spørger den én gang og fjerner derefter fundet fra hele kæden (detect, plan, harden og sporingen).
• Den skriver ingen rapport af sin egen: hver afgørelse står i blokken for sin kontrol i .lagune/memory/harden.md, hvor harden læser den ved næste kørsel.

Afhænger af harden

Verify bygger på /lagune-harden.

Cyklussen afsluttes

Når alt inden for omfanget er taget ud, er cyklussen i hvile. Den åbner kun igen, når koden ændrer sig. Sikkerhed kan afsluttes, så workflowet har en sluttilstand, ikke en endeløs løkke.

Ofte stillede spørgsmål

/lagune-verify læser koden og holder den op mod det, harden registrerede, og giver én af tre afgørelser: Risk closed, Risk not closed eller Cannot tell from the code.

Når verify påviser, at en risiko er lukket, bliver fundet taget ud: fjernet fra hele kæden, med din bekræftelse, så det ikke længere bliver behandlet igen.

Ja. SDH kan afsluttes: et fund, der er påvist lukket, bliver taget ud, så workflowet har en sluttilstand, ikke en endeløs løkke.