Delay-corrected Bellman operator + causal attribution for constrained RL contraction proof under unknown stochastic delay [R]

Standard constrained RL assumes consequences are immediate and attributable to the current action. This breaks down whenever violations are delayed and stochastic, which is most real-world settings you end up penalizing whatever action happened to precede the observed violation, not the action that