Controllable Caps and Carve-Outs: What Abstractors Get Wrong | CAMAudit