In STU3 SDF-11 still applies to logical models, which it shouldn't. This has been fixed in R4.
 
R4 - https://www.hl7.org/fhir/structuredefinition-definitions.html
sdf-11
Rule
If there's a type, its content must match the path name in the first element of a snapshot
kind != 'logical' implies snapshot.empty() or snapshot.element.first().path = type
 
 
R3 - http://hl7.org/fhir/STU3/structuredefinition.html * sdf-11: If there's a type, its content must match the path name in the first element of a snapshot (expression : snapshot.empty() or snapshot.element.first().path = type)