Compare old/new field declarations for directional breaking changes. No semantic-equivalence proof or data migration.