C.3.3:1 - Purpose and Audience

Typed reuse can fail because a claim’s scope changed, because the receiving use employs another kind, or because wording changed meaning. These are separate questions. C.3.3 handles only a claimed directional correspondence between two distinct kind individuals. It lets a team state, for example, that source Vehicle corresponds to target TransportUnit, which distinctions are preserved or collapsed, and what loss a receiving use accepts.