https://www.w3.org/TR/2018/REC-activitypub-20180123/#object-without-create
> The server MUST accept a valid [ActivityStreams] object that isn't a subtype of `Activity` in the POST request to the outbox. The server then MUST attach this object as the `object` of a Create Activity.
この要件によるとオブジェクトが`Activity`のサブタイプであるか否かによって`outbox`における扱いが異なるわけだけど、当該のオブジェクトが`Activity`のサブタイプでないとする判定がどのようにして行われるのか気になっている

開世界仮説的にはサブタイプであると知られていないことだけをもってサブタイプでないとは言えないわけで。オントロジーで明示的にdisjoint classと指定されている場合はその限りでないけど、Activity Vocabularyにおいてはそういった指定は見当たらないし