#10 TR1500: Intended restriction?

[Lukas Deichmann]

Given the requirement:

TR1500: While a pm:AbstractContextState contains at least one pm:Validator, an SDC BASE
PARTICIPANT SHALL provide one or more pm:Identification elements for this
pm:AbstractContextState where @Root defines the system of reference, @Extension contains the
identifier, and @Extension is not set to a null value.

This phrasing makes it mandatory to set @Root to be only the system of reference and requires the identifier to be present in the @Extension attribute.

BICEPS however explicitly allows for only @Root to be the used if it already represents the unique identifier:

R5008: Extension MAY be empty if pm:InstanceIdentifier/pm:Root is the complete unique
identifier.

In the current corrigendum draft, this got even more strict

R5008: If pm:InstanceIdentifier/@Root is the complete unique identifier, @Extension SHALL NOT
be present.

Does TR1500 intentionally make the mechanism described by R5008 impossible for Identification elements, or is this an oversight? It does not allow the mechanism of R5008 to apply and restricts the systems of reference to those that allow for separate @Root and @Extension.

In any case, I think this deserves a note explaining that TR1500 only allows for such systems of reference, intentional or not.