Type Alias CoveredBy<Ret>

CoveredBy: Ret extends ReadonlyArray<infer Item>
    ? [Item] extends [never]
        ? never
        : Item extends Contribution<infer Id> ? Id : never
    : Ret extends Contribution<infer Id> ? Id : never

The capability identifiers covered by an inferred activate return type. The never element guard keeps an empty-array return (inferred as never[]) from covering every capability via unconstrained inference.