docs(invarianter): the five other types, as the outboxes actually lie [skip-docs]

Third writing of the same sentence, third time untrue. Measured in this working tree, by the arm
committed red before this one: FOUR of the five types outside the measured seven do not sit in an
outbox that also holds a coverage -- and for `plan-review` that says nothing at all, because the
type has 0 artefacts in the repo. `multibase` DOES sit there, in four outboxes
(`p17b-multibase/`, `p20-stress/`, `p21-stress/`, `p22-stress/`, all `lindaas`), and each of those
four holds TWO coverage files. That is why they fall outside the "exactly one coverage" rule the
union of seven is counted over -- and the same fact is the proof that seven is a FLOOR and not a
ceiling, which is the argument the false sentence was trying to make.

The comment above `_RUN_LEVEL_TYPES` carried the same claim in English and is corrected with it.
The arm now counts the outboxes and holds the ledger's row to the count, so a fourth writing is a
failing test rather than a review finding.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

docs/invarianter.md

@@ -3146,9 +3146,16 @@
   igjen SJU artefakt-typer — ikke «en ekte kjøring», som lovet mer enn målingen (RETTET 19.09:
   `run.py` kaller TI av `outbox.py`s ti skrivere, så `exploration`, `prepass`, `multibase`,
   `plan-review` og `proposal-reviews` er fem typer til, skrevet når flaggene som lager dem er
-  gitt; ingen av dem ligger i dag i en utboks som også har coverage. Sju er gulvet målingen gir,
-  ikke et tak — og binderen kopierer på glob, ikke på denne lista, så en type utenfor den bæres
-  uansett). Talt over de fire arkiverte kjøringene sjekkpunktet
+  gitt. FIRE av de fem ligger ikke i en utboks som også har coverage — og for `plan-review` sier
+  det ingenting, for den typen finnes ikke som artefakt i repoet i det hele tatt (0 filer).
+  `multibase` GJØR det: fire utbokser (`p17b-multibase/`, `p20-stress/`, `p21-stress/`,
+  `p22-stress/`, alle `lindaas`) har både multibase og coverage, og hver av dem har to
+  coverage-filer. Det er derfor de faller utenfor «nøyaktig én coverage»-regelen unionen telles
+  over — og samtidig beviset på at sju er GULVET målingen gir, ikke et tak. Binderen kopierer
+  dessuten på glob, ikke på denne lista, så en type utenfor den bæres uansett). **Setningen er
+  skrevet om TRE ganger og var usann hver gang; den er nå pinnet** av en arm som teller utboksene
+  og krever at raden sier det tellingen sier
+  (`test_the_ledgers_claim_about_the_five_other_types_is_what_the_repo_measures`). Talt over de fire arkiverte kjøringene sjekkpunktet
   leste (`tunnel-hauglia-2027` -04/-06/-07/-08; hver `<run_id>-<rest>.json` typet som
   `proposal`/`outcome` når `<rest>` ender der, ellers `<rest>` selv): `-06`, `-07` og `-08` har
   alle sju (15 filer hver), `-04` har seks (12 filer, ingen `parse-failures` — den skrives bare når