Hugo Dias

I wonder if it's worth putting a check here to ensure that the proofs are encoded? Or even automated encoding of them if they're not, such as: ```javascript proofs =...

I've read through all of this, and it all looks great. I just have one suggestion (which may already be in the pipeline), which is that the logic in `semantics.js`...

token and issuer/audience are being validated together in each level of the chain, but the proofs chain can be a tree and we must allow for valid and invalid to...

https://github.com/nftstorage/ucan.storage/pull/3#issuecomment-1063907968

https://github.com/web3-storage/ucanto/blob/main/packages/principal/src/ed25519/verifier.js#L35-L37 the error should use `algorithm` instead of `code`

Add support to cancel executed invocations

`derives` in the cap definition should account for this