White paper, specs, and implementation plan at the link above.

The article (The Map is in the App) makes six theses with a dependency DAG, explicit boundaries (what we don't claim), and three falsifiable predictions. Happy to discuss the architecture or the formal-language status of WML.