The capability identifiers of a provides tuple — the provides-side parallel to Requirements. Contributions and the completeness check compare identities by these (NSID + arity) rather than by the full tag, so neither leaks the service type.
The capability identifiers of a provides tuple — the provides-side parallel to Requirements. Contributions and the completeness check compare identities by these (NSID + arity) rather than by the full tag, so neither leaks the service type.