# Coordinator-only PP4 production-policy control (R-PP4, role P). Source from the separate clean experiment checkout.
# Identical to PP4-sampled.env's greedy role A (same source, verifier overlay, remote_dspark, mounts, PP4 worker identity
# and round-trace mount) except that production's own policy stays in place: no fixed-depth/lookup/margin/adaptive-off
# tokens, and no SPEC_OVERRIDE, so serve_exp.sh applies production's per-batch schedule [[1,2,5],[3,4,4]] and its
# VLLM_DSV41_ADAPTIVE_K=1 / AK_* defaults exactly as production serve.sh does. Nothing else differs.
case "${PP4_ROLE-}" in P) ;; *) echo 'PP4-P STOP: role P required' >&2; return 1;; esac
# Stripping the appended policy tokens below is exact only while production's own env sets none of those keys.
pp4p_prod=$(set +u; . "$HOME/dsv41-deploy/dsv41.env" >/dev/null || exit 1
  printf '%s %s' "${OFFLOAD_DOCKER_ENV-}" "${OFFLOAD_DSPARK_ENV-}") || return 1
for pp4p_token in $pp4p_prod; do
  case "$pp4p_token" in
    VLLM_DSV41_ADAPTIVE_K=*|VLLM_DSV41_AK_*|VLLM_DSPARK_DEPTH_POLICY=*|VLLM_DSPARK_DEPTH_FILE=*|VLLM_DSPARK_LOOKUP=*|VLLM_DSPARK_REMOTE_WANT_MARGIN=*|VLLM_DSPARK_SAMPLED_TOP32=*)
      echo "PP4-P STOP: production dsv41.env sets ${pp4p_token%%=*}; this control would drop it" >&2; return 1;;
  esac
done
PP4_ROLE=A
. offload/launch/windows/PP4-sampled.env || return 1
PP4_ROLE=P
pp4p_env=
for pp4p_token in $EXP_DOCKER_ENV; do
  case "$pp4p_token" in
    VLLM_DSV41_ADAPTIVE_K=0|VLLM_DSPARK_DEPTH_POLICY=fixed:5|VLLM_DSPARK_DEPTH_FILE=|VLLM_DSPARK_LOOKUP=|VLLM_DSPARK_REMOTE_WANT_MARGIN=0) ;;
    *) pp4p_env="${pp4p_env:+$pp4p_env }$pp4p_token";;
  esac
done
case " $pp4p_env " in *" VLLM_DSPARK_SAMPLED_TOP32=0 "*) ;; *) echo 'PP4-P STOP: greedy switch missing' >&2; return 1;; esac
EXP_DOCKER_ENV=$pp4p_env
unset SPEC_OVERRIDE
LABEL=PP4-P-production-policy
unset pp4p_prod pp4p_token pp4p_env