Update evaluate_checkpoint_real.py

evaluate_checkpoint_real.py

@@ -102,9 +102,13 @@ def _path_check_report() -> None:
     n_ok = _PATH_CHECK_N - _PATH_CHECK_DIVERGE
     print(
         f"PATH_CHECK summary: n={_PATH_CHECK_N}  ok={n_ok}  "
-        f"diverge={_PATH_CHECK_DIVERGE}  "
+        f"argmax_miss_or_hit={_PATH_CHECK_DIVERGE}  "
         f"rate={_PATH_CHECK_DIVERGE / _PATH_CHECK_N:.3f}  "
-        f"(loop product is authoritative; rs is display-only)",
+        f"(pack-level argmax [Option A, decision-locked 2026-08-15] is "
+        f"authoritative for product_actionable; this counts days where "
+        f"OR-across-zones [Option B] would have differed -- i.e. some "
+        f"zone's own drought/flood channel independently cleared the gate "
+        f"while the argmax-selected zone did not. Not a display bug.)",
         flush=True,
     )
 
@@ -403,6 +407,13 @@ def _multi_zone_risk_score(ctx: EpisodeContext) -> RiskScore:
     ctx.resolved_zone_obs()/ctx.resolved_zone_forecasts() the same way the
     env does, or "rs" silently stops representing the same decision as the
     env's actual per-step product_actionable flag.
+
+    This is Option A (argmax by supply_shortfall_prob) -- the documented,
+    decision-locked (2026-08-15) rule for the authoritative pack-level
+    product decision. Used here only to make displayed per-day fields
+    (alert_level/drought_risk/flood_risk) consistent with whichever zone
+    actually drove that decision. Do NOT use this for the PATH_CHECK
+    divergence comparison -- see _or_across_zones_product below for why.
     """
     zone_obs = ctx.resolved_zone_obs()
     zone_fc = ctx.resolved_zone_forecasts()
@@ -416,6 +427,30 @@ def _multi_zone_risk_score(ctx: EpisodeContext) -> RiskScore:
     )
 
 
+def _or_across_zones_product(ctx: EpisodeContext, gate: ProductGateConfig) -> bool:
+    """Option B from the documented multi-zone product selection decision:
+    any(is_product_actionable(zone) for zone in zones), independent of
+    which zone owns the highest supply_shortfall_prob.
+
+    Proven property: argmax_product (Option A / loop_product) implies
+    or_product always, so the only possible divergence is
+    loop_product=False, or_product=True -- an "argmax miss" where some
+    zone's own drought/flood channel independently crosses the gate while
+    the argmax-selected zone (chosen by a supply_shortfall_prob blend that
+    also includes harvest pressure) does not. This is the real, still-open
+    signature PATH_CHECK exists to surface (decision recorded 2026-08-15:
+    keep argmax as the product rule; the divergence itself stays worth
+    tracking, not silently eliminated).
+    """
+    zone_obs = ctx.resolved_zone_obs()
+    zone_fc = ctx.resolved_zone_forecasts()
+    for zo, zf in zip(zone_obs, zone_fc):
+        score = compute_risk_score(zo, zf, ctx.config)
+        if is_product_actionable(score, gate):
+            return True
+    return False
+
+
 def decide_scorer_oracle(
     obs: ZoneObs,
     fc: ForecastResult,
@@ -491,9 +526,12 @@ def decide_checkpoint(
     rs = None
     try:
         rs = _multi_zone_risk_score(ctx)
-        rs_product = is_product_actionable(rs, gate)
+    except Exception:
+        pass
+    try:
+        or_product = _or_across_zones_product(ctx, gate)
         _PATH_CHECK_N += 1
-        if rs_product != loop_product:
+        if or_product != loop_product:
             _PATH_CHECK_DIVERGE += 1
     except Exception:
         pass