Aha! Finally found a clear and complete diagram of activity dissemination in #ActivityPub! It uses Mastodon-specific terms, but the logic works and matches both the code and the behaviour I've seen.
From https://axbom.com/mastodon-tips/#flowchart