The official reward functions are translated from the pinned repository. Uniform-backward exact state flows produce ingredient policies whose terminal law is exactly R/Z. Forward rollout and an independent edge-flow conservation audit verify the mixture.
