Package-level declarations

Bound the interfaces an element provides, including its uses of shared definitions.

Check nested interface classifications independently of the provided-interface element bound.

An authored classification on a local use can only lower its member's resolved classification.

Port-specific endpoints must select members from that port's actual shared definition.

A required endpoint can lower, but cannot raise, the classification of its referenced contract.