Safe Alone, Unsafe Together: Compositional Curvature Safety Alignment for Prompt Robustness
Abstract
Safety-aligned language models are typically evaluated against isolated prompt transformations or sampled attack compositions. We identify a distinct failure mode in which transformations that preserve appropriate behavior individually interact to cross the model's safety boundary. We formalize compositional prompt safety over a lattice of policy-preserving factors and introduce adverse safety curvature, the negative part of the mixed discrete derivative of a sequence-level appropriate-response margin. We show that factor-pair-specific curvature bounds yield a lower bound on every composed margin and a certified composition order on an exhaustively verified finite lattice. Guided by this result, we propose , which discovers violated base-margin, singleton, curvature, and utility conditions and applies minimum-change updates in an editable parameter subspace. During alignment, evaluates curvature contexts of size at most three, requiring lattice nodes only through order five; orders six through eight are reserved exclusively for higher-order extrapolation. Across three open-weight model families and eight prompt factors, of harmful requests that are safe under every singleton transformation fail at one or more test-only orders. Adverse curvature predicts these failures with an AUROC of . Relative to the strongest curvature-hinge baseline, reduces ASR across orders six through eight from to and SCFR from to , while changing benign helpfulness by only points. Pair-specific certification covers of test prompts through order three, and the robustness gains persist under unseen factor realizations, held-out factor families, factor-order permutations, and adaptive post-repair attacks. These results establish adverse safety curvature as a measurable and controllable source of compositional alignment failure.
est. 32% chance this paper gets accepted at ICLR 2027.
What do you think this paper will get?
All positions stay anonymous.