SIE.4 supplies the qualified correspondences needed to compare claim predicates or values.
SIE.5 supplies load-bearing subject identity dispositions; claim conflict does not alter those identities by itself.
SIE.7 may implement the qualified composition rule but must preserve its branches and trace.
SIE.9 exposes qualified views, plural claims, conflict, non-comparability, and incomplete-source states to the receiver.
SIE.10 tests the composition rule and negative branches. MDM, domain, and application owners retain truth, value, preference, authorization, and action.