You are correct.
The whole point of namespaces is to have separate distinguishable
hierarchies. So, no, other namespaces should not be listed in the default
namespace (= "*" should not list mailboxes in other namespaces).
The fundamental flaw of a namespace name like "Public Folders/", as
opposed to using the # convention described in RFC 3501 (for example,
"#public/"), is that it is not distinguishable. Such names create
ambiguity and cause the confusion over whether they are listed in the
default hierarchy (and why or why not).
That's why I've told people, unsuccessfully, for years not to use such
names. Sometimes, the only way to learn is to experience the consequences
of a wrongheaded course of action.
Use the RFC 3501 namespace convention and/or well-known breakout
characters (such as the hierarchy delimiter, or ~ in a UNIX filesystem) to
separate your hierarchies. Then you won't have this problem.
Ignore this advice, and be forever doomed to confusion as to what the hell
a namespace is compared to a top-level hierarchical name, not to mention
the ongoing support problems.
-- Mark --
http://panda.com/mrc
Democracy is two wolves and a sheep deciding what to eat for lunch.
Liberty is a well-armed sheep contesting the vote.