A declared input-control interface

Let $p$ collect classical metric data, switching data, observation tests, and any other classical inputs. A common representation and common admissible support class must be fixed before comparing $p$ and $p^{\prime }$.