Trace one real operation and compare its identifiers, ownership rules, states, and data fields at each boundary.

Whenever they alter observable fields, behavior, constraints, or migration expectations for API consumers.