The formal specification defining the ECMAScript programming language, including JavaScript's syntax, semantics, built-in objects, execution model, and language behavior.