Iterative BFS using a queue: enqueue mirror pairs, dequeue two at a time, validate, and push children in mirror order.