A declared input-control interface

For the explicit flat test map, Proposition prop:compact-test provides an instantiated ${{\eta }^v}_j$. For the full Em06-B relational input map, the corresponding metric, switch, and plateau estimates require that manuscript's complete definitions and constants CheungEm06B. The present assumption does not pretend to reconstruct them from a release summary.