I am going to implement your interpretation.

I've just tried a couple of tests which were inconclusive:

 * CURL - `HEAD` with a `302` response redirects with a `HEAD` request
 * jQuery in Chrome - `HEAD` with a `302` response redirects with a `GET` request

Here be dragons.