Proposition: Component order and finite futures

The quotient is a partial order. Each component has at most three components in its future, including itself. An anchored represented component therefore has only finitely many comparable endpoint differences on this unchanged carrier.

Proof. Reachability is reflexive and transitive; mutual reachability is the collapsed equivalence relation, giving antisymmetry. Every path stays in one three-vertex trial.