test(ethexe-malachite): corner case hunt - #5491

Draft

grishasobol wants to merge 15 commits into

masterfrom

gsobol/ethexe/corner-case-hunt

Commits on May 25, 2026

chore: init corner-case hunt log

grishasobol
and
claude
committed
982a5c8
chore(hunt): abandoned — validate_block_above missing injected-tx size cap (disk-quota)
grishasobol
committed
b577776
[hunt] add test for mempool future ref_block — exposes capacity DoS

grishasobol
and
claude
committed
952b550
[hunt] add test for double-Fin streaming attack — exposes premature completion

grishasobol
and
claude
committed
ee30773
[hunt] add test for purge_expired vs insert tolerance — exposes unknown-ref_block eviction race

grishasobol
and
claude
committed
d5398d4
chore(hunt): mark insert-vs-purge_expired asymmetry as accepted tradeoff

grishasobol
and
claude
committed
81133f5
[hunt] add test for Init-at-non-zero-sequence stuck stream — exposes StreamState bug

grishasobol
and
claude
committed
3c52a14
[hunt] add test for validator-side missing injected-tx size cap — exposes 8x budget violation

grishasobol
and
claude
committed
9393b5b
[hunt] add test for forget→purge seen-eviction with unknown ref_block — exposes dedup bypass
grishasobol
committed
ab36469
[hunt] add test for lone Fin@0 single-message stuck-stream attack — exposes 1:1 amplification PartStreamsMap slot exhaustion
grishasobol
committed
7d2871b
chore(hunt): no-bug — VALIDITY_WINDOW boundary insert/purge consistency

grishasobol
and
claude
committed
fb19a3b
[hunt] add test for Fin@u64::MAX panic in StreamState::insert — exposes 1-msg DoS

grishasobol
and
claude
committed
133ded1
[hunt] add test for cold-start mempool insert — exposes is_expired bypass

grishasobol
and
claude
committed
ff33f13
[hunt] add test for validate within-MB duplicate Transaction::Injected — exposes validator accepting same signed injected tx twice in one MB

grishasobol
and
claude
committed
aabb34b
chore(hunt): fix fmt + exclude hunt log from typos
grishasobol
committed
3139c80

Navigation Menu

Uh oh!

test(ethexe-malachite): corner case hunt - #5491

test(ethexe-malachite): corner case hunt#5491
grishasobol wants to merge 15 commits into
masterfrom
gsobol/ethexe/corner-case-hunt

Commits on May 25, 2026

chore: init corner-case hunt log

chore(hunt): abandoned — validate_block_above missing injected-tx size cap (disk-quota)

[hunt] add test for mempool future ref_block — exposes capacity DoS

[hunt] add test for double-Fin streaming attack — exposes premature completion

[hunt] add test for purge_expired vs insert tolerance — exposes unknown-ref_block eviction race

chore(hunt): mark insert-vs-purge_expired asymmetry as accepted tradeoff

[hunt] add test for Init-at-non-zero-sequence stuck stream — exposes StreamState bug

[hunt] add test for validator-side missing injected-tx size cap — exposes 8x budget violation

[hunt] add test for forget→purge seen-eviction with unknown ref_block — exposes dedup bypass

[hunt] add test for lone Fin@0 single-message stuck-stream attack — exposes 1:1 amplification PartStreamsMap slot exhaustion

chore(hunt): no-bug — VALIDITY_WINDOW boundary insert/purge consistency

[hunt] add test for Fin@u64::MAX panic in StreamState::insert — exposes 1-msg DoS

[hunt] add test for cold-start mempool insert — exposes is_expired bypass

[hunt] add test for validate within-MB duplicate Transaction::Injected — exposes validator accepting same signed injected tx twice in one MB

chore(hunt): fix fmt + exclude hunt log from typos