Imagine you're a restaurant manager with a fixed daily budget for free appetizers. You can give them to anyone who walks in, but you've got rules: no more than 30% of appetizers go to regulars (fairness), and you can't spend more than $200 total (budget). You also know that your waitstaff has been handing out appetizers on vibes — not randomly, not optimally, just whatever felt right. Your challenge: figure out the true effect of the appetizer on whether someone comes back, despite the biased historical data, then pick the best targeting policy that respects all your constraints simultaneously. That's this paper. The LP relaxation of a constrained MDP, with causal correction baked into the transition dynamics, solves the whole thing in one shot. The committed claim: formulating Next Best Action as a Constrained MDP, integrating off-policy causal correction directly into the LP formulation, and extracting shadow prices on operational constraints — all in a single, jointly optimized framework. This is not the first paper to use CMDPs for targeting, nor the first to do causal correction in offline RL, but the integration into a single LP where constraint shadow prices become interpretable business objects is genuinely useful and underexplored. The architecture sits in the LP-dual family of offline RL — not deep RL, not policy gradient, not conservative Q-learning. The method leans on the classical result that infinite-horizon discounted MDPs can be solved as linear programs over occupation measures. The causal correction modifies the transition kernel estimated from observational data (a temporal holdout acts as a quasi-experiment) before feeding it into the LP. This means the policy optimization, constraint enforcement, and causal debiasing all live inside the same convex program. No iterative policy-constraint alternation, no Lagrangian relaxation hacks. The tradeoff: the LP scales with |S| × |A|, so it requires a compact, discretized state space — here, RFM (Recency, Frequency, Monetary) stages. Performance numbers on the rideshare coupon case study: 19% LTV improvement over the estimated behavior policy, 8% over a myopic (greedy one-step) baseline. These are model-based off-policy evaluation numbers, not online A/B test results. The causal dynamics come from a temporal holdout — a period where coupons were withheld — which is a reasonable but imperfect substitute for a randomized experiment. The action space is binary (coupon vs. no coupon), and the state space is discretized into RFM buckets. The paper is honest about both limitations but does not run the obvious stress tests. The shadow price result is the most practically distinctive contribution. Each business constraint — budget caps, fairness quotas, welfare floors — has a dual variable that tells you: "relaxing this constraint by one unit would increase LTV by $X." This is exactly the object a business stakeholder needs to make tradeoff decisions. Most RL papers treat constraints as engineering problems; this one treats them as economic objects with measurable opportunity costs. Integrity is mixed. The temporal holdout for causal estimation is better than pure observational data but weaker than a proper RCT. Off-policy evaluation is model-based, meaning the policy is evaluated against the same model used to optimize it — a circularity the authors acknowledge but cannot eliminate without online deployment. No code release is mentioned, no pre-registration, and the single case study on one company's data limits generalizability. The RecSys workshop acceptance (oral) signals peer review, but workshop-tier, not main-conference. The milestone question is about scaling beyond binary actions and compact state spaces. The LP formulation works beautifully for small |S| × |A| but becomes intractable for high-dimensional continuous states. The obvious next step — function approximation within the LP framework, or scaling to multi-action spaces with 10+ interventions — would prove the framework is a general-purpose decision module rather than an elegant solution for toy-sized problems. The authors claim action-agnosticism but demonstrate only the binary case. The experiment the authors didn't run: an online A/B test, or at minimum, evaluation on a second company's dataset. The honest read is (a) — they didn't have deployment access or a second dataset. The single-company, single-action-space, model-based evaluation is the load-bearing limitation. Everything interesting about this framework — the shadow prices, the constraint handling, the causal correction — needs validation against ground truth that only online experiments can provide.
