The implementation layer contains its own set of case type rules that override the case type rules in the framework layer. Any configuration change recorded on the case type rule - data propagation, coverable subcases, and so forth - would require manually updating the implementation layer.

As a general rule, it's best to assume that any change made to the framework layer requires a manual update to the implementation layer - or, at the least, a confirmation - since it's so easy to override rules in the implementation layer.