Да, DOM описан в спецификации HTML, которая является бесплатной, с открытым исходным кодом и доступна по адресу http://html.spec.whatwg.org/
Обратите внимание, что это объявлено на формальном языке (IDL), поэтому оно не является двусмысленным, и браузеры фактически компилируют его в тесты. Например, вот Документ . Вот, например, HTMLButtonElement , HTMLFormElement .
Кроме того, у вас есть WPT (тесты веб-платформы), которые проверяют неформальные части.