“Procedural court ruling framed as corrective justice; 'tosses' conviction emphasizes fairness restoration over severity of original crime.”