LibreKAT/Ocideck

Watch

Fork 1

fix(poort): ruim de vreemde CMake-stempel op en zet een rem op de bouw #1547

Merged

brenno merged 2 commits from fix/poortrem into main

2026-08-17 23:44:10 +00:00

brenno commented

2026-08-17 23:39:29 +00:00

Owner

Vervolg op #1542. Twee dingen die het poortslot nog niet deed, en één correctie op wat ik daar schreef.

De stempel — mijn tekst in #1542 klopte niet

Daar staat dat een worktree-wissel de CMake-cache "opnieuw stempelt — traag maar correct". Dat is onjuist. CMake weigert hard:

CMake Error: The current CMakeCache.txt directory …/ocideck-wt-A/… is different
than the directory …/ocideck-wt-B/… where CMakeCache.txt was created

En het serialiseren maakte het erger in plaats van beter: elke run stempelt op zijn eigen pad, dus de vólgende faalt gegarandeerd in plaats van af en toe. Dat is live waargenomen op de tak van #1535, die er precies zo op omviel.

Het slot wist die stempel nu binnen het slot — dus zonder een lopende bouw te storen — en alleen CMakeCache.txt plus CMakeFiles/. _deps blijft liggen, want opnieuw ophalen loopt stuk op de 429 van GitHub. De vergelijking gaat over fysieke paden, want /var en /private/var zijn op macOS dezelfde map en onnodig wissen kost een volledige herbouw.

De rem

Zonder begrenzing bouwt CMake met één taak per kern en start flutter test één werker per kern. Op een laptop met 18 kernen trok dat samen meer stroom dan de adapter kon leveren: de accu liep leeg terwijl hij aan de lader lag, tot 9%.

Vier kernen blijven nu vrij aan beide kanten — CMAKE_BUILD_PARALLEL_LEVEL in het slot, TEST_JOBS in de suite-doelen — en beide zijn te overrulen (make test TEST_JOBS=18) voor een machine die verder niets doet.

Bewust géén nice: prioriteit verdeelt rekentijd, maar verlaagt het opgenomen vermogen niet.

De volle make check van deze PR draaide met de rem erop, en de accu liep tijdens die run van 17% naar 22%. Dat is het bewijs dat telt.

Unieke lognamen

docs/CHECKS.md eist nu een unieke naam voor een poortlog. Drie runs hebben inmiddels elkaars check1.log in een gedeelde scratchmap gelezen: één rapporteerde bijna het groen van een andere worktree als het zijne, een ander wilde bijna een fout "repareren" die van een vreemde tak kwam.

Toetsing

Vier tests erbij (tien in totaal in test/gate_lock_test.dart): een vreemde stempel wordt opgeruimd met _deps intact, een eigen stempel blijft staan, de rem staat, en een zelfgezette rem blijft staan. make check groen, scans schoon, shellcheck schoon.

Vervolg op #1542. Twee dingen die het poortslot nog niet deed, en één correctie op wat ik daar schreef. ## De stempel — mijn tekst in #1542 klopte niet Daar staat dat een worktree-wissel de CMake-cache "opnieuw stempelt — traag maar correct". Dat is onjuist. CMake weigert **hard**: ``` CMake Error: The current CMakeCache.txt directory …/ocideck-wt-A/… is different than the directory …/ocideck-wt-B/… where CMakeCache.txt was created ``` En het serialiseren maakte het erger in plaats van beter: elke run stempelt op zijn eigen pad, dus de vólgende faalt gegarandeerd in plaats van af en toe. Dat is live waargenomen op de tak van #1535, die er precies zo op omviel. Het slot wist die stempel nu **binnen het slot** — dus zonder een lopende bouw te storen — en alleen `CMakeCache.txt` plus `CMakeFiles/`. `_deps` blijft liggen, want opnieuw ophalen loopt stuk op de 429 van GitHub. De vergelijking gaat over fysieke paden, want `/var` en `/private/var` zijn op macOS dezelfde map en onnodig wissen kost een volledige herbouw. ## De rem Zonder begrenzing bouwt CMake met één taak per kern en start `flutter test` één werker per kern. Op een laptop met 18 kernen trok dat samen meer stroom dan de adapter kon leveren: **de accu liep leeg terwijl hij aan de lader lag**, tot 9%. Vier kernen blijven nu vrij aan beide kanten — `CMAKE_BUILD_PARALLEL_LEVEL` in het slot, `TEST_JOBS` in de suite-doelen — en beide zijn te overrulen (`make test TEST_JOBS=18`) voor een machine die verder niets doet. Bewust géén `nice`: prioriteit verdeelt rekentijd, maar verlaagt het opgenomen vermogen niet. De volle `make check` van deze PR draaide met de rem erop, en de accu liep tijdens die run van 17% naar 22%. Dat is het bewijs dat telt. ## Unieke lognamen `docs/CHECKS.md` eist nu een unieke naam voor een poortlog. Drie runs hebben inmiddels elkaars `check1.log` in een gedeelde scratchmap gelezen: één rapporteerde bijna het groen van een andere worktree als het zijne, een ander wilde bijna een fout "repareren" die van een vreemde tak kwam. ## Toetsing Vier tests erbij (tien in totaal in `test/gate_lock_test.dart`): een vreemde stempel wordt opgeruimd met `_deps` intact, een eigen stempel blijft staan, de rem staat, en een zelfgezette rem blijft staan. `make check` groen, scans schoon, shellcheck schoon.

brenno added 2 commits

2026-08-17 23:39:29 +00:00

fix(poort): ruim de vreemde CMake-stempel op en zet een rem op de bouw 7e2abdfd5d

Twee dingen die het poortslot uit #1541 nog niet deed.

**De stempel.** Ik schreef daar dat een worktree-wissel de CMake-cache
"opnieuw stempelt — traag maar correct". Dat is onjuist. CMake weigert
hard: "The current CMakeCache.txt directory … is different than the
directory … where CMakeCache.txt was created". En het serialiseren maakte
het erger in plaats van beter: elke run stempelt op zijn eigen pad, dus de
volgende faalt gegarandeerd in plaats van af en toe.

Het slot wist die stempel nu binnen het slot — dus zonder een lopende bouw
te storen — en alleen CMakeCache.txt plus CMakeFiles/. `_deps` blijft
liggen, want opnieuw ophalen loopt stuk op de 429 van GitHub. De
vergelijking gaat over fysieke paden: /var en /private/var zijn op macOS
dezelfde map, en onnodig wissen kost een volledige herbouw.

**De rem.** Zonder begrenzing bouwt CMake met één taak per kern en start
`flutter test` één werker per kern. Op een laptop trok dat samen meer stroom
dan de adapter kon leveren: de accu liep leeg terwijl hij aan de lader lag.
Vier kernen blijven nu vrij aan beide kanten — CMAKE_BUILD_PARALLEL_LEVEL in
het slot, TEST_JOBS in de suite-doelen — en beide zijn te overrulen voor een
machine die verder niets doet. Bewust géén `nice`: prioriteit verdeelt
rekentijd, maar verlaagt het opgenomen vermogen niet.

Vier tests erbij: een vreemde stempel wordt opgeruimd (met _deps intact),
een eigen stempel blijft staan, de rem staat en een zelfgezette rem blijft
staan. Verder in docs/CHECKS.md de eis dat een poortlog een unieke naam
krijgt — drie runs hebben inmiddels elkaars check1.log gelezen, waarvan één
bijna andermans groen als het zijne rapporteerde.

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

chore(format): dart format op de nieuwe poortslottoetsen

scans / scans (pull_request) Successful in 1m57s

Details

static-gate / static-gate (pull_request) Successful in 4m36s

Details

db92034206

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

brenno merged commit 92f6f59d9a into main

2026-08-17 23:44:10 +00:00

brenno deleted branch fix/poortrem

2026-08-17 23:44:10 +00:00

brenno referenced this pull request from a commit

2026-08-17 23:44:10 +00:00

fix(poort): ruim de vreemde CMake-stempel op en zet een rem op de bouw (#1547)

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

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!1547

No description provided.

Rows
Columns