I think it would be straightforward to extend the definition so that
does apply to the current piece. This seems like the only sane
specification to me.
Agreed. AFAICT it wasn't so much specified otherwise, as not really
specified at all, and then only implementation detail was discussed.