docs(plan): record the operator's decision that gap 7 stands with a measured reason

docs/PLAN.md

@@ -87,6 +87,8 @@ nevnerne, og vakten må ha kjørt de siste 7 dagene.
 ## V.4 Hva som er avgjort
 
 - Juli-commitene med øktlenker blir stående (operatøren 01.11).
+- Et hull er lukket bare når regelen fanger klassen, ikke bare testsaken: hull 7 med
+  2 av 5 omformuleringer får målt begrunnelse (operatøren 01.11, § V.6 rad 2).
 - Vakten gjenbrukes fra llm-security og skrives ikke på nytt i Python. Den er
   vedlikeholdsverktøy, ikke en del av pakken, så stdlib-regelen for kjernen gjelder
   ikke.
@@ -177,9 +179,9 @@ Funn som styrer byggingen:
   opplastingsgaten bare fordi regelen ikke rører den. Hull 5 gir 0 på
   vaktpopulasjonene bare fordi de ikke har bilder, og en måling uten positiv kontroll
   teller ikke.
-- **Hull 7 er et tolkningsspørsmål for operatøren:** om en regel som fanger testsaken
-  uten alarmer, men bommer på 3 av 5 omformuleringer, er «lukket». Anbefaling: nei.
-  Den kjenner én setning, ikke klassen.
+- **Hull 7 telles ikke som lukket** (operatøren 01.11: «OK til din anbefaling»). En
+  regel som fanger testsaken uten alarmer, men bommer på 3 av 5 omformuleringer,
+  kjenner én setning, ikke klassen. Hullet får målt begrunnelse.
 
 **Rekkefølgen for økt 3 og utover:** 4 (dedup, billigst og 0 per konstruksjon) →
 1 (heks, 0 overflate) → 6 (kort ledd, strammes og måles igjen). De fire begrunnelsene