fix(privacy): een terzijdegelegde bevinding blokkeert de export niet meer (#740) #745

Merged

brenno merged 1 commit from fix/terzijdelegging-exportpoort-740 into main 2026-07-23 13:08:12 +00:00

Conversation 0 Commits 1 Files changed 6 +235 -16

brenno commented 2026-07-23 13:08:05 +00:00

Owner

Copy link

Mijn eigen fout uit #651, en van een leerzame soort.

Het filter voor terzijdegelegde bevindingen zette ik in de paneelprovider. De exportpoort leest diezelfde bevindingen langs een andere weg, wist van niets, en telde ze nog als onafgehandeld — dus onderbrak de export op iets dat het paneel niet meer toonde. Ik repareerde één lezer terwijl er twee waren.

De reparatie is niet "tel het als opgelost". De poort en de nalevingsteller stellen verschillende vragen, en beide antwoorden kloppen:

Vraagt	Terzijdelegging telt als
Exportpoort: heb je hiernaar gekeken?	gekeken — hij blokkeert niet
MIAUW EIS 1.1: hoeveel staat er in dit document?	staat er nog — hij telt

PrivacyExportSummary.setAside telt ze apart, níet opgeteld bij accepted: dat is een besluit over een hele dia en dit over één treffer.

Eén predicaat voor beide lezers. setAsidePredicate staat nu in de privacylaag, met de aantekening dat een derde lezer hem gebruikt in plaats van hem opnieuw te formuleren. summarisePrivacyForExport krijgt hem mee in plaats van zelf de scanner op te zoeken — die functie telt, zij scant niet.

4 tests; draai je de reparatie terug, dan vallen er drie om — inclusief de eigenschap zelf: wat het paneel toont is wat de poort tegenhoudt. Geen van de bestaande tests zag dit: de paneeltest keek of de melding verdween, de poorttests keken naar disposities, en het gat lag er tussenin.

FILE_FORMAT §6.7 draagt de uitkomst; dat stond daar als open vraag.

make check groen: 5995 tests.

Mijn eigen fout uit #651, en van een leerzame soort. Het filter voor terzijdegelegde bevindingen zette ik in de paneelprovider. De exportpoort leest diezelfde bevindingen langs een andere weg, wist van niets, en telde ze nog als onafgehandeld — dus onderbrak de export op iets dat het paneel niet meer toonde. **Ik repareerde één lezer terwijl er twee waren.** **De reparatie is niet "tel het als opgelost".** De poort en de nalevingsteller stellen verschillende vragen, en beide antwoorden kloppen: | Vraagt | Terzijdelegging telt als | | --- | --- | | Exportpoort: *heb je hiernaar gekeken?* | gekeken — hij blokkeert niet | | MIAUW EIS 1.1: *hoeveel staat er in dit document?* | staat er nog — hij telt | `PrivacyExportSummary.setAside` telt ze apart, níet opgeteld bij `accepted`: dat is een besluit over een hele dia en dit over één treffer. **Eén predicaat voor beide lezers.** `setAsidePredicate` staat nu in de privacylaag, met de aantekening dat een derde lezer hem gebruikt in plaats van hem opnieuw te formuleren. `summarisePrivacyForExport` krijgt hem mee in plaats van zelf de scanner op te zoeken — die functie telt, zij scant niet. 4 tests; draai je de reparatie terug, dan vallen er drie om — inclusief de eigenschap zelf: *wat het paneel toont is wat de poort tegenhoudt.* Geen van de bestaande tests zag dit: de paneeltest keek of de melding verdween, de poorttests keken naar disposities, en het gat lag er tussenin. FILE_FORMAT §6.7 draagt de uitkomst; dat stond daar als open vraag. `make check` groen: 5995 tests.

brenno added 1 commit 2026-07-23 13:08:06 +00:00

fix(privacy): een terzijdegelegde bevinding blokkeert de export niet meer ... 124d0cd04e

Het filter voor terzijdegelegde bevindingen zat alleen in de
paneelprovider. De exportpoort leest diezelfde bevindingen langs een
andere weg, wist van niets, en telde ze nog als onafgehandeld — dus
onderbrak de export op iets dat het paneel niet meer toonde. Blokkeren
zonder aanwijzing, en precies het soort melding dat mensen leren
wegklikken (#740).

**De reparatie is niet "tel het als opgelost".** De poort en de
nalevingsteller stellen verschillende vragen, en beide antwoorden kloppen:

  * de poort vraagt *heb je hiernaar gekeken* — en een terzijdelegging ís
    per definitie gekeken, dus hij blokkeert niet;
  * MIAUW EIS 1.1 vraagt *hoeveel staat er in dit document* — en daar mag
    een oordeel van de auteur niets aan veranderen.

`PrivacyExportSummary.setAside` telt ze daarom apart, níet opgeteld bij
`accepted`: dat is een besluit over een hele dia en dit over één treffer.

**Eén predicaat voor beide lezers.** `setAsidePredicate` staat nu in de
privacylaag en wordt door het paneel én de poort gebruikt. Dat is de
eigenlijke les: ik repareerde één lezer terwijl er twee waren. Er staat een
aantekening bij dat een derde lezer hem moet gebruiken en niet opnieuw
formuleren.

`summarisePrivacyForExport` krijgt het predicaat mee in plaats van zelf de
scanner op te zoeken — die functie telt, zij scant niet.

Vier tests, waarvan drie omvallen als je de reparatie terugdraait,
inclusief de eigenschap zelf: wat het paneel toont is wat de poort
tegenhoudt. Geen van de bestaande tests zag dit — de paneeltest keek of de
melding verdween, de poorttests keken naar disposities, en het gat lag er
tussenin.

FILE_FORMAT §6.7 draagt de uitkomst; dat was daar een open vraag.

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

brenno merged commit 0227eb7021 into main 2026-07-23 13:08:12 +00:00

brenno referenced this pull request from a commit 2026-07-23 13:08:13 +00:00

Merge pull request 'fix(privacy): een terzijdegelegde bevinding blokkeert de export niet meer (#740)' (#745) from fix/terzijdelegging-exportpoort-740 into main

brenno deleted branch fix/terzijdelegging-exportpoort-740 2026-07-23 13:08:14 +00:00

brenno referenced this pull request 2026-07-23 13:08:36 +00:00

[Bug] Een terzijdegelegde bevinding blokkeert de export zonder dat het paneel hem nog toont #740

brenno referenced this pull request 2026-07-23 22:07:07 +00:00

[Bug] Een terzijdegelegde bevinding blokkeert de export zonder dat het paneel hem nog toont #740

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

accepted

Assessed and will be built

  

bug

Something is broken

  

declined

Assessed and will not be built

  

docs

Documentation only

  

duplicate

Already tracked elsewhere

  

enhancement

New feature or improvement request

  

good first issue

Small, self-contained, and a good place to start

  

in-progress

Someone is working on this right now. Do not start it in parallel.

  

needs-info

Waiting for the reporter

  

privacy

Personal data can leak. Handled before anything else.

  

security

A weakness someone could use. Handled before anything else.

  

triage

Awaiting assessment

No labels

accepted

bug

declined

docs

duplicate

enhancement

good first issue

in-progress

needs-info

privacy

security

triage

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

LibreKAT/Ocideck!745

No description provided.