Rigorous criteria for anomalous waves induced by abrupt depth change using truncated KdV statistical mechanics