From fc0761fb2a5555e40f06f154fe645411ff3bce90 Mon Sep 17 00:00:00 2001
From: Dusan Vojacek <dusan.vojacek@direct.cz>
Date: Thu, 21 May 2026 15:04:24 +0200
Subject: [PATCH] dalsi ladeni

---
 backend/services/planning_engine.py           | 17 ++++-
 backend/tests/test_planning_dispatch_milp.py  | 73 +++++++++++++++++++
 .../planning-arbitrage-accounting.md          |  4 +-
 docs/04-modules/planning.md                   |  1 +
 4 files changed, 93 insertions(+), 2 deletions(-)

diff --git a/backend/services/planning_engine.py b/backend/services/planning_engine.py
index b3c3a6d..414d251 100644
--- a/backend/services/planning_engine.py
+++ b/backend/services/planning_engine.py
@@ -1095,16 +1095,31 @@ def solve_dispatch(
                 0.0,
                 float(s.pv_a_forecast_w) + float(s.pv_b_forecast_w) - load_t,
             )
+            # Mezi-slotová arbitráž: ráno prodat FVE (sell > acquisition), odpoledne levně
+            # nabít ze sítě — necpát přebytek do baterie jen protože sell < buy ve stejném slotu.
+            cross_slot_pv_export = (
+                t not in charge_slots
+                and pv_surplus_w > 0
+                and sell_t >= charge_acquisition_czk_kwh + min_spread
+                and any(ts in charge_slots for ts in range(t + 1, T))
+            )
             # Ztrátový export FVE (sell ≪ buy): zakázat jen pokud jde energii do baterie.
-            # Výjimky: plná baterie (ventil), neriťitelné pv_b s přebytkem.
+            # Výjimky: plná baterie (ventil), neriťitelné pv_b s přebytkem, cross-slot výše.
             if sell_t < buy_t - min_spread:
                 block_loss_pv_export = not (
                     float(s.pv_b_forecast_w) > 0 and pv_surplus_w > 0
                 )
                 if t == 0 and current_soc_wh >= float(battery.soc_max_wh) - soc_headroom_wh:
                     block_loss_pv_export = False
+                if cross_slot_pv_export:
+                    block_loss_pv_export = False
                 if block_loss_pv_export:
                     prob += ge_pv[t] == 0
+            if cross_slot_pv_export:
+                prob += bc[t] == 0
+                prob += ge_pv[t] >= min(
+                    pv_surplus_w, float(grid.max_export_power_w)
+                )
             # Drahý nákup oproti horizontu: import jen na load + EV + TČ, ne na grid-nabíjení.
             if buy_t >= 0 and buy_t > ref_buy_horizon + min_spread:
                 prob += gi[t] <= load_t + ev_cap_t + hp_rated_w
diff --git a/backend/tests/test_planning_dispatch_milp.py b/backend/tests/test_planning_dispatch_milp.py
index 77c8ad8..8a8f684 100644
--- a/backend/tests/test_planning_dispatch_milp.py
+++ b/backend/tests/test_planning_dispatch_milp.py
@@ -1420,6 +1420,79 @@ class ChargeAcquisitionArbitrageTests(unittest.TestCase):
         )
         self.assertLess(evening.battery_setpoint_w, -500)
 
+    def test_morning_pv_export_when_sell_above_acquisition_and_later_grid_charge(self) -> None:
+        """Ráno sell>acquisition a sell<buy, později levné grid CHARGE — FVE→síť, ne do bat."""
+        base = datetime(2026, 5, 22, 3, 0, tzinfo=timezone.utc)
+        morning = PlanningSlot(
+            interval_start=base,
+            buy_price=5.2,
+            sell_price=3.4,
+            pv_a_forecast_w=2000,
+            pv_b_forecast_w=0,
+            load_baseline_w=600,
+            ev1_connected=False,
+            ev2_connected=False,
+            allow_charge=False,
+            allow_discharge_export=False,
+            charge_acquisition_buy_czk_kwh=0.55,
+        )
+        cheap = PlanningSlot(
+            interval_start=base + timedelta(minutes=15),
+            buy_price=0.55,
+            sell_price=-0.2,
+            pv_a_forecast_w=5000,
+            pv_b_forecast_w=0,
+            load_baseline_w=1800,
+            ev1_connected=False,
+            ev2_connected=False,
+            allow_charge=True,
+            allow_discharge_export=False,
+            charge_acquisition_buy_czk_kwh=0.55,
+        )
+        evening = PlanningSlot(
+            interval_start=base + timedelta(minutes=30),
+            buy_price=7.0,
+            sell_price=5.0,
+            pv_a_forecast_w=0,
+            pv_b_forecast_w=0,
+            load_baseline_w=2500,
+            ev1_connected=False,
+            ev2_connected=False,
+            allow_charge=False,
+            allow_discharge_export=True,
+            charge_acquisition_buy_czk_kwh=0.55,
+        )
+        slots = [morning, cheap, evening]
+        battery = _battery(uc_wh=64_000.0, min_pct=12.0, arb_pct=20.0)
+        battery.max_charge_power_w = 18_000
+        battery.max_discharge_power_w = 18_000
+        hp = SimpleNamespace(rated_heating_power_w=0, tuv_min_temp_c=45.0, tuv_target_temp_c=55.0)
+        grid = SimpleNamespace(max_import_power_w=17_000, max_export_power_w=13_500)
+        vehicles = [
+            SimpleNamespace(max_charge_power_w=0, battery_capacity_kwh=1.0, default_target_soc_pct=80.0),
+            SimpleNamespace(max_charge_power_w=0, battery_capacity_kwh=1.0, default_target_soc_pct=80.0),
+        ]
+        soc0 = 0.25 * battery.usable_capacity_wh
+        results, _ms, _ = solve_dispatch(
+            slots,
+            battery,
+            hp,
+            grid,
+            [None, None],
+            vehicles,
+            soc0,
+            50.0,
+            operating_mode="AUTO",
+        )
+        am = results[0]
+        self.assertLess(
+            am.grid_setpoint_w,
+            -100,
+            "morning PV surplus should export when later cheap grid charge exists",
+        )
+        self.assertIn(am.export_mode, ("PV_SURPLUS", "BATTERY_SELL"))
+        self.assertLessEqual(am.battery_setpoint_w, 100)
+
 
 if __name__ == "__main__":
     unittest.main()
diff --git a/docs/04-modules/planning-arbitrage-accounting.md b/docs/04-modules/planning-arbitrage-accounting.md
index b23504e..280b17a 100644
--- a/docs/04-modules/planning-arbitrage-accounting.md
+++ b/docs/04-modules/planning-arbitrage-accounting.md
@@ -47,7 +47,9 @@ Energetická bilance je také **per slot** (15 min). Když solver v evening slot
 
 ### 2.2 Guardy `sell < buy` ve stejném slotu
 
-Tvrdé zákazy typu `ge_pv = 0` když `sell[t] < buy[t]` jsou správné pro **FVE export v tomže slotu** (fyzicky exportovat za haléř při drahém VT).
+Tvrdé zákazy typu `ge_pv = 0` když `sell[t] < buy[t]` brání **ztrátovému** exportu FVE v tomže slotu (prodat za 3 Kč při VT nákupu 5 Kč).
+
+**Výjimka (AUTO, od 2026-05):** pokud je v budoucnu slot s `allow_charge` (levné grid nabíjení) a `sell[t] ≥ charge_acquisition + degrad`, solver **vyžaduje export PV přebytku** (`ge_pv`, `bc=0`) — typicky ranní prodej FVE nad ~3 Kč/kWh a NT nabíjení odpoledne. Implementace: `solve_dispatch()` v `planning_engine.py`.
 
 Pro **baterii** stejný test v **exportním** slotu **nesmí** být jediná logika arbitráže — večer téměř vždy `sell[t] < buy[t]` (VT/NT vs výkupní marže), přesto má smysl **vybíjet do sítě** energii nabitou v levném okně.
 
diff --git a/docs/04-modules/planning.md b/docs/04-modules/planning.md
index f1f23d9..576fe18 100644
--- a/docs/04-modules/planning.md
+++ b/docs/04-modules/planning.md
@@ -12,6 +12,7 @@
 - **Masky `allow_charge` / `allow_discharge_export` (tenký anti-mikrocyklus):** generuje `ems.fn_load_planning_slots_full` (`R__063`). Ekonomiku primárně řídí LP podle efektivních cen; masky jen omezují počet slotů pro grid nabíjení / export baterie.
   - **PV-surplus (vrstva A):** ranking dle **`store_score DESC`** = `future_sell_opportunity − sell − max(0, buy−sell)`; jen sloty s `sell ≥ buy − degradation`. Kumulativní PV pokrývá `grid_target` (deficit SoC, nad `reserve_soc` bez násobení `charge_slot_buffer`). Zbytek → `allow_charge=false` (PV jen do sítě / `bc ≤ pv_surplus` v LP).
   - **Grid ze sítě (vrstva B, před FVE):** spot, **AM/PM rozpočet Wh 50/50** z `grid_target`. Výběr: nejdřív **kalendářní den plánu** (`p_from` Prague), pak sloty před **výkupním oknem daného dne** (`sell > min(buy téhož dne)+degrad` — ne globální min zítra). Lookahead VT→NT jen před tímto oknem. **`charge_acquisition`:** vážený `buy` jen u `allow_grid_charge` (ne FVE vrstva A).
+  - **LP (AUTO):** pokud `sell ≥ charge_acquisition + degrad` a později existuje `allow_charge`, přebytek FVE jde **do sítě** (`ge_pv`), ne do baterie — i když ve stejném slotu `sell < buy` (ranní VT výkup vs odpolední NT nákup). Viz [`planning-arbitrage-accounting.md`](planning-arbitrage-accounting.md) §2.2.
   - **`ref_buy_min` (brána exportu):** `min(buy_price)` horizontu — jen „existuje levný nákup?“, **ne** průměrná cena nabití přes hodiny. Export sloty: `sell > ref_buy_min + degradation` (spot). Viz [`planning-arbitrage-accounting.md`](planning-arbitrage-accounting.md).
   - Pokud `energy_to_fill <= 0` nebo `charge_slot_buffer = 0`: všechny sloty povoleny.
 - **LP ekonomické guardy** (`solve_dispatch`, AUTO): pokud `sell < buy − degradation` → `ge_pv=0` (výjimka: plná baterie, přebytek **pv_b**). Pokud `buy > min(buy)+degradation` → `gi` jen na load+EV+TČ. Viz `planning_engine.py` sekce po slot pre-selection.