--- name: blast-radius description: "Find what a change could break somewhere else before it ships, beyond the diff, and prove the one fact it's safe because of by running real code instead of writing it up. Use for /blast-radius, 'blast radius of X', 'what could this break', or reviewing a small diff you don't trust." tip: finds what a small diff could break elsewhere | blast radius | what could this break | what would this break | what else could break disable-model-invocation: true card: "Distrust the change | 1 | Finds what a change could break beyond its diff, and proves the one fact it is safe because of by running real code. | Reach for it when a small diff is one you do not trust. Every review runs it. | op: the operator; rev: a reviewer" --- # Blast radius Source: pstack, `pstack/skills/blast-radius/SKILL.md` Find what a change breaks somewhere else, before it ships. Use for "blast radius of X", "what could this break", or reviewing a small diff you don't trust yet. Companion to `how` and `why`. `how` tells you what the code does. `why` tells you why it's shaped that way. Blast radius tells you what it breaks somewhere else. Listing the callers is not the job. The agent can grep those in a second. The job is the breakage grep won't show you. ## Don't trust your own writeup A blast-radius writeup that sounds right is worthless. It reads as convincing whether or not it's true. So don't hand back the writeup. Find the one or two facts the whole thing depends on and prove them by running code. ### How sure are you For each fact the change's safety depends on, get it as far down this list as is cheap, and say where it stopped. 1. You said so. Worthless on its own. 2. You pointed at the line. A real `file:line`, or the library's own source. 3. You showed the bad case can't happen. You walked the failure step by step and it doesn't reach. 4. You ran it. A script or test that calls the real code and fails loud if you're wrong. 5. You reproduced it in the running app. Step 4 is usually one small script that imports the same library the app ships and calls the exact function you're worried about. ## Steps 1. Read the change. The diff, the symbols it adds, changes, and deletes, and what it now does differently, including the part the diff doesn't spell out. With no change named, the change is this checkout against the default branch, the working tree and its files not yet added included, and this prints its files: ```sh base=$(git symbolic-ref -q --short refs/remotes/origin/HEAD 2> /dev/null || echo main) if ! fork=$(git merge-base HEAD "$base" 2> /dev/null); then echo "no change to read: this is not a git repository with a branch $base" elif [ -z "$(git diff --stat "$fork")$(git ls-files --others --exclude-standard)" ]; then echo "no change to read: nothing differs from $base" else git diff --stat "$fork" git ls-files --others --exclude-standard | sed 's/^/ new, not added: /' fi ``` On `no change to read`, ask which change is meant. Use step 2 of the `why` skill (`../why/SKILL.md`, from this file's directory) to pull the PR and commits. 2. Find the one fact it's safe because of. Most changes that look risky are safe because of a single fact, like "this call only drops already-dead cache entries and does nothing else". Find that fact. If it holds, most risky cases are cleared at once. Spend your time here, not on a long list of maybes. 3. Look where grep stops. Read the source of the library you call, and check its pinned version and any local patch. Work out when things run: microtasks, unmount and teardown, Solid versus React. Follow what a symbol search misses: the JSON an API returns, a DB column, a wire format, another language reading the same bytes, a feature flag, code three hops downstream. 4. Be honest about each risk. Give it a real chance of happening and a real cost if it does. Keep the risks you confirmed. List the ones you checked and cleared separately. Same rules as `why`. Cite a real `file:line`, a search that finds nothing is still an answer, and never make up a caller or an API. 5. Prove the one fact. Write a script or test that runs the real code, run it, and paste what happened. The script goes in a temporary directory, not in the repo, unless it is the test the change should ship with. 6. For a big or wide change, ask more than one reader the same question and merge the answers. Readers that do not see each other still catch different real bugs. In a home, that is `/swarm` (`../swarm/SKILL.md`), with one scout for each reader, none shown another's answer. In any other thread, read the change once for each reader in this thread, each pass from the diff alone and not from the last pass's notes, and write `/swarm ` under "Noticed" for the home when the change is too wide for that. ## What to hand back - **What it does.** What changed, including the part that isn't obvious. - **The one fact it's safe because of.** State it, say which step you got it to, and show the proof. If you couldn't prove it, write unproven. - **Risks.** Each names how it breaks, the `file:line`, how likely and how bad, and how to check. Paste the proof for the ones that matter. - **Cleared.** What you checked and why it's fine. - **Before you merge.** The cheapest test or repro that catches the real bug, including the script you wrote. Write it through the `unslop` skill (`../unslop/SKILL.md`), cite real code, and strip anything private before it goes anywhere public. **Reply:** the writeup above, with the one safety fact either proven or marked unproven.