Auto-translated
The fact that mana isn't consumed during a quick battle is a flaw in the tech team's implementation, because the following algorithm is used: if the battle is a quick battle, then all mana is taken away before the battle begins, and there's nothing to spend during the auto-battle, and after the battle, all the mana is returned in full.
Of course, there's a bug, but it was still a breakthrough.
In principle, it's now possible to implement the following algorithm: instead of taking away mana, take away the spellbook; I think it will work correctly.