v0.0.3
EchoSVM v0.0.3
EchoSVM now connects real local Solana transaction execution to causal
evidence.
Included
explain-runexecutesechosvm.transaction.v1fixtures with LiteSVM.- Multi-program SBF loading, explicit accounts, instruction metas, and data.
- Runtime-derived errors, invocation frames, compute units, and post-state.
- PDA derivation checks and explicit labeling when a CPI is rejected before
the callee starts. - Generated
echosvm.case.v1and analyzedechosvm.evidence.v1JSON. - A real SBF fixture where an incorrect PDA authority rejects a CPI and rolls
back a preceding account write. - A regression proving the corrected PDA enters the child and commits state.
- The v0.0.2 standalone ELF/raw sBPF interpreter remains available.
Honest boundary
PDA seeds and tentative failed-state values are declared fixture expectations
in v0.0.3; they are validated against runtime execution but are not recovered
from arbitrary bytecode. EchoSVM does not claim validator equivalence or
historical Mainnet replay.