A compiler that transforms declarative building descriptions into spatially validated BIM models — elements placed at mathematically proven coordinates, backed by a three-database ERP architecture ...