v0.0.4
EchoSVM v0.0.4
EchoSVM now connects source-aware causal evidence to the exact sBPF
instructions leading into a real local transaction failure.
Included
- Provenance and confidence on causal claims: runtime-observed,
runtime-derived, fixture-declared, or heuristic. - Correct parent-frame attribution when privilege checks reject a CPI before
callee entry. --trace-on-failureand--trace-limitfor bounded, in-memory LiteSVM
register traces attached to transaction frames.- Exact tail instructions for the bundled PDA mismatch, ending at
syscall sol_invoke_signed_rust. - Structured standalone halt kinds for instruction budget, access violation,
divide-by-zero, call depth, and unsupported instructions. - Seven focused conformance vectors covering v3 ALU64, JMP32, memory faults,
verifier failures, version gates, and deterministic traces. - Backward-compatible optional additions to the v1 case, evidence, and
execution schemas.
Honest boundary
PDA seeds and tentative failed-state values remain declared fixture
expectations and are now labeled as such. EchoSVM does not claim validator
equivalence, complete sBPF compatibility, or historical Mainnet replay. V4 is
still experimental; the new compatibility claims are bounded to the published
vectors.