Whether power is stranded or not is not a binary classification. It's a gradual thing.

Using power for bitcoin means it's not available for the next best use. It's all about opportunity costs.

Stranded power means power with a very low opportunity cost. But not necessarily zero (or negative).

As a thought experiment: think about what would happen, if bitcoin moved to a proof-of-stake system tomorrow.