Hi Emmanuel,
I very much agree with your comments. Especially with the two points below that could reduce a lot the complexity.
# Section 2
I am wondering if some of the terms are unecessary at this point. In particular, DAG siblings. Since siblings introduce quite a tricky complexity/benefit trade-off, I would be in favor of getting rid of these in the core RPL document. This could be a welcomed simplification.
Agree, for me siblings are note part of the core.