Gotcha! The crucial piece I was missing was that Unicode case-folding can turn a single codepoint into many. One more thing to the list of falsehoods programme

Gotcha! The crucial piece I was missing was that Unicode case-folding can turn a single codepoint into many. One more thing to the list of falsehoods programmers believe about Unicode I guess :-)