feat: coverage-replayer — minimal mainnet block set maximizing mega-evm branch coverage - #153

Draft

flyq wants to merge 37 commits into

mainfrom

liquan/coverage-replayer-design

Commits on Jul 8, 2026

feat: add coverage-replayer bin (M1: backfill, set-cover, report)
flyq
committed
45586da
fix: unique tmp names in write_atomic, scope llvm-cov report to mega-evm sources
flyq
committed
7491e8d
feat(stateless-core): zero-validation light decode of witness bytes
flyq
committed
935befc
refactor(witness): drop raw witness storage; re-fetch full witnesses on demand
flyq
committed
e77b148
upload server run M1 result
Ubuntu
committed
f38c2d4
feat(coverage-replayer): read-only inspect subcommand for store analysis
flyq
committed
93945a2
refactor(coverage-replayer): archive only sparse profdata, drop entries archival
flyq
committed
58fa9dc

Commits on Jul 9, 2026

run 100k
Ubuntu
committed
9710c61
feat(coverage-replayer): inspect gains growth buckets, antichain estimate, greedy preview
flyq
committed
b3b7ebc
update
Ubuntu
committed
902912d
feat(coverage-replayer): dominated-pattern archive rejection + antichain prune
flyq
committed
d63d7ff
Merge branch 'liquan/coverage-replayer-design' of https://github.com/megaeth-labs/stateless-validator into liquan/coverage-replayer-design
flyq
committed
15dc086
add R2
flyq
committed
db58a11
add log
flyq
committed
5b6d815
300k blocks
Ubuntu
committed
e4902e8
feat(coverage-replayer): stable binary_id, lightest-block representatives, profile-by-pattern
flyq
committed
af8ac96
feat(coverage-replayer): merge subcommand for 4-machine sharded scans
flyq
committed
628e88f

Commits on Jul 10, 2026

simplify
flyq
committed
2fc2040
chore: untrack validator-data design doc (maintained locally, dir is gitignored)
flyq
committed
74516fe
refactor: rehome megaeth-witness-r2 as crates/stateless-r2

flyq
and
claude
committed
264ae8d
review & fix
flyq
committed
f9145a4
simplify
flyq
committed
a1691d0

Commits on Jul 11, 2026

feat(coverage-replayer): never skip a block — retry-forever fetch, no worker timeout, fail-stop judge
flyq
committed
7301100
feat: add R2 witness fetch metrics, happy-path decode test, review fixes

flyq
and
claude
committed
4e91a79
perf(debug-trace-server): light-decode witnesses on both RPC paths
flyq
committed
22e11de
Merge remote-tracking branch 'origin/r2-witness-validation' into liquan/coverage-replayer-design
flyq
committed
42cdce2
chore: drop coverage run data from git; ignore /data/
flyq
committed
91e998a
chore: untrack stray profraw, ignore *.profraw
flyq
committed
a8f58cf
feat(coverage-replayer): R2 witness source on the light-decode path
flyq
committed
9067271
fix: address PR #153 review findings
flyq
committed
d60e1f4
fix(stateless-core): import vec! in light_witness tests for no_std builds
flyq
committed
9de1ae9
refactor: /simplify pass — dedup algorithm cores, shared helpers, hot-loop wins
flyq
committed
6b833c0
fix: honor witness concurrency cap in R2 mode and report final tip before exit

flyq
and
claude
committed
48ac2f3
fix: retry the final validation report, fix rustdoc warnings

flyq
and
claude
committed
b66c2c7
docs: tighten overlong comments across the R2 witness changes

flyq
and
claude
committed
96074e7
fix: harden coverage-replayer for unattended full-history scans
flyq
committed
f8359a6
merge: pull latest r2-witness-validation (PR #152) updates
flyq
committed
6bf71fb