The scheduler-consistency obstruction

Write $\mathsf{S}$ for the package consisting of:

1. acyclic dependency;

2. termination of every finite experiment;

3. commutation of independent operations;

4. schedule-independent complete joint records;

5. exact operational sensitivity equal to strict reachability;

6. confluence of legal finite executions.

Condition (S5) is an extra property of the countermodels. It must not be read as a general identity between scheduled ancestry and influence.