fix(poort): de vijftien versie-eisen moeten het eens zijn (#721) #724

Merged

brenno merged 1 commit from fix/pin-consistentie-721 into main

2026-07-23 11:03:57 +00:00

brenno commented

2026-07-23 11:03:50 +00:00

Owner

Wat openstond is de bewaking. Vijftien versie-eisen staan verspreid over zeven bestanden, en niets toetste dat ze het eens waren. make check-toolchain doet dat nu, met bestand én regelnummer bij een verschil.

Vet is een eis, code is een citaat. Dat onderscheid was nodig omdat diezelfde documenten hun eigen geschiedenis vertellen — "de machine draaide 3.44.2 terwijl drie documenten 3.44.6 noemden" — en die zin mag juist níét meebewegen met de pin, anders wordt hij onwaar. De patronen zoeken daarom op de eisvorm en nooit op een kaal getal. Een patroon dat niets meer vindt laat de poort ook vallen: een controle die niets zoekt is groen om de verkeerde reden.

Bijvangst, en het is mijn eigen fout van een uur eerder. Bij het optrekken van de pin in #723 liep mijn vervanging ook door twee zinnen heen die vertellen wat er vróéger stond. Die beweerden daarna dat de documenten 3.44.7 noemden op een moment dat ze dat niet deden. Hersteld — precies de fout die de nieuwe regel voorkomt.

21 tests op de poort, make check groen: 5928 tests.

Het tweede deel van #721. Het eerste — de pin liep achter op de bouwmachine — is met #723 al weg, alleen andersom dan het issue voorstelde: niet de machine omlaag maar de pin omhoog, naar de laatste stable. Wat openstond is de bewaking. Vijftien versie-eisen staan verspreid over zeven bestanden, en niets toetste dat ze het eens waren. `make check-toolchain` doet dat nu, met bestand én regelnummer bij een verschil. **Vet is een eis, `code` is een citaat.** Dat onderscheid was nodig omdat diezelfde documenten hun eigen geschiedenis vertellen — "de machine draaide 3.44.2 terwijl drie documenten 3.44.6 noemden" — en die zin mag juist níét meebewegen met de pin, anders wordt hij onwaar. De patronen zoeken daarom op de eisvorm en nooit op een kaal getal. Een patroon dat niets meer vindt laat de poort ook vallen: een controle die niets zoekt is groen om de verkeerde reden. **Bijvangst, en het is mijn eigen fout van een uur eerder.** Bij het optrekken van de pin in #723 liep mijn vervanging ook door twee zinnen heen die vertellen wat er vróéger stond. Die beweerden daarna dat de documenten 3.44.7 noemden op een moment dat ze dat niet deden. Hersteld — precies de fout die de nieuwe regel voorkomt. 21 tests op de poort, `make check` groen: 5928 tests.

brenno added 1 commit

2026-07-23 11:03:50 +00:00

fix(poort): de vijftien versie-eisen moeten het eens zijn (#721 ) 876ac43d73

De pin verhogen en één plek vergeten is een stille fout: de documentatie
belooft dan iets anders dan de machine doet. Dat is hoe #598 begon, en
niets keek ernaar — vijftien versie-eisen staan verspreid over zeven
bestanden (.tool-versions, README, CONTRIBUTING, BUILD.md, CHECKS.md en
beide workflows).

`make check-toolchain` toetst ze nu allemaal tegen `.tool-versions` en
noemt bij een verschil bestand én regelnummer.

**Vet is een eis, `code` is een citaat.** Dat onderscheid was nodig, want
diezelfde documenten vertellen ook hun eigen geschiedenis — "de machine
draaide 3.44.2 terwijl drie documenten 3.44.6 noemden" — en die zin mag
juist níét meebewegen met de pin, anders wordt hij onwaar. De patronen
zoeken daarom op de eisvorm (`**Flutter X**`, `flutter-version: X`) en
nooit op een kaal getal.

Een patroon dat niets meer vindt laat de poort ook vallen. Een controle
die niets zoekt is groen om de verkeerde reden, en dat is de manier
waarop dit soort bewaking in stilte ophoudt te bestaan.

**Twee historische zinnen hersteld.** Bij het optrekken van de pin naar
3.44.7 (#723) liep mijn vervanging ook door de zinnen die vertellen wat er
vróéger stond, in docs/CHECKS.md en docs/BUILD.md. Die beweerden daarna
dat de documenten 3.44.7 noemden op een moment dat ze dat niet deden.
Precies de fout die de nieuwe regel voorkomt.

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

brenno merged commit 90955cbe7c into main

2026-07-23 11:03:57 +00:00

brenno deleted branch fix/pin-consistentie-721

2026-07-23 11:03:57 +00:00

brenno referenced this pull request from a commit

2026-07-23 11:03:59 +00:00

Merge pull request 'fix(poort): de vijftien versie-eisen moeten het eens zijn (#721)' (#724) from fix/pin-consistentie-721 into main

brenno referenced this pull request

2026-07-23 11:04:20 +00:00

De Flutter-pin (3.44.6) loopt achter op de bouwmachine (3.44.7), en niets bewaakt dat de dertien plekken die hem noemen het eens zijn #721