The TCK goes against the spec on Node and nested Path: section 4.2

In section 4.2 "Constraint Violation", Table 4.1, "propertyPath examples", the structure of a set of Path.Nodes is described. Examining the examples in this section:

Row 4 shows that a path describing the fourth author (i.e. "authors3") should be represented by a not-in-iterable "authors" node followed by a nameless node with index 3. However, in this example the TCK would expect a single "authors" node with index 3.

Likewise, row 6 shows that a path describing the first author's company property ("authors0.company") should be represented by a not-in-iterable "authors" node followed by a "company" node with index 0. In this example the TCK would instead expect an "authors" node with index 3, followed by a not-in-iterable "company" node.