reacher.
Smart contract audits find bugs.
Reacher finds reachable failure paths.
Different problem. Different methodology. Different artifact.
Epistemic validation for autonomous on-chain agents. Reachability-first. ERC-8004 signed attestations.
- R
- Reachable — path exists from current state, found it.
- A
- Assumption-bounded — path conditional on unverified premise.
- U
- Unreachable — architecturally excluded under protocol constraints.