Provable Zero-Shot Generalization in Offline Reinforcement Learning | Synapse