Automatic transformation of XML namespaces specification releases its first draft.

From the specification:

This is a preliminary rough draft. There may be errors, omissions, and logical inconsistency. There should be added more formal explanations (not just examples as now), more examples, and more explanation. The standard may change.

However, the first draft is released and it is a complete specification, which should be formal enough to write an implementation. (I am going to write an implementation in Ada.)

Note that for this to be practically useful, we need a robust sandbox (it is proposed for Linux).