I’m aware that FILE_FLAG_POSIX_SEMANTICS allows for case sensitivity in file names, but the fact that it wasn’t named FILE_FLAG_CASE_SENSITIVE makes me think it might be doing more than that.
Does it do anything else, or am I analyzing this too deeply?
As far as I know, it only gives case sensitivity. I suspect they originally named it that way because they were as uncertain as the rest of us whether supporting POSIX semantics might involve something more than case sensitivity. This way if it turned out they needed to do more, they could just fix the bug in their implementation of POSIX semantics rather than requiring a fundamental change in the specification.