FaultRay: Why We Formalized Cascade Failure Propagation as a Labeled Transition System

The gap that motivated this project Production fault injection tools — Gremlin, Steadybit, AWS FIS — are powerful, and the chaos engineering discipline they represent has genuinely matured over the past decade. But every tool in that class shares a structural constraint: it operates on running syste