Enforcing a Strict Safety Margin in LLM Text Generation via Barrier Lyapunov Control
This work derives an explicitly computable sufficient disturbance budget under which the clearance guarantee degrades gracefully, and proves that the clearance margin is never violated and that the prescribed clearance is restored exponentially, yielding an explicit clearance floor.