Turkish case folding

Does locale-aware case equality remain equivalent after removing the locale argument?

ACTION REQUIRED

Request changes

The patch changes executable behavior on a minimized input. Review the counterexample before approving.

Stages: 6/6
Patch verdict: FALSIFIED
Source: EXECUTABLE ENGINE RUN

Changed codesrc/search.py

+1−1

41 def equal_folded(a: str, b: str, locale: str) -> bool:42−    return locale_lower(a, locale) == locale_lower(b, locale)42+    return a.lower() == b.lower()

Why this failslocale-aware case equivalence

["İ", "i"]

Expectedtrue · locale_lower(…, 'tr-TR')

Patched resultfalse · str.lower()

How the result was establishedSelect any completed step to inspect its evidence.

COMPLETE · 6/6

Commandpatchproof replay pp_496349FCE8

Observed outputreference=True patched=False locale=tr-TR

Scope

Same process, seed, and minimized input

MINIMIZED COUNTEREXAMPLE

locale-aware case equivalence

01["İSTANBUL PORTAL", "istanbul portal"]
02["İSTANBUL", "istanbul"]
03["İ", "i"]

Recommended next stepRestore the reference behavior, then keep the generated regression.

The minimized case reproduces under the same engine, seed, and process.