What’s the reasoning for this? Code auditing liability?
Social casino stuff should be OK since it’s not real money.
To OP’s question I think Defold’s use in this situation is okay because Defold software is not being distributed only products of tools made with Defold but the software is still not being used in the end product.