From b03f08d3a0207327c02103f738ed814d3ff1cadd Mon Sep 17 00:00:00 2001 From: Dusan Vojacek Date: Mon, 25 May 2026 23:28:47 +0200 Subject: [PATCH] prechazeni omezeni PV A u home-01 --- backend/services/planning_engine.py | 13 ++--- backend/tests/test_planning_dispatch_milp.py | 47 ++++++++++++++++--- .../planning-arbitrage-accounting.md | 2 +- docs/04-modules/planning.md | 2 +- docs/planning-changelog.md | 8 ++++ 5 files changed, 58 insertions(+), 14 deletions(-) diff --git a/backend/services/planning_engine.py b/backend/services/planning_engine.py index 4df5a49..59d233d 100644 --- a/backend/services/planning_engine.py +++ b/backend/services/planning_engine.py @@ -68,7 +68,7 @@ NEG_BUY_CHARGE_SHORTFALL_PENALTY_CZK_KWH = 100.0 PRE_NEG_CHARGE_PENALTY_CZK_KWH = 400.0 PRE_NEG_BATT_EXPORT_SHORTFALL_PENALTY_CZK_KWH = 80.0 PRE_NEG_BATT_EXPORT_MIN_SELL_CZK_KWH = 1.0 -PLANNER_BUILD_TAG = "2026-05-28-evening-peak-full-export-v28" +PLANNER_BUILD_TAG = "2026-05-28-pv-positive-sell-solver-v29" POS_SELL_PRE_NEG_SOC_SHORTFALL_PENALTY_CZK_PER_WH = 0.30 PRE_NEG_BUY_SOC_CEILING_SLACK_PENALTY_CZK_PER_WH = 0.25 PRE_NEG_BUY_EMPTY_EXPORT_SHORTFALL_PENALTY_CZK_KWH = 80.0 @@ -661,9 +661,9 @@ def _slots_with_charge_acquisition( def _pv_store_value_czk_kwh(slot: PlanningSlot, min_spread: float) -> float: """ - Minimální sell [Kč/kWh], pod kterým je FVE→síť horší než uložení na večerní peak. - Používá jen future_sell_opportunity (ne charge_acquisition — u fixního tarifu KV1 - by jinak blokoval export i při kladném sell 2 Kč). + Práh pro tvrdý zákaz ge_pv (sell pod budoucím max sell v horizontu). + U spotu při sell >= 0 se neaplikuje — export vs. nabíjení řeší LP; baterii + na večerní peak drží ge_bat (evening_early / push), ne ge_pv == 0. """ future = float( slot.future_sell_opportunity_czk_kwh @@ -2457,8 +2457,9 @@ def solve_dispatch( or t < first_neg_buy_idx ) ) or ( - # KV1: plná baterie + kladný sell — neblokovat ge_pv==0 (jinak masivní curtail). - getattr(grid, "block_export_on_negative_sell", False) + # Spot (home-01, KV1): při sell>=0 neblokovat ge_pv — solver export vs bc_pv; + # šetření na večerní peak = ge_bat, ne curtail FVE (pv_store jen sell<0 / fixed). + not purchase_fixed_pre and sell_t >= 0 and pv_surplus_w > 500 ) diff --git a/backend/tests/test_planning_dispatch_milp.py b/backend/tests/test_planning_dispatch_milp.py index 7e58b9d..971fa4b 100644 --- a/backend/tests/test_planning_dispatch_milp.py +++ b/backend/tests/test_planning_dispatch_milp.py @@ -1339,7 +1339,7 @@ class NegativeSellPvChargeTests(unittest.TestCase): 50.0, operating_mode="AUTO", ) - self.assertEqual(snap.get("planner_build_tag"), "2026-05-28-pre-neg-buy-soc-phases-v25") + self.assertEqual(snap.get("planner_build_tag"), "2026-05-28-pv-positive-sell-solver-v29") self.assertGreater( results[0].battery_setpoint_w, 2_500, @@ -1489,7 +1489,7 @@ class NegativeSellPvChargeTests(unittest.TestCase): 50.0, operating_mode="AUTO", ) - self.assertEqual(snap.get("planner_build_tag"), "2026-05-28-pre-neg-buy-soc-phases-v25") + self.assertEqual(snap.get("planner_build_tag"), "2026-05-28-pv-positive-sell-solver-v29") self.assertEqual(len(results), len(slots)) def test_gen_cutoff_full_soc_neg_sell_with_pv_b_feasible(self) -> None: @@ -1553,7 +1553,7 @@ class NegativeSellPvChargeTests(unittest.TestCase): 55.0, operating_mode="AUTO", ) - self.assertEqual(snap.get("planner_build_tag"), "2026-05-28-pre-neg-buy-soc-phases-v25") + self.assertEqual(snap.get("planner_build_tag"), "2026-05-28-pv-positive-sell-solver-v29") self.assertEqual(len(results), len(slots)) def test_fixed_tariff_neg_sell_no_grid_export(self) -> None: @@ -2239,7 +2239,7 @@ class ChargeAcquisitionArbitrageTests(unittest.TestCase): 50.0, operating_mode="AUTO", ) - self.assertEqual(snap["planner_build_tag"], "2026-05-28-evening-peak-full-export-v28") + self.assertEqual(snap["planner_build_tag"], "2026-05-28-pv-positive-sell-solver-v29") peak_idx = sells.index(4.04) peak = results[peak_idx] self.assertIn(peak.export_mode, ("BATTERY_SELL", "PV_SURPLUS")) @@ -2292,7 +2292,7 @@ class ChargeAcquisitionArbitrageTests(unittest.TestCase): 50.0, operating_mode="AUTO", ) - self.assertEqual(snap["planner_build_tag"], "2026-05-28-evening-peak-full-export-v28") + self.assertEqual(snap["planner_build_tag"], "2026-05-28-pv-positive-sell-solver-v29") r = results[0] self.assertEqual(r.export_mode, "BATTERY_SELL") self.assertGreaterEqual(abs(r.grid_setpoint_w), 12_500) @@ -3032,7 +3032,42 @@ class PreNegativeSellExportTests(unittest.TestCase): class Home01PvStoreValueTests(unittest.TestCase): - """FVE (zejména pole B) nesmí jít do sítě pod hodnotou uložení / večerní peak.""" + """FVE: spot sell<0 → nabít/vent B; sell>=0 → LP volí export vs bc (ne tvrdý curtail).""" + + def test_positive_sell_full_battery_exports_pv_not_curtail(self) -> None: + """Odpoledne sell ~3 Kč, večer ~6,6 — plná baterie: export FVE, ne pv_store curtail.""" + slots = [ + PlanningSlot( + interval_start=datetime(2026, 5, 25, 12, 0, tzinfo=timezone.utc), + buy_price=2.5, + sell_price=3.0, + pv_a_forecast_w=10_000, + pv_b_forecast_w=0, + load_baseline_w=1800, + ev1_connected=False, + ev2_connected=False, + allow_charge=False, + allow_discharge_export=False, + future_sell_opportunity_czk_kwh=6.6, + ) + ] + battery = _battery(uc_wh=64_000.0, min_pct=12.0, arb_pct=20.0) + battery.max_charge_power_w = 18_000 + battery.planner_terminal_soc_value_factor = 0.0 + battery.planner_daytime_charge_target_enabled = False + 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.98 * battery.soc_max_wh + results, _, _ = solve_dispatch( + slots, battery, hp, grid, [None, None], vehicles, soc0, 50.0, operating_mode="AUTO" + ) + r = results[0] + self.assertLess(r.grid_setpoint_w, -500, "přebytek FVE do sítě při kladném sell") + self.assertLess(r.pv_a_curtailed_w, 5000, "nesmí useknout celé pole A kvůli pv_store") def test_pv_b_low_sell_charges_not_exports(self) -> None: """08:30 archetyp: sell ~0,09, večer ~5,5 → bc, ne ge_pv.""" diff --git a/docs/04-modules/planning-arbitrage-accounting.md b/docs/04-modules/planning-arbitrage-accounting.md index 83fee38..bd11009 100644 --- a/docs/04-modules/planning-arbitrage-accounting.md +++ b/docs/04-modules/planning-arbitrage-accounting.md @@ -110,7 +110,7 @@ Pro **home-01** při nabíjení 11:00–14:00 za ~0,7–0,9 Kč a výprodeji 19: 1. **`ems.fn_load_planning_slots_full`** (`R__063`): grid **B** = nejlevnější sloty v AM/PM do Wh rozpočtu; **nevyčerpaný AM rozpočet přejde do PM** (odpolední NT za ~0,5 Kč může nabíjet i po ranním dobití). `grid_target × charge_slot_buffer`, cap slotů též × buffer. **A** = PV jen pokud `sell ≥ future_sell_lookahead − degrad`. 2. **`solve_dispatch` (AUTO):** objective `gi×buy − ge_pv×sell − ge_bat×sell + ge_bat×acquisition` (export bat. jen v `allow_discharge_export`). Odstraněn cross-slot guard `ge_pv ≥ surplus` / `bc=0` dle `export_refill_net`. -3. **Guard FVE:** `ge_pv=0` při `sell < max(future_sell_opportunity, charge_acquisition) − degrad` (PV store value); výjimka jen plná baterie v kotvícím slotu. Při `sell < 0` také `ge_pv=0` (home-01 bez `block_export_on_negative_sell`). Bez blanket výjimky „pole B má přebytek“. +3. **Guard FVE:** `ge_pv=0` při `sell < future_sell_opportunity − degrad` **jen pokud `sell < 0`** (spot) nebo fixní tarif — u **`sell ≥ 0`** spot neblokuje export FVE kvůli budoucímu peak sell (solver export vs. nabíjení; baterii šetří `ge_bat`). Při `sell < 0` home-01: `ge_pv=0` / ventil pole B. Tag `2026-05-28-pv-positive-sell-solver-v29`. 4. **`solve_dispatch_two_pass`:** pass 1 → vážený `buy` z `bc`+`gi` v `allow_charge` → pass 2; volá `run_daily_plan` / `run_rolling_replan` v AUTO. Snapshot: `acquisition_pass1_czk_kwh`, `acquisition_pass2_czk_kwh`, `two_pass_enabled`. 5. **Regrese:** `Home01RegressionTests` v `backend/tests/test_planning_dispatch_milp.py`; masky v `test_planning_charge_slot_selection.py`. 6. **Load-first (Deye, AUTO):** proměnné `pv_ld` / `pv_sp`, `bc_pv` / `bc_gi`; přebytek FVE jen `bc_pv + ge_pv ≤ pv_sp`; `gi ≤ load + bc_gi` (žádný fiktivní import při PV exportu). Plná bilance `pv_a + pv_b + gi + bd = load + ev + hp + bc + ge`. Test `LoadFirstDispatchTests`. diff --git a/docs/04-modules/planning.md b/docs/04-modules/planning.md index 432b538..18666c8 100644 --- a/docs/04-modules/planning.md +++ b/docs/04-modules/planning.md @@ -17,7 +17,7 @@ - **LP (AUTO):** objective explicitně `−ge_pv×sell − ge_bat×sell + ge_bat×acquisition` v exportních slotech; **bez** cross-slot vynucení `ge_pv ≥ surplus`. Guard FVE: `ge_pv=0` jen pokud `sell < charge_acquisition − degrad` (ne `sell < buy` ve slotu). Viz [`planning-arbitrage-accounting.md`](planning-arbitrage-accounting.md). - **Load-first (Deye, AUTO):** proměnné `pv_ld` (PV → load+EV+TČ), `pv_sp` (přebytek), `bc_pv` / `bc_gi`. Plná bilance `pv_a + pv_b + gi + bd = load + ev + hp + bc + ge`; `bc_pv + ge_pv ≤ pv_sp`; `gi ≤ load + bc_gi`; mimo `allow_discharge_export`: `bd ≤ load − pv_ld` a **`pv_ld ≥ load − gi − bd`**. Snapshot: `load_first_enabled=true`. Test `LoadFirstDispatchTests`. - **Tvrdé výkonové limity site/baterie:** `gi ≤ site_grid_connection.max_import_power_w` (breaker); **`bc_pv + bc_gi ≤ asset_battery.max_charge_power_w`**; **`ge ≤ max_export_power_w`** (proměnná `ge`, platí `ge = ge_pv + ge_bat`); **`bd + ge_bat ≤ asset_battery.max_discharge_power_w`** (vybíjení do domu + export z baterie nesmí současně překročit BMS). Dříve LP dovoloval import+nabíjení a dvojnásobné nabíjení; u prodeje hrozilo současné `bd` a `ge_bat` až 2× max discharge — viz `SitePowerCapTests`. - - **Hodnota FVE (PV store value):** `ge_pv = 0`, pokud `sell < future_sell_opportunity − degradation` (ne `charge_acquisition` — u fixního KV1 by jinak blokoval export při sell 2 Kč). **Před prvním `sell < 0` v horizontu:** při `sell ≥ 0` smí `ge_pv` až do `pv_sp` (strategie BA81: vyvézt přes poledne, pak nabít z FVE v záporném okně). Výjimka **nucený vent** jen plná baterie. Testy `Home01PvStoreValueTests`, `PreNegativeSellExportTests`. + - **Hodnota FVE (PV store value):** tvrdé `ge_pv = 0` jen pokud `sell < future_sell_opportunity − degradation` **a** `sell < 0` (spot), nebo u fixního tarifu dle `fixed_pv_b_export_cap`. Při **`sell ≥ 0` (spot home-01, KV1):** `ge_pv` **neblokuje** pv_store — solver volí export vs. `bc_pv` podle `−ge_pv×sell` a degradace; **baterii** na večerní peak drží `ge_bat` (`evening_early` / push), ne curtail FVE. **Před prvním `sell < 0`:** `allow_pre_neg_pv_export`. Výjimka **nucený vent** jen plná baterie. Tag `2026-05-28-pv-positive-sell-solver-v29`. Testy `Home01PvStoreValueTests`, `PreNegativeSellExportTests`. - **Drahý nákup → vlastní spotřeba z baterie:** mimo `allow_charge` platí `bd + pv_ld ≥ load_baseline + hp[t]` a `gi ≤ EV + hp[t]` (ne `hp_rated`). **Spot:** drahý slot = `buy > min(buy≥0) + degradace`. **Fixní nákup (DB `purchase_pricing_mode=fixed` nebo heuristika rozptylu buy < 0,25):** navíc `buy > charge_acquisition + degradace`. Na spotu **nesmí** `charge_acquisition` (~0,9 Kč) označit všechny sloty jako drahé → Infeasible (home-01). Při **Infeasible** solver jednou opakuje s `relaxed_expensive_import` (síť smí krmit baseload v drahých slotech; v `solver_params.inputs.relaxed_expensive_import=true`). Testy `AutoPassiveSelfConsumptionTests`, `test_spot_low_acquisition_does_not_mark_all_slots_expensive`, `test_negative_buy_in_horizon_does_not_block_all_grid_import`. - **Záporný výkup (`sell < 0`) bez exportu:** `block_export_on_negative_sell` (KV1) **nebo** `purchase_pricing_mode=fixed` (BA81). **Spot (home-01):** `ge_pv=0` dokud není plná baterie; při plné jen ventil pole B (`ge_pv ≤ pv_b`, `w_pv_b_vent_neg`); výboj baterie při `sell<0` jen **12 slotů** před `buy ≤ planner_extreme_buy_threshold` (default −2), pokud spread do budoucna dává smysl — tag `2026-05-26-neg-sell-bat-dump-extreme-buy-v11`. Večerní discharge maska u spotu: denní peak ≥17:00 (ne `sell > ref_buy` v slotu). - **Pole B při sell<0 (home-01):** pokud `block_export_on_negative_sell = false`, LP nesmí vynutit `ge_pv = 0` (přebytek neriťitelného PV B). KV1 s `block_export = true` jen curtail A / nabíjení. diff --git a/docs/planning-changelog.md b/docs/planning-changelog.md index ef3ead0..d73905d 100644 --- a/docs/planning-changelog.md +++ b/docs/planning-changelog.md @@ -5,6 +5,14 @@ Formát: **datum (ISO)** · stručný důvod · soubory · chování / ověřen --- +## 2026-05-28 — FVE při kladném sell: solver místo pv_store curtail (v29) + +**Problém (home-01 odpoledne):** `ge_pv = 0` když `sell < max(future_sell)` (např. 3 Kč vs. večerních 6 Kč) při plné baterii → **curtail** celého pole A. Záměr „držet na večerní peak“ měl platit pro **baterii** (`ge_bat`), ne blokovat export FVE. + +**Změna (tag `2026-05-28-pv-positive-sell-solver-v29`):** `skip_pv_store_block` u spotu pro **`sell ≥ 0`** + PV přebytek (home-01 i KV1). Tvrdý `ge_pv = 0` zůstává pro **`sell < 0`** (a fixní tarif dle `fixed_pv_b_export_cap`). Večerní export baterie beze změny (v28). + +**Ověření:** `pytest … -k Home01PvStoreValueTests` · `planner_build_tag` **v29** · odpolední slot: export FVE (`grid_setpoint_w < 0`), ne plný curtail. + ## 2026-05-28 — večerní export: plný site cap (v28) **Problém (v27):** Push používal `ge_bat ≤ (max_discharge−load)/2` kvůli LP limitu `bd+ge_bat ≤ BMS` při bilanci `bd≈load+ge_bat` — plán ~8 kW místo až **13,5 kW** (home-01).