test(ratchet): multistate memory-safety stress guard (ASan)#274
Open
ms609 wants to merge 2 commits into
Open
Conversation
Faithful reproduction of the ratchet-multistate-segfault bug: 30x25 3-state EW (ZERO_ONLY) and IW (UPWEIGHT_ONLY) configs, 30 repeated ts_ratchet_search calls per config in one process. Not skip_extended() so the gcc-ASAN workflow runs it and halts on the first OOB access. Diagnostic branch; expected to abort under ASan until the OOB is fixed. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…uard Investigation of the 2026-07-16 exit-139 report (ratchet-multistate- segfault) could not reproduce it on any clean build: Linux gcc-ASAN clean (both configs), and a fresh local Windows -O2 build ran 500 iterations without a crash, with search kernels byte-identical to the reported commit. Most consistent with a stale-object / mixed-ABI incremental build, not a source defect. Keep the test as a guard against a future genuine OOB. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds a ratchet memory-safety stress guard: repeated ts_ratchet_search calls in one process on a 30-tip x 25-char 3-state matrix (ZERO_ONLY/EW and UPWEIGHT_ONLY/IW). Not skip_extended, so gcc-ASAN exercises it.
Origin: a 2026-07-16 exit-139 heap-corruption report in this path. Could NOT reproduce on any clean build: Linux gcc-ASAN clean (both configs); fresh local Windows -O2 build ran 500 iterations no crash; ratchet kernels byte-identical to reported commit d9ce8dca; emutls class ruled out (serial, no threads); no struct-layout header change in the lever-6 batch to straddle. Most consistent with a stale-object / mixed-ABI incremental build, not a committed-source defect.
Test is expected to PASS; a future failure should prompt a clean rebuild (rm src/*.o; --preclean) before being treated as a source regression. gcc-ASAN is disabled again, so this PR does not auto-run it.
Generated with Claude Code