Private reproducibility artifacts for distilling a mathematical reasoning RL checkpoint into a 16-token soft prompt.