Skip to content

Track interesting_origin correctly in fuzz_one_input#4748

Merged
Zac-HD merged 1 commit into
HypothesisWorks:masterfrom
Zac-HD:claude/amazing-brahmagupta-XjCsZ
May 27, 2026
Merged

Track interesting_origin correctly in fuzz_one_input#4748
Zac-HD merged 1 commit into
HypothesisWorks:masterfrom
Zac-HD:claude/amazing-brahmagupta-XjCsZ

Conversation

@Zac-HD
Copy link
Copy Markdown
Member

@Zac-HD Zac-HD commented May 27, 2026

fuzz_one_input calls execute_once directly, bypassing the engine's _execute_once_for_engine which is where data.interesting_origin is normally set. As a result, data.interesting_origin was always None, so distinct failures collapsed into a single database slot (only the globally-smallest example was kept) and observability reports omitted the interesting_origin.

Compute the InterestingOrigin in fuzz_one_input's failure path so that the smallest example of each distinct origin is saved and observations report the correct origin.

Fixes #4420.

fuzz_one_input calls execute_once directly, bypassing the engine's
_execute_once_for_engine which is where data.interesting_origin is
normally set. As a result data.interesting_origin was always None,
so distinct failures collapsed into a single database slot (only the
globally-smallest example was kept) and observability reports omitted
the interesting_origin.

Compute the InterestingOrigin in fuzz_one_input's failure path so that
the smallest example of each distinct origin is saved and observations
report the correct origin.

https://claude.ai/code/session_01VWEZqU3h6yG8QFan4Du6Mk
@Zac-HD Zac-HD enabled auto-merge May 27, 2026 07:30
@Zac-HD Zac-HD disabled auto-merge May 27, 2026 15:55
@Zac-HD Zac-HD merged commit 6e54402 into HypothesisWorks:master May 27, 2026
77 checks passed
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.

Track interesting_origin correctly in fuzz_one_input

3 participants