Equal shape is not equal functional

The proposition isolates the coordinate contribution. It does not show that independently defined scalar legs cannot compensate a coordinate difference in a particular complete observable. Nor does it apply VI's solution-jet descent theorem to the inadmissible first metric coefficient of Proposition prop:jet-domain.

Even a successful future coordinate match would leave a separate observable comparison: one must match all inputs and both scalar and coordinate legs.