Asymmetry between contexts above and contexts below?

This is because marking the edges allows to have conflicting markers, since a vertex can have multiple incoming edges.

And yes, it introduces an asymmetry, but that’s ok. The choice of the incoming vertex rather than outgoing is somewhat arbitrary, although there is a root vertex at the root of the filesystem, with no incoming edge, which is right since it doesn’t make sense to mark it.

1 Like