Tight PAC-Bayes Generalisation Guarantees for Large Language Model Safety Monitoring accepted at NeurIPS 2026.