1. Juniper Networks TechLibrary
REST API Guide. In the "Enabling the REST API" section
the documentation outlines the configuration hierarchy. It specifies that set system services rest https port is the command used to configure the port for HTTPS requests. The exhibit clearly shows port 3443; under the https stanza.
Reference: See the "Configuring the REST API" section in the official Juniper Networks REST API Guide.
2. Juniper Networks TechLibrary
Junos OS System Basics Configuration Guide. This guide details the [edit system services] hierarchy. Under the rest options
it describes the http and https stanzas and their respective port statements for configuring listening ports. It also explains the enable-explorer statement as the method to enable the web-based API explorer interface on the device.
Reference: See the chapter on "System Services" and the section detailing the rest configuration options.