att can be an empty array

[hugomrdias]

With the latest changes we are using type Tuple<T = unknown> = [T, ...T[]] for Capabilities which forces att to have at least one element but att can be an empty array.

What should we do here ?

[Gozala]

I think we can update types here to use C extends Capabilities | [] = Capabilities everywhere in here which I think would resolve this. On ucanto layer we may have to keep C and not allow empty case.

[hugomrdias]

lets do this then at least here then ?