Test: expectReproduces heet "the strongest check" maar is blind voor een ontbrekend veld #1811

New issue

Closed

opened 2026-08-27 13:24:53 +00:00 by brenno · 0 comments

brenno commented

2026-08-27 13:24:53 +00:00

Owner

Wat er misgaat

expectReproduces in test/collab_deck_diff_test.dart staat in het bestand
omschreven als "the strongest check":

The strongest check: after applying the diff, a fresh diff must be empty —
meaning after was reproduced exactly on the whole syncable surface.

Voor de klasse fout die #1803 was, bewijst hij niets. De helper diffs het
resultaat opnieuw, en een veld dat de diff niet kent is in béíde richtingen
onzichtbaar: de hervergelijking komt leeg terug terwijl de waarde nooit is
overgekomen. De helper zou dus groen blijven op precies de bug waarvoor je hem
zou willen inzetten.

Dat is erger dan een test die ontbreekt. Een ontbrekende test ziet iedereen; een
test die "the strongest check" heet en structureel blind is, laat de volgende
lezer denken dat er iets bewaakt wordt.

Waarom het klein maar de moeite waard is

Elke bestaande aanroep van expectReproduces is nog steeds nuttig — hij vangt
wél verkeerde volgorde, gemiste invoegingen en verkeerd toegepaste waarden. Het
is de belofte in de doc-comment die te ruim is, en de reikwijdte die
onuitgesproken blijft.

Voorstel

De doc-comment eerlijk maken: hij toetst de oppervlakte die de diff kent, en
is per definitie blind voor alles daarbuiten. Eén zin, en de val is weg.
De helper uitbreiden met een tweede been dat de dia's ná toepassing veld voor
veld vergelijkt over SlideField.values — dan dekt hij wat hij belooft binnen
de oppervlakte, en blijft de blindheid beperkt tot wat de poort uit #1803
inmiddels apart bewaakt.
Overwegen om hem óók de niet-gesynchroniseerde velden te laten noemen wanneer
die verschillen, als waarschuwing in plaats van als fout. Dat maakt van de
blinde vlek iets zichtbaars in plaats van iets afwezigs.

Herkomst

#1803. De regressietest daar leest bewust de wáárde na toepassing in plaats van
op deze helper te leunen, met die reden erbij in het commentaar.

**Wat er misgaat** `expectReproduces` in `test/collab_deck_diff_test.dart` staat in het bestand omschreven als "the strongest check": > The strongest check: after applying the diff, a fresh diff must be empty — > meaning `after` was reproduced exactly on the whole syncable surface. Voor de klasse fout die #1803 was, bewijst hij niets. De helper diffs het resultaat opnieuw, en een veld dat de diff niet kent is in **béíde** richtingen onzichtbaar: de hervergelijking komt leeg terug terwijl de waarde nooit is overgekomen. De helper zou dus groen blijven op precies de bug waarvoor je hem zou willen inzetten. Dat is erger dan een test die ontbreekt. Een ontbrekende test ziet iedereen; een test die "the strongest check" heet en structureel blind is, laat de volgende lezer denken dat er iets bewaakt wordt. **Waarom het klein maar de moeite waard is** Elke bestaande aanroep van `expectReproduces` is nog steeds nuttig — hij vangt wél verkeerde volgorde, gemiste invoegingen en verkeerd toegepaste waarden. Het is de *belofte in de doc-comment* die te ruim is, en de reikwijdte die onuitgesproken blijft. **Voorstel** 1. De doc-comment eerlijk maken: hij toetst de oppervlakte die de diff kent, en is per definitie blind voor alles daarbuiten. Eén zin, en de val is weg. 2. De helper uitbreiden met een tweede been dat de dia's ná toepassing veld voor veld vergelijkt over `SlideField.values` — dan dekt hij wat hij belooft binnen de oppervlakte, en blijft de blindheid beperkt tot wat de poort uit #1803 inmiddels apart bewaakt. 3. Overwegen om hem óók de niet-gesynchroniseerde velden te laten noemen wanneer die verschillen, als waarschuwing in plaats van als fout. Dat maakt van de blinde vlek iets zichtbaars in plaats van iets afwezigs. **Herkomst** #1803. De regressietest daar leest bewust de wáárde na toepassing in plaats van op deze helper te leunen, met die reden erbij in het commentaar.

brenno added the

bug

label

2026-08-27 13:24:53 +00:00

brenno referenced this issue

2026-08-27 13:25:03 +00:00

Samenwerken: elf dia-velden komen bij invoegen wel over, bij bewerken niet #1808

brenno referenced this issue

2026-08-27 13:25:19 +00:00

Samenwerken: een gewijzigde paneelzoom reist niet mee, en niets bewaakt die richting #1803

brenno added the

in-progress