1. Official Vendor Documentation: Nokia 7750 SR and 7950 XRS GMPLS-UNI, RSVP-TE, and OSPF-TE for LSPs Guide, SR OS Release 22.10.R1. In the "LSP Redundancy" section, the guide distinguishes between pre-provisioned backup LSPs for fast reroute (a protection mechanism) and the signaling of secondary paths upon primary path failure (a restoration mechanism). This aligns with the definitions of pre-allocation for protection and allocation-upon-failure for restoration.
2. Peer-reviewed Academic Publication: Ramaswami, R., Sivarajan, K. N., & Sasaki, G. H. (2010). Optical Networks: A Practical Perspective (3rd ed.). Morgan Kaufmann. In Chapter 13, "Protection and Restoration," Section 13.2, the authors state: "In protection schemes, the backup path and resources are reserved for a connection at the time the connection is set up... In restoration schemes, the backup path and resources are discovered dynamically after a failure has occurred." This directly supports the definitions provided in the correct answer.