pub const PAID_MANA: &str = "stone.m.paid_mana";Expand description
Mana the resolving cast actually paid, in x100 fixed point PLUS ONE — 0
means “no payment recorded”, so a genuinely free cast (1) is still
distinguishable from a cast that never went through the pool at all.
Written at the mana gate (handle_start_cast_ability), where the one true
cost — after stone rescaling and the Budget Plan discount, without the
Open Tab surcharge — is decided. The mana conditions of laws
(SkillManaAtMost / SkillManaAtLeast) and trigger stones (TR-C03 /
TR-E02) read it back when the cast resolves, so both systems judge the
price actually paid instead of re-deriving it and drifting.