This sort of micromapping is why I hesitate about crossing:signals=separate, which sounds like it means “signals mapped separately”. But it’s very ambitious at this stage and unlikely to be a complete solution for migrating crossings already tagged as crossing=traffic_signals. It presupposes that the crossing is mapped as a way. It also depends on how we tag sidewalk stubs, since traffic_signals:direction=* becomes ambiguous on a node shared by two or more ways.