TY - RPRT TI - Exactness Certificates for Closed-Form CBF Safety-Filter Projections AU - Ankit Goel PY - 2026 UR - https://arxiv.org/abs/2606.08255 ID - 2606.08255 ER -