EVMX Proof Engine v0.1.0

EVMX Proof Engine — v0.1.0

The first open-source release of EVMX, an evidence-backed EVM transaction
forensics engine. Verdicts you can check — not scores, not confidence
percentages: named patterns, the five pieces of trace evidence that establish
them, and an explicit INCONCLUSIVE instead of a false certainty.

Highlights

• Two trace-structure detectors — reentrancy.classic and
  reentrancy.cross_function — defined by evidence, not heuristics.
• Three outcomes, never two — PATTERN_CANDIDATE, NO_FINDING (on named
  grounds), and INCONCLUSIVE (with the named cause and what would lift it).
• Provenance-by-construction — every report states the chain, the endpoint
  host (never a key), and live-vs-recorded origin.
• Reproducible offline corpus — 19 frozen, hash-verified mainnet fixtures;
  351 tests that run with no network; guards proven by mutation.
• Provider capability model — live tracing capability is measured and
  refused-vs-unsupported is distinguished, never assumed.

Networks

• Ethereum (supported)
• Arbitrum One (supported, after a documented compatibility measurement)

Workspace

Eight crates: evmx-core, evmx-trace, evmx-state, evmx-detectors,
evmx-analysis, evmx-report, evmx-rpc, evmx-api (ships the evmx-demo
HTTP server).

Try it

cargo run -p evmx-api --features demo --bin evmx-demo
# then open http://127.0.0.1:8080

Status

Core closed and tagged. The detector_known_positive gate stands at 2 of 3 —
published honestly rather than papered over. See docs/23-ff-gate-closure.md.

License

Dual-licensed Apache-2.0 OR MIT.

Author & maintainer: EslaM-X