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.