fix(tests,fw): Fill reserve-bal. related coverage gaps, fix impl

[pdobacz]

Related to:

• handling on the boundary of gas fees solvency
• overall balance solvency rules
• 7702 authorizations handling

Each addition to tests accompanied by fixes to the spec implementation in a separate commit.

NOTE to review: the changes under src/ethereum/forks... are 4x the same thing for 4 forks (eight->eleven)

Based on top of #53, merged that one first

Confidence Score: 5/5

The PR appears safe to merge; no actionable issues were found.

Summary

This PR updates Monad Eight through Eleven to check whether a sender can pay the effective gas fee, then fail execution if the remaining balance cannot cover the value sent.

• Transactions now check gas costs before checking sent value.
• Any recovered authorization signer now counts in the reserve window.

Diagram

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    A[Check transaction] --> B{Balance covers effective gas fees?}
    B -- No --> C[Reject transaction]
    B -- Yes --> D[Charge fees and advance sender nonce]
    D --> E[Record recovered authorization signers]
    E --> F{Remaining balance covers value?}
    F -- No --> G[Return failed receipt without running code]
    F -- Yes --> H[Transfer value and run code]
    H --> I[Check reserve balance and settle transaction]

Loading

_{Reviews (2) · Last reviewed commit: "fix(forks): record every recovered autho..." · Reviewed by Greptile}