it seems the id parameter for Bucket.get() is indeed the bucket name, not ARN. Now I get an error about the bucket not being in the region I’m working in, but it’s a different error, so I’m sure you’re right. The documentation says:

id (str) – The unique provider ID of the resource to lookup.

And I got the idea that it’s an ARN from https://www.pulumi.com/blog/easy-serverless-apps-and-infrastructure-real-events-real-code/#connect-to-an-existing-resource and a Stack Overflow answer. That’s a blog post, so I guess it’s outdated. The error returned about a valid ARN not being valid didn’t help either.

Yes - that blog post appears to be wrong - I’ll see about getting it fixed. Thanks for pointing that out!

I requested an edit to the StackOverflow post, too. I believe that Mikhail, who provided the original answer, is one of your guys.