EVM: discover state, then stage a complete result

EVM: discover state, then stage a complete result A data-flow diagram generated by Archify. 01 / Admit 02 / Adapt 03 / Discover 04 / Validate 05 / Complete Envelope checks · sender · chain · nonce · 01 / Admit Envelope checks sender · chain · nonce Ordered adapter · journal + shared accounts · 02 / Adapt Ordered adapter journal + shared accounts Locked CuEVM · execute + expand read set · 03 / Discover Locked CuEVM execute + expand read set Validate result · exports · logs · native value · 04 / Validate Validate result exports · logs · native value Stage dirty writes · outer changeset · 05 / Complete Stage dirty writes outer changeset Discard adapter · simulation result only · 05 / Complete Discard adapter simulation result only accepted seed state converged transaction simulation

State discovery must converge

  • • The locked session repeats access-logged execution with an expanded read set, up to 16 passes. Errors or non-convergence stage no body writes.

Synthetic engine balance is not real value

  • • Native-value checks use actual balances and exact wei-to-lamport conversion. Synthetic execution headroom never flows into real lamports.