- 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.