fix solver- vybiti do site pred zapornym nakupem

backend/services/planning_engine.py

@@ -33,7 +33,9 @@ TERMINAL_SOC_VALUE_FACTOR = 0.9
 INTERVAL_H           = 0.25     # 15 minut v hodinách
 CURTAILMENT_PENALTY  = 0.001    # Kč/Wh – malá penalizace za omezení FVE pole A
 SOLVER_TIME_LIMIT    = 10       # sekund
-# MILP: jakýkoli významný výkon exportu ge (W) ⇒ koncové soc[t] ≥ arb_base_wh (rezerva z DB)
+# MILP: významný export ge (W) ⇒ koncové soc[t] ≥ podlaha; mimo arbitrážní relax je to arb_base_wh
+# (rezerva z DB). Při relaxaci spodku před extrémně záporným buy je podlaha soc_min_series[t]
+# (planner floor), jinak by šlo jen do zátěže a nešlo by „vypustit do sítě“ před levným nákupem.
 GE_MIN_EXPORT_W      = 1.0
 CORRECTION_WINDOW_H  = 1        # hodina zpět pro výpočet korekčního faktoru
 CORRECTION_MIN_CLAMP = 0.5      # spodní limit korekčního faktoru
@@ -518,7 +520,13 @@ def solve_dispatch(
         m_soc_bigm = float(battery.usable_capacity_wh)
         prob += ge[t] <= m_ge * z_export[t]
         prob += ge[t] >= GE_MIN_EXPORT_W * z_export[t]
-        prob += soc[t] >= arb_base_wh - m_soc_bigm * (1 - z_export[t])
+        # Bez relaxace: export končí ≥ rezerva (arb_base). Při relaxaci (_soc_min_wh_series pod min_soc)
+        # sladit s LP spodkem — jinak z_export vynutil arb_base a blokoval vývoz k planner floor.
+        if soc_min_series[t] < min_soc_wh - 1e-3:
+            export_soc_floor_t = float(soc_min_series[t])
+        else:
+            export_soc_floor_t = float(arb_base_wh)
+        prob += soc[t] >= export_soc_floor_t - m_soc_bigm * (1 - z_export[t])
 
         # EV – limity a připojení
         for e in range(EV):