Partial order, not invented sequence

Add a parallel availability check or an invalid temporal cycle. The topological order uses stable identifiers only to display concurrent ties.