Checks whether a child work licensed under B can legally derive from a parent asset licensed under A. Returns a compatible flag, reason codes, and the required child license when ShareAlike or reciprocal terms force a specific choice. Also runs an SPDX-satisfies check for Creative Commons families.