These targets are redundant to the wildcard. Please transform them into test urls.

The wildcard regex only covers ^http://(www[0-9][0-9]\.)?wolframalpha\.com/. Wolfram Alpha does not have HTTPS support on all subdomains, and hence replacing these with test urls would require the list to also be compacted into the regex, a practice that to my understanding is explicitly discouraged (?). It's not an ideal overlap, but this PR cuts the number of Wolfram rulesets in the whitelist from 3 to 1.

This ruleset contains <target host="*.wolframalpha.com" /> and <rule from="^http:" to="https:" /> so it will rewrite anything to https. But you also listed some explicit targets like www5b.wolframalpha.com and special rewrites.
This is confusing and I think it does not behave like you planned.

So I would list all targets, keep the generic redirect and remove the wildcard target, or use a wildcard target with specific redirect rules and test urls.

I think it does not behave like you planned.

You are very correct, such a rule would redirect all subdomains to HTTPS indiscriminately. Scarily, that seems to have also been the behavior of the previous ruleset, and probably explains why I copied it without thinking.

Please group by error type and be more precise.