Growing input dimensions require a separate contract

The last sentence concerns the certificate, not a necessary condition for every successful recovery method. For infinite-dimensional input spaces, energy-constrained norms provide a different comparison framework Shirokov; no unrestricted infinite-input diamond limit is inferred here.