Interface-Invariant Signaling Logic