A.19.UINDM:5.4 - One Characteristic at two Scale positions

Let the exact space declaration CS7 have ordered positions i1=(Temperature, Celsius) and i2=(Temperature, kelvin), followed by an unrelated cost position. A state contains x_i1=20 °C and x_i2=293.15 K. The policy “select Celsius temperature” returns S={i1}. The explicit all-matches policy “all Temperature positions” returns {i1,i2}, with x|_S in the original order and both Scale meanings retained. UINDM converts neither value.

For the first policy, a separately admitted USCM scoring use can read the Celsius value under its declared method g_C(c)=(c-0)/(40-0) on Celsius interval [0,40], returning 0.5 at 20. The interval endpoints are part of this illustrative scoring declaration. Supplying 293.15 as though it were Celsius violates that method’s input basis; a TemperatureRef alone would not reveal the error. All-matches selection requires a receiving method that accepts those two Scale-specific positions, or a narrower selection; it is not a universal default.

Suppose a new declaration CS8 reverses these two positions. Resolving “Celsius temperature” now selects its CS8-local position i2. Reusing CS7’s naked integer 1 would select kelvin and is invalid. If the policy merely says “Temperature” and supplies no rule for the two matches, return its unresolved/abstain disposition. A missing indicator policy retains the defined abstain result, and evidence gating still applies only when the selected policy requires it.