Skip to content

Avoid Diffsync character-code overflow from earlier searches - #72

Merged
samiabobaker merged 1 commit into
mainfrom
fix-diffsync-character-encoding
Sep 23, 2026
Merged

samiabobaker merged 1 commit into
mainfrom
fix-diffsync-character-encoding

Conversation

@bxff

@bxff bxff commented Sep 23, 2026

Copy link
Copy Markdown
Collaborator

Encode Diffsync character IDs relative to the start of each execution, preserving their existing order. This prevents earlier searches from exhausting the adapter's Unicode range.

Failing case: with the process-wide character counter at 0x110000, seed 1 with two clients and one operation incorrectly reports convergence and list-specification failures. It now passes. This is a long-running test-process issue; there is no evidence it affected the paper's results, and the existing Diffsync classification is unchanged. The encoding still has a per-search Unicode limit.

Verified 300 matching traces before/after, including large starting IDs, plus exhaustive BFS/DFS and all existing test modules. Ruff and Pyright pass. No new test files or paper changes.

@samiabobaker
samiabobaker merged commit 44417ae into main Sep 23, 2026
3 checks passed
@samiabobaker
samiabobaker deleted the fix-diffsync-character-encoding branch September 23, 2026 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants