feat(invariant): gas-envelope fuzzing via invariant.gas_fuzz#14902

Open

grandizzy wants to merge 27 commits into

feat/invariant-gas-fuzz

Commits on May 25, 2026

Commits on May 26, 2026

Commits on May 27, 2026

Commits on May 28, 2026

fix(invariant): scrub sampled gas_price in execute_tx so commit cannot re-arm it
grandizzy
committed
feat(invariant): simplify gas_fuzz to flat tx.gas_limit sampling in [2^24, 2^25)
grandizzy
committed
chore(invariant): comment why gas_fuzz forces the metrics path
grandizzy
committed
chore(invariant): drop vestigial gas_price field from BaseCounterExample
grandizzy
committed
fix(invariant): attach max-gas inputs on MaxAssumeRejects exit and refresh gas_fuzz doc
grandizzy
committed
fix(invariant): strip stale gas_limit from persisted corpus when gas_fuzz is off
grandizzy
committed

Commits on Jun 1, 2026

Merge branch 'master' into feat/invariant-gas-fuzz
grandizzy
authored

Commits on Jun 2, 2026

Commits on Jun 5, 2026

Commits on Jun 9, 2026

Merge remote-tracking branch 'origin/master' into feat/invariant-gas-fuzz
decofe
committed