Find what your code change could break elsewhere.
Checks what a code change could break beyond its diff and tests the facts its safety depends on.
When to use it
Use for blast-radius questions, suspicious small diffs, or before designing around an assertion about existing code.
Give it a change or an assertion about existing code; it returns a cited risk assessment with executable proof or an explicitly unproven safety fact.
What you provide
Uses why step 2 to retrieve the PR and commits while reading the change; whether it must be installed is unstated.
Routes big or wide changes through arena for answers from multiple models; whether it must be installed is unstated.
Directs the final writeup through unslop; whether it must be installed is unstated.
No additional actions listed.