Fix red develop 08ff5df53d8b

The merge lane found `develop` red at `08ff5df53d8be129ddf8610dc10f1b35d0eb90db` on its own: no queued PR merges until it is fixed. Failing (tests and gate stages): - `name-residue-partition-suite` The whole gate log: artifact `10492` on lane task 10313. Make `develop` pass its full gate again. Open a PR as usual: the merge lane merges a PR that fixes some of these and adds no failure even while `develop` is red.

The name-residue partition suite is already green on develop: Task 10295 (PR #7020) fixed the K1/K7 overlap. I wrote the same fix independently and dropped it when it conflicted on rebase. Memory: none applied.