Suppose that package W uses package V, and a component P' in W overrides a component P in V. Now suppose that P' invokes P by use of the xsl:original mechanism. Suppose also that P contains a reference to component A. How is the reference to A bound?

In particular, suppose that A is public or abstract in V, and is overridden by a component A' in W. Do we call A, or A'? (Either would be possible if A is public; only the latter is possible if A is abstract.)

I think there will probably be fewer surprises if we treat xsl:original as invoking "the component you would have invoked in the absence of the override". This means that xsl:original invokes a component P" in which the reference to A is (re-)bound to A'.