As for the puzzles...
You're right, I guess I didn't consider Mazarin has extra HP... I'll see if I can fix it.
But Metonym 4 is doable without the spell! There's one unit that has exactly one way of reaching the king...