No changes needed to the spec. Two separate issues here, one of integrity, another for lazy vs. strong evaluation of operations. Provide pushback to Roy asking to identify areas of the spec. Review the spec. Aliases allow URL mappings to be created, but these mappings do not appear in collections.
Bindings also create URL mappings, and do show up in collections.
It appears that aliases and bindings are separate abstractions. But, bindings should not prevent aliases from being applied. In particular, we need to review this spec., and RFC 2518 to ensure that aliases are not prevented from being defined, and interact OK with DAV consistent namespaces. Will also ensure bindings spec. Will mention that another spec will define redirect references, to let people know to look there for the details, but this spec. will not be explicitly referenced by name.