Beyond Red-Teaming: Formal Guarantees of LLM Guardrail Classifiers (ArXiv cs.LG Recent Papers, 2026)