Good list. The sleeper hit is cooperative channel opens: same multi-party ambiguity, but the output can pass as an ordinary key spend. And that PQC commitment paper matters for the quantum objection upthread too. If Taproot can carry those commitments cleanly, the "not quantum-safe" line gets a lot less tidy.