Skip to content

feat(fuzz): keep observed calls out of corpus - #15817

Draft
decofe wants to merge 1 commit into
masterfrom
centaur/observed-call-dictionary-1784381979
Draft

feat(fuzz): keep observed calls out of corpus#15817
decofe wants to merge 1 commit into
masterfrom
centaur/observed-call-dictionary-1784381979

Conversation

@decofe

@decofe decofe commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

Keep observed calls in a generation dictionary instead of promoting them directly into the coverage corpus. Sibling-test seed coverage stays separate from campaign coverage so a later fuzz execution can earn normal corpus promotion. This refresh ports the existing proposal directly onto master and retains the persistence behavior from #16065.

The existing unbounded dictionary, per-plan cloning, fixed sampling rate, and dynamic-target lifetime handling remain review questions; this refresh does not redesign them. Derek comparison baseline: master bfe6e9a17.

Originally prompted by @0xalpharush. AI assistance was used to refresh the existing code, resolve conflicts, and update this description.

@0xalpharush

Copy link
Copy Markdown
Collaborator

TBD if this is desired 46180e7

I think also mutating immediately upon selecting an observed call remains

Comment thread crates/evm/evm/src/executors/corpus.rs Outdated
Comment thread crates/evm/evm/src/executors/corpus.rs Outdated
@mablr
mablr force-pushed the centaur/observed-call-dictionary-1784381979 branch from a28c6dd to 91a7d84 Compare August 4, 2026 11:11
@mablr
mablr force-pushed the centaur/immediate-corpus-persistence-1784381329 branch from 926d4e3 to d5ccd4f Compare August 4, 2026 11:11
@github-actions

github-actions Bot commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

✅ Changelog exempt

A maintainer marked this pull request as not requiring a changelog entry.

@mablr mablr added the L-ignore Log: ignore PR in changelog label Aug 4, 2026
@mablr
mablr force-pushed the centaur/observed-call-dictionary-1784381979 branch from 91a7d84 to c3921a0 Compare August 6, 2026 09:16
@mablr
mablr force-pushed the centaur/immediate-corpus-persistence-1784381329 branch 2 times, most recently from 0b3e2fe to e1faadc Compare August 6, 2026 09:42
@mablr
mablr force-pushed the centaur/observed-call-dictionary-1784381979 branch from c3921a0 to 9c3bb79 Compare August 6, 2026 09:42
@mablr
mablr force-pushed the centaur/immediate-corpus-persistence-1784381329 branch from e1faadc to c053631 Compare August 6, 2026 12:45
@mablr
mablr force-pushed the centaur/observed-call-dictionary-1784381979 branch from 9c3bb79 to 46a229a Compare August 6, 2026 12:45
@mablr
mablr marked this pull request as draft August 7, 2026 13:44
@github-actions

Copy link
Copy Markdown
Contributor

This pull request is stale because it has been open for 14 days with no activity. It will be closed in 7 days if there is no further activity.

@github-actions github-actions Bot added the stale label Aug 22, 2026
@github-actions

Copy link
Copy Markdown
Contributor

This pull request was closed because it has been inactive for 7 days since being marked as stale.

@github-actions github-actions Bot closed this Aug 30, 2026
@github-project-automation github-project-automation Bot moved this to Done in Foundry Aug 30, 2026
@decofe
decofe deleted the centaur/observed-call-dictionary-1784381979 branch September 5, 2026 13:05
Refresh the existing observed-call dictionary proposal against current master, preserving campaign persistence and the current replay lifecycle. Keep the existing dictionary and sampling policy for review.

Co-authored-by: Derek Cofausper <256792747+decofe@users.noreply.github.com>
@mablr mablr removed the stale label Sep 9, 2026
@mablr
mablr removed this pull request from stack #16025 September 9, 2026 13:02
@mablr mablr reopened this Sep 9, 2026
@mablr
mablr changed the base branch from centaur/immediate-corpus-persistence-1784381329 to master September 9, 2026 13:04
@mablr
mablr force-pushed the centaur/observed-call-dictionary-1784381979 branch from 46a229a to 0b9fc06 Compare September 9, 2026 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

L-ignore Log: ignore PR in changelog

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants