This module detects differences between two Smithy models, identifying changes that are safe and changes that are backward incompatible.