Thank you Carsten, and thank you Pacal. Your replies are valuable and packed with insight.
I'll wrap up with how I interpret RPL's behaviour in terms of IP hops.
On one hand, RFC6775 defines a route-over topology as follows:
"A topology where hosts are connected to the 6LBR through the use of intermediate layer-3 (IP) routing.
Here, hosts are typically multiple IP hops away from a 6LBR.
The route-over topology typically consists of a 6LBR, a set of 6LRs, and hosts."
If RPL is route-over by definition, then RFC6775 would imply that there are typically multiple IP hops between a leaf and the border router.
On the other hand, there at least two contradictions (which I justify after stating them):
(a) RFC6550 states that "RPL also introduces the capability to bind a subnet together with a common prefix and to route within that subnet."
(b) Reduction of a DODAG to a single subnet prefix, albeit only only one parent-child relationship deep, is clearly shown at Contiki-NG's Github page (deep dive section).
The hinge on which my understanding revolves is that an IP hop traverses a router and ***results in a change of prefix of the link on which the packet travels*** :
--------<incoming packet; link prefix = p1>------><router>
--------<outgoing packet; link prefix = p2>------>
With RPL, the "hop" would look like as shown below:
--------<incoming packet; link prefix = p1>------<router>
--------<outgoing packet; link prefix = p1>------
There seems to be a change in the meaning associated with "IP hop".
I guess that I can reconcile both cases through the observation that RPL actually does apply to a single, NBMA link and therefore the IP prefix ***is*** the same.
Then again, calling the RPL device involved in the packet forwarding by the name "router" feels like an uncomfortable stretch.
Don't routers sit at the meeting point of different layer 2 links?
Cheers,
Etienne