| # Ordinary health subtraction and protected publication | |
| RE-729. Reproduce with `python3 scripts/analyze_qvm_health_mutation.py`; validate with `cargo xtask test-group health`. See the [machine report](qvm-health-mutation.json). | |
| Actual212622–212799 subtracts the selected integer damage. Client220 bit16384 floors resulting health to5, clears masks512/256/128 and client236 mask1, updates float client6332 with the source coefficient and captures152386(target,0,0). Target836/840 receive attacker pointer and hit location, client208 mirrors health, and actual211197 subtracts300×selected damage from client184 with a floor at0. Independent full entity/client oracles cover120 method/health/damage/protection/meter combinations. Nonpositive selected damage is an explicit isolated-stage fixture; complete callers clamp it earlier. The source requires a nonnull client for its unconditional flag read. Protected callback effects and terminal death/pain/impulse processing remain outside this stage. | |
| No original executable/full VM/native world collision or rendering runs. Supplied callback/native responses and fixture domains remain explicit; complete macOS/Linux Rust/Bevy/Solari gameplay remains open. | |