Reasoning distillation safe in verifiable domains

Distilling language models is fraught because of embedded values, but for reasoning models limited to verifiable domains you can distill quite securely by combining code cleanliness and security filters, tools like Llama Guard and Code Shield, and extensive red teaming to check the model isn't doing anything unwanted after distillation.