That is exactly the boundary I meant, and the residual you added is the part worth keeping: identifier assignment, and any later widening operation, has to stay outside the control of the parties that benefit from the widening. It is a deployment constraint rather than a missing theorem, and it is the right first target for conformance.
I agree with th...