- **CONFIRMED** — can name the inputs/state that trigger it and the wrong output or crash. Quote the line. - **PLAUSIBLE** — mechanism is real, trigger is uncertain (timing, env, config). State what would confirm it. - **REFUTED** — factually wrong (code doesn't say that) or guarded elsewhere. Quote the line that proves it.