Skip to content

Make Windows path URI comparisons ASCII-case-insensitive - #37129

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/cd828874686a9cd242a36262ee3e7a9a172bd5b7
Aug 5, 2026
Merged

Make Windows path URI comparisons ASCII-case-insensitive#37129
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/cd828874686a9cd242a36262ee3e7a9a172bd5b7

Conversation

@copyberry

@copyberry copyberry Bot commented Aug 5, 2026

Copy link
Copy Markdown

Make Windows path URI comparisons ASCII-case-insensitive

What changed

  • Make PathUri equality and hashing ignore ASCII case for inferred Windows
    drive and UNC paths while preserving case-sensitive POSIX behavior.
  • Apply the same convention-aware comparison to starts_with and
    relative_path_from, including equivalent percent-encoded path spellings.
  • Continue to fail closed for encoded path separators, opaque fallback URIs,
    and non-ASCII case differences.

Testing

  • Add unit coverage for equality and hash consistency, Windows containment and
    relative paths, POSIX case sensitivity, encoded separators, and non-ASCII
    case differences.

## What changed

- Make `PathUri` equality and hashing ignore ASCII case for inferred Windows
  drive and UNC paths while preserving case-sensitive POSIX behavior.
- Apply the same convention-aware comparison to `starts_with` and
  `relative_path_from`, including equivalent percent-encoded path spellings.
- Continue to fail closed for encoded path separators, opaque fallback URIs,
  and non-ASCII case differences.

## Testing

- Add unit coverage for equality and hash consistency, Windows containment and
  relative paths, POSIX case sensitivity, encoded separators, and non-ASCII
  case differences.

GitOrigin-RevId: cd828874686a9cd242a36262ee3e7a9a172bd5b7
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/cd828874686a9cd242a36262ee3e7a9a172bd5b7 branch from 61ee139 to 4cb8676 Compare August 5, 2026 17:56
@copyberry
copyberry Bot merged commit 4cb8676 into main Aug 5, 2026
24 of 26 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/cd828874686a9cd242a36262ee3e7a9a172bd5b7 branch August 5, 2026 17:57
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 5, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants