Runnable, editable guides for EVM execution and analysis

Start with one workflow, then compose the primitives: read EVM state, pull event evidence, build calldata, pin or fork chain state, execute candidates, compare branches, and publish the evidence as queryable relations.

Each guide starts with a workflow and links into the exact function signatures, argument types, return shapes, and examples when you need implementation detail.