Fix formula-based damage prevention parsing

crates/engine/src/analysis/resource.rs

@@ -7018,7 +7018,8 @@ pub(crate) fn token_growth_is_observed(state: &GameState) -> bool {
 /// CR 614.1a: a replacement's BODY (not its `condition`) can read a projected
 /// player resource. `QuantityModification` variants are all fixed constants (no
 /// read). `DamageModification::LifeFloor` caps against a player's live life total
-/// (CR 119, projected); `Plus { value }` carries a `QuantityExpr` that MAY read one
+/// (CR 119, projected); `Plus { value }` and `PreventionMinus`'s live `Quantity`
+/// formula carry a `QuantityExpr` that MAY read one
 /// — treated fail-closed. `execute` is an `AbilityDefinition` with no C0-walker
 /// predicate ⇒ fail-closed when present. The un-flagged `DamageModification` /
 /// `QuantityModification` variants are safe to omit because their outputs land in
@@ -7032,7 +7033,13 @@ fn replacement_body_may_read_projected(def: &crate::types::ability::ReplacementD
     }
     matches!(
         def.damage_modification,
-        Some(DamageModification::LifeFloor { .. } | DamageModification::Plus { .. })
+        Some(
+            DamageModification::LifeFloor { .. }
+                | DamageModification::Plus { .. }
+                | DamageModification::PreventionMinus {
+                    value: crate::types::ability::PreventionFormula::Quantity { .. },
+                }
+        )
     )
 }
 

crates/engine/src/database/synthesis.rs

@@ -3864,7 +3864,9 @@ pub(crate) fn entry_replacement_for_grant_static(
 fn build_absorb_replacement(n: u32) -> ReplacementDefinition {
     ReplacementDefinition::new(ReplacementEvent::DamageDone)
         .valid_card(TargetFilter::SelfRef)
-        .damage_modification(DamageModification::PreventionMinus { value: n })
+        .damage_modification(DamageModification::PreventionMinus {
+            value: crate::types::ability::PreventionFormula::fixed(n),
+        })
         .description(format!(
             "CR 702.64a: Absorb {n} — if a source would deal damage to this creature, \
              prevent {n} of that damage."
@@ -3880,7 +3882,9 @@ fn is_absorb_replacement(r: &ReplacementDefinition, n: u32) -> bool {
         && matches!(r.valid_card, Some(TargetFilter::SelfRef))
         && matches!(
             r.damage_modification,
-            Some(DamageModification::PreventionMinus { value }) if value == n
+            Some(DamageModification::PreventionMinus {
+                value: crate::types::ability::PreventionFormula::Fixed(value),
+            }) if value == n
         )
 }
 
@@ -26050,7 +26054,9 @@ mod absorb_synthesis_tests {
         assert!(
             matches!(
                 r.damage_modification,
-                Some(DamageModification::PreventionMinus { value: 2 })
+                Some(DamageModification::PreventionMinus {
+                    value: crate::types::ability::PreventionFormula::Fixed(2),
+                })
             ),
             "CR 702.64a: prevent N (=2) of the damage (prevention provenance)"
         );

crates/engine/src/game/elimination.rs

@@ -1910,6 +1910,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,
@@ -3103,6 +3104,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,
@@ -3243,6 +3245,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,
@@ -3296,6 +3299,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,
@@ -3340,6 +3344,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,
@@ -3414,6 +3419,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,

crates/engine/src/game/engine_replacement.rs

@@ -3760,6 +3760,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: true,
+            choice_player: Some(PlayerId(0)),
             library_placement: None,
             exile_controller: None,
             exile_duration: None,
@@ -4435,6 +4436,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,

crates/engine/src/game/mana_abilities.rs

@@ -5258,6 +5258,7 @@ mod tests {
             search_found_candidates: Vec::new(),
             depth: 0,
             is_optional: false,
+            choice_player: None,
             library_placement: None,
             exile_controller: None,
             exile_duration: None,