Carries To
Union
Union names the invariant condition of genuine joining: distinct resolved conditions held together without collapsing into sameness.
Coupling names distinct resolved conditions held in mutual availability. Union is the prior condition coupling requires: the joining must be genuine before mutual availability can hold.
Union is not merger. Merger ends the distinction between joined conditions. Union holds the joining while distinction remains — joined-while-distinct is the structural signature of Union.
Union is also the condition that Decoupling presupposes. Decoupling names genuine joining no longer holding; without Union there is only separation of what was never genuinely joined.
Union is hidden in successful coupling because it is not the visible operation. It becomes clearest in its absence: where coupling fails despite apparent carrying, Union was not present.
Places
Union places the invariant condition of genuine joining before the split into coupling and decoupling.
Holds
Union is held by Carrying. Carrying must be established before distinct conditions can be genuinely joined.
Pairs
Carrying carries downward — into Union. Union is an invariant carrier: it holds whether or not the split into coupling or decoupling is visible.
Traces
Nests
Union nests before the coupling/decoupling split. It lets coupling hold mutual availability and decoupling release genuine joining rather than mere separation.
Reads
Union becomes recognisable where distinct resolved conditions are joined in a way that allows carrying to hold between them without collapsing into sameness.
It is also recognisable in absence: where carrying is present but mutual availability fails, the joining was not genuine.