Research questionHow can safety-critical controllers update differentiable boundaries as data-defined unsafe regions evolve?Safety-critical controllers need differentiable boundaries to distinguish allowable states from unsafe ones. When unsafe regions are represented by changing data, the boundary must adapt without losing conservative coverage or safety guarantees.