the suggested solution seems to amount to 'functionally copyleft' for software distributions using the Rust name/trademark(s), and permissive licensing as normal in all other cases

sounds like a good solution to me, perhaps some concern about definition edge-cases