 Data compatibility with the regularizer domain

Exact fitting in the small-parameter limit requires data that can be approximated by forward images of elements in the regulariser's effective domain. Membership merely in the operator range is insufficient when an extended-real regulariser imposes a hard constraint.