A single typed contribution returned from a module's activate, branded by the capability's
identifier (NSID + arity) rather than its full tag — so a module body's inferred return type
names only local string literals, never the (possibly non-portable) service type T, keeping
declaration emit portable. The value-type safety is enforced at the contribute call, where
T is naturally in scope; downstream only the capability identity matters (completeness check).
Carries one value for a singleton capability, n values for a multi capability.
A single typed contribution returned from a module's activate, branded by the capability's identifier (NSID + arity) rather than its full tag — so a module body's inferred return type names only local string literals, never the (possibly non-portable) service type
T, keeping declaration emit portable. The value-type safety is enforced at the contribute call, whereTis naturally in scope; downstream only the capability identity matters (completeness check). Carries one value for a singleton capability, n values for a multi capability.