Yes, locking is supported for Cover or Covered when data propagation occurs.
When the case type rules have any data to be propagated, Pega creates a declare trigger "pyCaseTypeAggregates" and it watches once the property gets updated.
It has OOTB "pxTriggerOnCaseChange" activity and it attempts to lock the parent cover. If lock couldn't be acquired, then the System-Queue-CaseType.pzSpawnQueueItemForCase activity is invoked to place the child work object into the ProcessCaseTypeCalculations agent queue (Pega-ProcessEngine RuleSet). OOTB, this agent is not enabled.
Hope it answers your query, kindly notify if it does.