Why scheduler swaps are not boosts

The graph and increments in both countermodels remain unchanged when independent operations are interchanged. No such interchange transforms a spatial slice into a new inertial frame. Section sec:operationalaxioms identifies the stronger representation and symmetry hypotheses that these examples fail.