PEP for the Python package index JSON API?

PEP 503 defines the “Simple API” exposed by warehouse. That same wheelhouse documentation describes the “JSON API”, but I can’t find the associated PEP. I’m interested because I’m raising a bug with some software to do package index proxying (Nexus) to describe a bug with their JSON API implementa…