The best specification for the navigation API currently lives as a draft pull request against the HTML Standard: whatwg/html#8502. You can also view a PR preview. Compared to previous versions that lived at this URL, a few bugs were fixed, several terms were renamed, and many monkeypatches were moved to the appropriate location.
Once that PR is merged, this URL will redirect to the final specification.