Control and the sourced-step signature

The sourced step is performed at

Its formal input is

On the admitted domain, it returns:

1. a new packet and ambient cone, with seam, rest data, complete slicing family, charts, collar, and certificate;

2. the new slice at $s=s_c$;

3. permission ${\nu }_{\mathrm{src}}-1$ and the selected successor controller;

4. unchanged internal matter and identity transport of valid incoming abstract cell labels.

Identity label transport is not a pointwise identification of old and new cones.

This step consumes no incidence permission and fires no incidence rule. Future incidence germs are returned as family data; their installed deficit stays fixed when traversed.