A complexity inclusion whose proof boundary depends on contested resource-theoretic assumptions cann...