Interpretable exact linear reductions via positivity