[wip] feat(rex7): checkpoint compute gas settlement with V0 gas clamp enforcement - #367

Open

RealiCZ wants to merge 43 commits into

cz/chore/upgrade-revm-40from

cz/feat/rex7-checkpoint-gas

Commits on Aug 11, 2026

bench: add cheap-opcode interpreter hotloop workload to transact
RealiCZ
committed
56cfdc5
feat(rex7): settle compute gas at checkpoints
RealiCZ
committed
c520902
test(rex7): pin REX6/REX7 checkpoint settlement parity
RealiCZ
committed
035426b
feat(rex7): enforce compute limits with the V0 gas clamp
RealiCZ
committed
9d7d2a1
test(rex7): cover V0 gas-clamp enforcement
RealiCZ
committed
dc541a5
fix(rex7): apply the detention cap on a frame-local checkpoint exceed
RealiCZ
committed
603af84
docs(rex7): document checkpoint compute gas accounting
RealiCZ
committed
fc53eed
test(rex7): cover interceptor and precompile resume settlement
RealiCZ
committed
66dd956
test(rex7): pin where a latched non-compute exceed surfaces
RealiCZ
committed
40d7ce9
test(rex7): cover the three gas-leakage paths under an active clamp
RealiCZ
committed
4f7e6dd
test(rex7): extend REX6/REX7 parity to system-path transaction shapes
RealiCZ
committed
4a20994
test(rex7): sweep the double-exceed corner across the knife edge
RealiCZ
committed
dad83f7
test(rex7): add a parity case for every checkpoint opcode
RealiCZ
committed
789d67c
test(rex7): satisfy clippy doc-markdown in the new suites
RealiCZ
committed
0fdb576
test(rex7): describe the new suites in the module docs
RealiCZ
committed
e481864
test(rex7): engage the clamp in the frame-local corner sweep
RealiCZ
committed
efc378c
docs(rex7): correct halt-field actual/limit contract and top-frame tie-break
RealiCZ
committed
6648de8
fix(rex7): bind the V0 gas clamp on an explicit lifecycle
RealiCZ
committed
ab45e02
fix(rex7): settle every exceptional halt's burned remainder as compute
RealiCZ
committed
4964765
fix(rex7): report the binding budget in a clamp-induced exceed
RealiCZ
committed
1b3008e
fix(rex7): report the final compute usage in a clamp-induced halt
RealiCZ
committed
a3d41e1
test(rex7): compare state in the shared parity assertion
RealiCZ
committed
4a4f53c
docs(rex7): align the carve-out and clamp rules with the fixed behavior
RealiCZ
committed
c3a8230
docs(rex7): correct the frame-exit hook docstrings after the split
RealiCZ
committed
9188680
docs: note the REX7 exceptional-halt burn lane in AGENTS.md
RealiCZ
committed
3ba8273
test(rex7): explain the callee loop size in the payload case
RealiCZ
committed
d7ba3cc

Commits on Aug 12, 2026

Commits on Aug 13, 2026