docomo回線契約のiPhoneを機種変更予定 - Appleで購入した際の手続きが知りたい

手続きって具体的に何をイメージしてますか？

キャリアの契約に関してなら、どちらも5G対応しているのでeSIMへの変更くらいですかね。

移行作業中にeSIMに変更できるはずなので、特に手続きは不要だと思います。

念のためdocomoに問い合わせておくと安心かも

iPhoneでeSIMを設定する - Apple サポート (日本)

データの移行ならクイックスタートが簡単なのでこちらを参照してください。

クイックスタートを使って新しい iPhone や iPad にデータを転送する - Apple サポート (日本)

iPhone 13から17に自分で移行するのなら、特に手続きなどいらないのでは？

クイックスタートで簡単に移行できます。現在simを使ってるとしても、自動でesimに変換して移行できます。

契約回線の暗証番号(4桁)を忘れていたら、代理店でリセットしてもらう…。

忘れていなければ、既に書かれている様に移行作業以外で何もする事は無い。