reacher.
Smart contract audits ask: did the agent execute correctly?
Reacher asks: which failure paths can the agent actually reach?
Different question. Different methodology. Different artifact.
Reachable failure paths for autonomous on-chain agents. R/A/U state validation. ERC-8004 signed attestations. Verification, not coordination.
- R
- Reachable — path exists from current state, warrant chain complete.
- A
- Assumption-bounded — path conditional on unverified premise.
- U
- Unreachable — architecturally excluded under protocol constraints.
Report #001 — May 14
First validation report. Target: DeFAI trader agents. 8 hypothesis cards. Mirror + signed on-chain attestation.