They prohibit RE of the binaries. What Asahi doing is observing macOS as a black box with input and outputs, and translating observed behavior back to Linux.

who are "they" here?

clean room RE is legal across the world. with AI, it is increasingly easier to do it right.