grail focuses on post-training language models with verifiable inference capabilities. It leverages the GRAIL protocol (Guaranteed Rollout Authenticity via Inference Ledger) to ensure cryptographically verifiable model outputs during reinforcement learning rollouts.