Agreement preconditions applicable to the domain.

Data invariant constraints applicable to the domain.

Indirected data types applicable to the domain, accessed by an injective function.

A transport security interceptor. If the initial transport security is not compatible with the rest of the domain, this clone may not be able to join until the app is updated.