For example, Alice cares about her profit numbers, Bob doesn't, ao Alice makes a market and agrees to bet against Bob, resolve it in her favor, and then manalink Bob mana equal to his losses.

 prevent people from doing this with their own alt accounts, but not from collaberating with another person. However the manifold admins have been known to enforce rules that don't exist before.

This is a conditional market. If I become aware of anyone performing this action for at least M$10,000 (after market creation), it resolves to what happens there. (The admins delegating the decision to someone else counts as admin action.) Otherwise it resolves N/A at close.

If a Manifold admin states what they'd plan to do with someone who did it, I'd resolve to that statement. If they add a rule that makes this unambiguously illegal, this resolves N/A.

Making that profit not count towards leagues is not sufficient to resolve this to YES. Making it not counted anywhere, including the leaderboards and their profile, is sufficient to resolve this to YES.