From 5d2164aa53e68499ffebd4de9bf7256d7a9e7ced Mon Sep 17 00:00:00 2001
From: futurGH <me@futuristick.ca>
Date: Sat, 27 Dec 2025 19:02:53 -0500
Subject: [PATCH] Account migration page

---
 bin/main.ml                                   |    3 +
 frontend/client/Router.mlx                    |    1 +
 .../src/templates/AccountPermissionsPage.mlx  |    8 +-
 frontend/src/templates/LoginPage.mlx          |   24 +-
 frontend/src/templates/MigratePage.mlx        |  636 +++++
 frontend/src/templates/SignupPage.mlx         |    6 +
 pegasus/lib/api/account_/migrate.ml           | 2053 +++++++++++++++++
 .../identity/getRecommendedDidCredentials.ml  |   27 +-
 .../lib/api/identity/submitPlcOperation.ml    |   33 +-
 pegasus/lib/api/server/checkAccountStatus.ml  |   77 +-
 pegasus/lib/api/server/getSession.ml          |    8 +-
 pegasus/lib/auth.ml                           |  114 +-
 pegasus/lib/errors.ml                         |   14 +
 pegasus/lib/jwt.ml                            |   85 +
 pegasus/lib/plc.ml                            |   32 +
 pegasus/lib/repository.ml                     |    7 +-
 pegasus/lib/util.ml                           |    7 +
 public/main.css                               |    5 +
 18 files changed, 2958 insertions(+), 182 deletions(-)
 create mode 100644 frontend/src/templates/MigratePage.mlx
 create mode 100644 pegasus/lib/api/account_/migrate.ml

diff --git a/bin/main.ml b/bin/main.ml
index 920ec14..86c8ca2 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -40,6 +40,8 @@ let handlers =
   ; ( get
     , "/account/signup/check-handle"
     , Api.Account_.Signup.check_handle_handler )
+  ; (get, "/account/migrate", Api.Account_.Migrate.get_handler)
+  ; (post, "/account/migrate", Api.Account_.Migrate.post_handler)
   ; (post, "/account/switch", Api.Account_.Login.switch_account_handler)
   ; (get, "/account/logout", Api.Account_.Logout.handler)
   ; (* admin ui *)
@@ -203,6 +205,7 @@ let static_routes =
 
 let serve () =
   Printexc.record_backtrace true ;
+  Printexc.register_printer Errors.printer ;
   Dream.initialize_log ~level:Env.log_level () ;
   List.iter (fun src ->
       match Logs.Src.name src with
diff --git a/frontend/client/Router.mlx b/frontend/client/Router.mlx
index 91c30c5..a10305e 100644
--- a/frontend/client/Router.mlx
+++ b/frontend/client/Router.mlx
@@ -17,6 +17,7 @@ let routes =
   ; {path= "/oauth/authorize"; template= (module OauthAuthorizePage)}
   ; {path= "/account/login"; template= (module LoginPage)}
   ; {path= "/account/signup"; template= (module SignupPage)}
+  ; {path= "/account/migrate"; template= (module MigratePage)}
   ; {path= "/account"; template= (module AccountPage)}
   ; {path= "/account/permissions"; template= (module AccountPermissionsPage)}
   ; {path= "/admin/login"; template= (module AdminLoginPage)}
diff --git a/frontend/src/templates/AccountPermissionsPage.mlx b/frontend/src/templates/AccountPermissionsPage.mlx
index 6840667..dd7ec67 100644
--- a/frontend/src/templates/AccountPermissionsPage.mlx
+++ b/frontend/src/templates/AccountPermissionsPage.mlx
@@ -89,7 +89,9 @@ let[@react.component] make
             <ul className="space-y-2">
               ( List.map
                   (fun (app : authorized_app) ->
-                    let name = Option.value app.client_name ~default:app.client_host in
+                    let name =
+                      Option.value app.client_name ~default:app.client_host
+                    in
                     <li key=app.client_id className="flex items-center gap-x-2">
                       <span
                         title=name
@@ -174,8 +176,8 @@ let[@react.component] make
                             formMethod="post"
                             name="action"
                             value="sign_out_device"
-                            className="text-mist-100 underline whitespace-nowrap \
-                                       hover:text-mana-100">
+                            className="text-mist-100 underline \
+                                       whitespace-nowrap hover:text-mana-100">
                             (string "sign out")
                           </button>
                         </form>
diff --git a/frontend/src/templates/LoginPage.mlx b/frontend/src/templates/LoginPage.mlx
index 145c1dc..9345374 100644
--- a/frontend/src/templates/LoginPage.mlx
+++ b/frontend/src/templates/LoginPage.mlx
@@ -33,12 +33,22 @@ let[@react.component] make ~props:({redirect_url; csrf_token; error} : props) ()
       </Button>
     </form>
     <span className="text-sm text-mist-100">
-      (string "or ")
-      <a
-        href="/account/signup"
-        className="text-mana-100 underline hover:text-mana-200">
-        (string "create an account")
-      </a>
-      (string ".")
+      (string "or: ")
+      <ul className="mt-1 pl-2">
+        <li className="mb-1">
+          <a
+            className="text-mana-100 underline hover:text-mana-200"
+            href="/account/signup">
+            (string "create an account")
+          </a>
+        </li>
+        <li>
+          <a
+            className="text-mana-100 underline hover:text-mana-200"
+            href="/account/migrate">
+            (string "migrate from another PDS")
+          </a>
+        </li>
+      </ul>
     </span>
   </main>
diff --git a/frontend/src/templates/MigratePage.mlx b/frontend/src/templates/MigratePage.mlx
new file mode 100644
index 0000000..2728e24
--- /dev/null
+++ b/frontend/src/templates/MigratePage.mlx
@@ -0,0 +1,636 @@
+[@@@ocaml.warning "-26-27"]
+
+open Melange_json.Primitives
+open React
+
+type migration_step =
+  | EnterCredentials
+  | ResumeAvailable
+  | Enter2FA
+  | ImportingData
+  | EnterPlcToken
+  | Complete
+  | Error
+
+let step_of_string = function
+  | "enter_credentials" ->
+      EnterCredentials
+  | "resume_available" ->
+      ResumeAvailable
+  | "enter_2fa" ->
+      Enter2FA
+  | "importing_data" ->
+      ImportingData
+  | "enter_plc_token" ->
+      EnterPlcToken
+  | "complete" ->
+      Complete
+  | "error" ->
+      Error
+  | _ ->
+      EnterCredentials
+
+let step_to_label = function
+  | EnterCredentials ->
+      "enter credentials"
+  | ResumeAvailable ->
+      "resume migration"
+  | Enter2FA ->
+      "two-factor authentication"
+  | ImportingData ->
+      "importing data"
+  | EnterPlcToken ->
+      "confirm identity"
+  | Complete ->
+      "migration complete"
+  | Error ->
+      "error"
+
+let step_to_number = function
+  | EnterCredentials | ResumeAvailable | Enter2FA ->
+      0
+  | ImportingData ->
+      1
+  | EnterPlcToken ->
+      2
+  | Complete | Error ->
+      3
+
+let total_steps = 3
+
+module ProgressIndicator = struct
+  let[@react.component] make ~step_number ~label () =
+    <div className="mb-6">
+      <div className="flex items-center gap-1 text-sm text-mist-100 mb-2">
+        <span>
+          (string
+             ( "step " ^ string_of_int step_number ^ " of "
+             ^ string_of_int total_steps ^ ": " ) )
+        </span>
+        <span className="font-medium text-mana-100">(string label)</span>
+      </div>
+      <div
+        className="w-full bg-mist-60 rounded-full h-3"
+        style=(ReactDOM.Style.make
+                 ~boxShadow:"0 4px 8px 0 rgba(115, 117, 121, 0.30) inset" () )>
+        <div
+          className="bg-mana-100 shadow-elixir h-3 rounded-full transition-all \
+                     duration-300"
+          style=(ReactDOM.Style.make
+                   ~width:(string_of_int (step_number * 100 / total_steps) ^ "%")
+                   () )
+        />
+      </div>
+    </div>
+end
+
+module AlertMessage = struct
+  let[@react.component] make ~message ~kind () =
+    let bg_class, text_class, icon =
+      match kind with
+      | `Error ->
+          ( "bg-phoenix-100/10 border-phoenix-100/30"
+          , "text-phoenix-100"
+          , <CircleAlertIcon className="w-4 h-4 mr-2 mt-0.5 flex-shrink-0" /> )
+      | `Success ->
+          ( "bg-mana-100/10 border-mana-100/30"
+          , "text-mana-100"
+          , <CheckmarkIcon className="w-4 h-4 mr-2 mt-0.5 flex-shrink-0" /> )
+    in
+    <div className=("mb-4 p-3 border rounded-lg " ^ bg_class)>
+      <span className=("inline-flex items-start text-sm " ^ text_class)>
+        icon <span>(string message)</span>
+      </span>
+    </div>
+end
+
+module LoadingOverlay = struct
+  type loading_step =
+    { label: string
+    ; message: string
+    ; duration: int (* ms before moving to next step *) }
+
+  let steps =
+    [| { label= "authenticating"
+       ; message= "Logging into your current PDS..."
+       ; duration= 2000 (* fake step *) }
+     ; { label= "creating account"
+       ; message= "Creating your account on this PDS..."
+       ; duration= 2000 (* fake step *) }
+     ; { label= "importing repository"
+       ; message= "Importing your repository data..."
+       ; duration= 0 (* stays here until page loads *) } |]
+
+  let[@react.component] make () =
+    let step_index, set_step_index = React.useState (fun () -> 0) in
+    (* advance through steps on a timer *)
+    React.useEffect1
+      (fun () ->
+        let current = steps.(step_index) in
+        if current.duration > 0 && step_index < Array.length steps - 1 then
+          let timer_id =
+            Js.Global.setTimeout
+              ~f:(fun () -> set_step_index (fun i -> i + 1))
+              current.duration
+          in
+          Some (fun () -> Js.Global.clearTimeout timer_id)
+        else None )
+      [|step_index|] ;
+    let current = steps.(step_index) in
+    let step_number = step_index + 1 in
+    <div>
+      <div className="mb-6">
+        <div className="flex items-center gap-1 text-sm text-mist-100 mb-2">
+          <span>
+            (string
+               ( "step " ^ string_of_int step_number ^ " of "
+               ^ string_of_int total_steps ^ ": " ) )
+          </span>
+          <span className="font-medium text-mana-100">
+            (string current.label)
+          </span>
+        </div>
+        <div
+          className="w-full bg-mist-60 rounded-full h-3"
+          style=(ReactDOM.Style.make
+                   ~boxShadow:"0 4px 8px 0 rgba(115, 117, 121, 0.30) inset" () )>
+          <div
+            className="bg-mana-100 shadow-elixir h-3 rounded-full \
+                       transition-all duration-500"
+            style=(ReactDOM.Style.make
+                     ~width:
+                       (string_of_int (step_number * 100 / total_steps) ^ "%")
+                     () )
+          />
+        </div>
+      </div>
+      <div className="flex flex-col items-center py-8">
+        <div
+          className="animate-spin w-8 h-8 border-2 border-mana-100 \
+                     border-t-transparent rounded-full mb-4"
+        />
+        <p className="text-mist-100 text-center">(string current.message)</p>
+      </div>
+    </div>
+end
+
+module DidDisplay = struct
+  let[@react.component] make ~did () =
+    <p className="text-xs text-mist-80 mb-4">
+      (string "Account DID: ")
+      <code className="bg-mist-60/50 px-1 rounded">(string did)</code>
+    </p>
+end
+
+module CredentialsForm = struct
+  let[@react.component] make ~csrf_token ~invite_required () =
+    let is_submitting, set_is_submitting = React.useState (fun () -> false) in
+    let handle_submit _ = set_is_submitting (fun _ -> true) in
+    if is_submitting then <LoadingOverlay />
+    else
+      array
+        [| <p key="desc" className="w-full text-balance text-mist-100 mb-4">
+             (string
+                "Migrate your existing atproto account to this PDS. You'll \
+                 need your account credentials from your current PDS." )
+           </p>
+         ; <form
+             key="form"
+             className="w-full flex flex-col gap-y-3"
+             onSubmit=handle_submit>
+             <input type_="hidden" name="dream.csrf" value=csrf_token />
+             <input type_="hidden" name="action" value="start_migration" />
+             ( if invite_required then
+                 <Input
+                   name="invite_code"
+                   type_="text"
+                   label="Invite code"
+                   placeholder="a1b2c3d4"
+                   required=true
+                   showIndicator=false />
+               else null )
+             <Input
+               name="identifier"
+               type_="text"
+               label="Existing handle or DID"
+               placeholder="you.bsky.social or did:plc:..."
+               required=true
+               showIndicator=false
+             />
+             <Input
+               name="password"
+               type_="password"
+               label="Existing password"
+               required=true
+               showIndicator=false
+             />
+             <p className="text-xs text-mist-80 -mt-1">
+               (string
+                  "Use your actual account password, not an app password. Your \
+                   password is only used to log into your current PDS and is \
+                   never stored." )
+             </p>
+             <Button type_="submit" formMethod="post" className="mt-2">
+               (string "start migration")
+             </Button>
+           </form>
+         ; <div key="footer" className="mt-4">
+             <span className="text-sm text-mist-100">
+               (string "Don't have an account? ")
+               <a
+                 href="/account/signup"
+                 className="text-mana-100 underline hover:text-mana-200">
+                 (string "sign up")
+               </a>
+               (string " instead.")
+             </span>
+           </div> |]
+end
+
+module ResumeForm = struct
+  let[@react.component] make ~csrf_token ~did () =
+    let is_submitting, set_is_submitting = React.useState (fun () -> false) in
+    let handle_submit _ = set_is_submitting (fun _ -> true) in
+    if is_submitting then <LoadingOverlay />
+    else
+      <div>
+        <div
+          className="bg-mana-100/10 border border-mana-100/30 rounded-lg p-4 \
+                     mb-4">
+          <div className="flex items-start gap-3">
+            <CheckmarkIcon
+              className="w-5 h-5 text-mana-100 mt-0.5 flex-shrink-0"
+            />
+            <div>
+              <h3 className="font-medium text-mana-100 mb-1">
+                (string "Previous migration found")
+              </h3>
+              <p className="text-sm text-mist-100">
+                (string
+                   "An incomplete migration exists for this account. Enter \
+                    your credentials again to continue where you left off." )
+              </p>
+            </div>
+          </div>
+        </div>
+        (match did with Some d -> <DidDisplay did=d /> | None -> null)
+        <form className="w-full flex flex-col gap-y-3" onSubmit=handle_submit>
+          <input type_="hidden" name="dream.csrf" value=csrf_token />
+          <input type_="hidden" name="action" value="resume_migration" />
+          <Input
+            name="identifier"
+            type_="text"
+            label="Handle or DID"
+            placeholder="you.bsky.social or did:plc:..."
+            required=true
+            showIndicator=false
+          />
+          <Input
+            name="password"
+            type_="password"
+            label="Password"
+            required=true
+            showIndicator=false
+          />
+          <p className="text-xs text-mist-80 -mt-1">
+            (string
+               "Enter your credentials from your original PDS to resume the \
+                migration." )
+          </p>
+          <Button type_="submit" formMethod="post" className="mt-2">
+            (string "resume migration")
+          </Button>
+        </form>
+        <div className="mt-4">
+          <a
+            href="/account/migrate"
+            className="text-sm text-mist-100 underline hover:text-mana-100">
+            (string "Start a new migration instead")
+          </a>
+        </div>
+      </div>
+end
+
+module TwoFactorForm = struct
+  let[@react.component] make ~csrf_token ~identifier ~old_pds ~invite_code () =
+    let is_submitting, set_is_submitting = React.useState (fun () -> false) in
+    let handle_submit _ = set_is_submitting (fun _ -> true) in
+    if is_submitting then <LoadingOverlay />
+    else
+      <div>
+        <p className="text-mist-100 mb-4">
+          (string
+             "Your account requires two-factor authentication. Check your \
+              email for a sign-in code." )
+        </p>
+        <form className="w-full flex flex-col gap-y-3" onSubmit=handle_submit>
+          <input type_="hidden" name="dream.csrf" value=csrf_token />
+          <input type_="hidden" name="action" value="submit_2fa" />
+          <input type_="hidden" name="identifier" value=identifier />
+          <input type_="hidden" name="old_pds" value=old_pds />
+          ( match invite_code with
+          | Some code ->
+              <input type_="hidden" name="invite_code" value=code />
+          | None ->
+              null )
+          <Input
+            name="password"
+            type_="password"
+            label="Password"
+            required=true
+            showIndicator=false
+          />
+          <Input
+            name="auth_factor_token"
+            type_="text"
+            label="Authentication code"
+            placeholder="123456"
+            required=true
+            showIndicator=false
+          />
+          <p className="text-xs text-mist-80 -mt-1">
+            (string "Enter your password and the code from your email.")
+          </p>
+          <Button type_="submit" formMethod="post" className="mt-2">
+            (string "continue")
+          </Button>
+        </form>
+        <div className="mt-4">
+          <a
+            href="/account/migrate"
+            className="text-sm text-mist-100 underline hover:text-mana-100">
+            (string "Start over")
+          </a>
+        </div>
+      </div>
+end
+
+module BlobProgress = struct
+  let[@react.component] make ~csrf_token ~did ~blobs_imported ~blobs_failed () =
+    <div>
+      <div className="flex flex-col items-center py-6">
+        <div
+          className="animate-spin w-8 h-8 border-2 border-mana-100 \
+                     border-t-transparent rounded-full mb-4"
+        />
+        <p className="text-mist-100 text-center mb-1">
+          (string "Importing media...")
+        </p>
+        <p className="text-sm text-mist-80 text-center">
+          (string (Printf.sprintf "%d blobs imported" blobs_imported))
+          ( if blobs_failed > 0 then
+              <span className="text-phoenix-100">
+                (string (Printf.sprintf " (%d failed)" blobs_failed))
+              </span>
+            else null )
+        </p>
+      </div>
+      <form className="flex justify-center">
+        <input type_="hidden" name="dream.csrf" value=csrf_token />
+        <input type_="hidden" name="action" value="continue_blobs" />
+        ( match did with
+        | Some d ->
+            <input type_="hidden" name="did" value=d />
+        | None ->
+            null )
+        <Button type_="submit" formMethod="post">
+          (string "continue importing")
+        </Button>
+      </form>
+    </div>
+end
+
+module PlcTokenForm = struct
+  let[@react.component] make ~csrf_token ~did () =
+    <div>
+      <p className="text-mist-100 mb-4">
+        (string
+           "Your account has been created and your data has been imported. To \
+            complete the migration, enter the confirmation code that was sent \
+            to your email." )
+      </p>
+      <form className="w-full flex flex-col gap-y-3">
+        <input type_="hidden" name="dream.csrf" value=csrf_token />
+        <input type_="hidden" name="action" value="submit_plc_token" />
+        <Input
+          name="plc_token"
+          type_="text"
+          label="Confirmation code"
+          placeholder="A1B2C-3D4E5"
+          required=true
+          showIndicator=false
+        />
+        <p className="text-xs text-mist-80 -mt-1">
+          (string
+             "This code was sent to the email address belonging to your \
+              account on your old PDS." )
+        </p>
+        <Button type_="submit" formMethod="post" className="mt-2">
+          (string "complete migration")
+        </Button>
+      </form>
+      <form className="mt-3">
+        <input type_="hidden" name="dream.csrf" value=csrf_token />
+        <input type_="hidden" name="action" value="resend_plc_token" />
+        <button
+          type_="submit"
+          formMethod="post"
+          className="text-sm text-mist-100 underline hover:text-mana-100">
+          (string "Resend confirmation code")
+        </button>
+      </form>
+    </div>
+end
+
+module CompleteView = struct
+  let[@react.component] make ~handle ~blobs_failed ~old_account_deactivated
+      ~old_account_deactivation_error () =
+    <div className="py-4">
+      <div className="flex items-center gap-3 mb-4">
+        <div
+          className="w-10 h-10 bg-mana-100/20 rounded-full flex items-center \
+                     justify-center">
+          <CheckmarkIcon className="w-5 h-5 text-mana-100" />
+        </div>
+        <div>
+          <h2 className="text-lg font-serif text-mana-100">
+            (string "Migration complete!")
+          </h2>
+          <p className="text-sm text-mist-100">
+            (string "Your account")
+            ( match handle with
+            | Some h ->
+                <span className="font-medium text-mana-100">
+                  (string (" @" ^ h))
+                </span>
+            | None ->
+                null )
+            (string " is now on this PDS.")
+          </p>
+        </div>
+      </div>
+      ( if old_account_deactivated then
+          <p className="mb-4 text-sm text-mist-80">
+            (string
+               "Your account on your old PDS has been deactivated \
+                automatically." )
+          </p>
+        else
+          match old_account_deactivation_error with
+          | Some err ->
+              <div
+                className="mb-4 p-3 bg-phoenix-100/10 border \
+                           border-phoenix-100/30 rounded-lg">
+                <div className="flex items-start gap-2">
+                  <CircleAlertIcon
+                    className="w-4 h-4 text-phoenix-100 mt-0.5 flex-shrink-0"
+                  />
+                  <div>
+                    <p className="text-sm text-phoenix-100 font-medium">
+                      (string "Could not deactivate your old account")
+                    </p>
+                    <p className="text-xs text-phoenix-100/80 mt-1">
+                      (string err)
+                    </p>
+                    <p className="text-sm text-mist-100 mt-2">
+                      (string
+                         "You may need to log into your account on your old \
+                          PDS to deactivate it there." )
+                    </p>
+                  </div>
+                </div>
+              </div>
+          | None ->
+              <p className="mb-4 text-sm text-mist-80">
+                (string
+                   "Make sure to log into your account on your old PDS to \
+                    deactivate it there." )
+              </p> )
+      ( if blobs_failed > 0 then
+          <div
+            className="mb-4 p-3 bg-phoenix-100/10 border border-phoenix-100/30 \
+                       rounded-lg">
+            <p className="text-sm text-phoenix-100">
+              (string
+                 (Printf.sprintf
+                    "%d blob(s) failed to import. This means some of your \
+                     content may appear to have missing media."
+                    blobs_failed ) )
+            </p>
+          </div>
+        else null )
+      <div className="flex gap-3">
+        <a href="/account"><Button>(string "go to account")</Button></a>
+      </div>
+    </div>
+end
+
+module ErrorView = struct
+  let[@react.component] make () =
+    <div>
+      <p className="text-mist-100 mb-2">
+        (string
+           "Something went wrong during migration. Don't worry, your data on \
+            your original PDS is safe." )
+      </p>
+      <p className="text-mist-100 mb-4">
+        (string
+           "Check your internet connection and try again, or contact the PDS \
+            administrator if the problem persists.\n\n" )
+      </p>
+      <div className="flex gap-3">
+        <a href="/account/migrate"><Button>(string "try again")</Button></a>
+        <a href="/account/login">
+          <Button kind=`Secondary>(string "back to login")</Button>
+        </a>
+      </div>
+    </div>
+end
+
+type props =
+  { csrf_token: string
+  ; invite_required: bool
+  ; hostname: string
+  ; step: string [@default "enter_credentials"]
+  ; did: string option [@default None]
+  ; handle: string option [@default None]
+  ; old_pds: string option [@default None]
+  ; identifier: string option [@default None]
+  ; invite_code: string option [@default None]
+  ; blobs_imported: int [@default 0]
+  ; blobs_failed: int [@default 0]
+  ; old_account_deactivated: bool [@default false]
+  ; old_account_deactivation_error: string option [@default None]
+  ; error: string option [@default None]
+  ; message: string option [@default None] }
+[@@deriving json]
+
+let[@react.component] make
+    ~props:
+      ({ csrf_token
+       ; invite_required
+       ; hostname= _
+       ; step
+       ; did
+       ; handle
+       ; old_pds
+       ; identifier
+       ; invite_code
+       ; blobs_imported
+       ; blobs_failed
+       ; old_account_deactivated
+       ; old_account_deactivation_error
+       ; error
+       ; message } :
+        props ) () =
+  let current_step = step_of_string step in
+  let step_number = step_to_number current_step in
+  let show_progress =
+    current_step <> EnterCredentials
+    && current_step <> ResumeAvailable
+    && current_step <> Enter2FA && current_step <> Error
+    && current_step <> Complete
+  in
+  <main className="w-full h-auto max-w-md px-4 sm:px-0 my-auto">
+    <h1 className="text-2xl font-serif text-mana-200 mb-2">
+      (string "migrate account")
+    </h1>
+    ( if show_progress then
+        <ProgressIndicator step_number label=(step_to_label current_step) />
+      else null )
+    ( match error with
+    | Some err ->
+        <AlertMessage message=err kind=`Error />
+    | None ->
+        null )
+    ( match message with
+    | Some msg when current_step <> Complete ->
+        <AlertMessage message=msg kind=`Success />
+    | _ ->
+        null )
+    ( match current_step with
+    | EnterCredentials ->
+        <CredentialsForm csrf_token invite_required />
+    | ResumeAvailable ->
+        <ResumeForm csrf_token did />
+    | Enter2FA ->
+        <TwoFactorForm
+          csrf_token
+          identifier=(Option.value ~default:"" identifier)
+          old_pds=(Option.value ~default:"" old_pds)
+          invite_code
+        />
+    | ImportingData ->
+        <BlobProgress csrf_token did blobs_imported blobs_failed />
+    | EnterPlcToken ->
+        <PlcTokenForm csrf_token did />
+    | Complete ->
+        <CompleteView
+          handle
+          blobs_failed
+          old_account_deactivated
+          old_account_deactivation_error
+        />
+    | Error ->
+        <ErrorView /> )
+  </main>
diff --git a/frontend/src/templates/SignupPage.mlx b/frontend/src/templates/SignupPage.mlx
index 6a357b3..6821f3d 100644
--- a/frontend/src/templates/SignupPage.mlx
+++ b/frontend/src/templates/SignupPage.mlx
@@ -46,6 +46,12 @@ let[@react.component] make
         className="text-mana-100 underline hover:text-mana-200">
         (string "sign in")
       </a>
+      (string " or ")
+      <a
+        href="/account/migrate"
+        className="text-mana-100 underline hover:text-mana-200">
+        (string "migrate from another PDS")
+      </a>
       (string ".")
     </span>
   </main>
diff --git a/pegasus/lib/api/account_/migrate.ml b/pegasus/lib/api/account_/migrate.ml
new file mode 100644
index 0000000..38c168b
--- /dev/null
+++ b/pegasus/lib/api/account_/migrate.ml
@@ -0,0 +1,2053 @@
+type create_session_response = Server.CreateSession.response
+[@@deriving yojson {strict= false}]
+
+type get_session_response = Server.GetSession.response
+[@@deriving yojson {strict= false}]
+
+type refresh_session_response = Server.RefreshSession.response
+[@@deriving yojson {strict= false}]
+
+type service_auth_response = Server.GetServiceAuth.response
+[@@deriving yojson {strict= false}]
+
+type list_blobs_response = Repo.ListMissingBlobs.response
+[@@deriving yojson {strict= false}]
+
+type get_preferences_response = Proxy.AppBskyActorGetPreferences.response
+[@@deriving yojson {strict= false}]
+
+type sign_plc_operation_response = Identity.SignPlcOperation.response
+[@@deriving yojson {strict= false}]
+
+type check_account_status_response = Server.CheckAccountStatus.response
+[@@deriving yojson {strict= false}]
+
+type remote_credentials_response =
+  Identity.GetRecommendedDidCredentials.response
+[@@deriving yojson {strict= false}]
+
+let get_account_status = Server.CheckAccountStatus.get_account_status
+
+let get_recommended_did_credentials =
+  Identity.GetRecommendedDidCredentials.get_credentials
+
+open Cohttp_lwt
+
+type migration_state =
+  { did: string
+  ; handle: string
+  ; old_pds: string
+  ; access_jwt: string
+  ; refresh_jwt: string
+  ; email: string
+  ; blobs_imported: int
+  ; blobs_failed: int
+  ; blobs_cursor: string
+  ; plc_requested: bool }
+[@@deriving yojson]
+
+let state_key = "pegasus.migration_state"
+
+let get_migration_state req =
+  match Dream.session_field req state_key with
+  | Some json -> (
+    match migration_state_of_yojson (Yojson.Safe.from_string json) with
+    | Ok state ->
+        Some state
+    | Error _ ->
+        None )
+  | None ->
+      None
+
+let set_migration_state req state =
+  Dream.set_session_field req state_key
+    (Yojson.Safe.to_string (migration_state_to_yojson state))
+
+let clear_migration_state req = Dream.drop_session_field req state_key
+
+let post_json ~uri ~headers ~body =
+  let headers = Http.Header.add headers "Content-Type" "application/json" in
+  Cohttp_lwt_unix.Client.post ~headers
+    ~body:(Body.of_string (Yojson.Safe.to_string body))
+    uri
+
+let post_empty ~uri ~headers =
+  Cohttp_lwt_unix.Client.post ~headers ~body:Body.empty uri
+
+let resolve_identity identifier =
+  let%lwt did =
+    if String.starts_with ~prefix:"did:" identifier then
+      Lwt.return_ok identifier
+    else
+      match%lwt Id_resolver.Handle.resolve identifier with
+      | Ok did ->
+          Lwt.return_ok did
+      | Error e ->
+          Lwt.return_error ("Failed to resolve handle: " ^ e)
+  in
+  match did with
+  | Error e ->
+      Lwt.return_error e
+  | Ok did -> (
+    match%lwt Id_resolver.Did.resolve did with
+    | Error e ->
+        Lwt.return_error ("Failed to resolve DID document: " ^ e)
+    | Ok doc -> (
+      match Id_resolver.Did.Document.get_service doc "#atproto_pds" with
+      | None ->
+          Lwt.return_error "No PDS service found in DID document"
+      | Some pds_endpoint ->
+          (* Get handle from alsoKnownAs *)
+          let handle =
+            match doc.also_known_as with
+            | Some akas ->
+                List.find_map
+                  (fun aka ->
+                    if String.starts_with ~prefix:"at://" aka then
+                      Some (String.sub aka 5 (String.length aka - 5))
+                    else None )
+                  akas
+                |> Option.value ~default:did
+            | None ->
+                did
+          in
+          Lwt.return_ok (did, handle, pds_endpoint) ) )
+
+type auth_result =
+  | AuthSuccess of create_session_response
+  | AuthNeeds2FA
+  | AuthError of string
+
+let create_session_on_pds ~pds_endpoint ~identifier ~password ?auth_factor_token
+    () =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.server.createSession"
+  in
+  let body =
+    let base =
+      [("identifier", `String identifier); ("password", `String password)]
+    in
+    match auth_factor_token with
+    | Some token ->
+        `Assoc (("authFactorToken", `String token) :: base)
+    | None ->
+        `Assoc base
+  in
+  let headers = Http.Header.init () in
+  try%lwt
+    let%lwt res, body = post_json ~uri ~headers ~body in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          create_session_response_of_yojson (Yojson.Safe.from_string body_str)
+        with
+        | Ok session ->
+            Lwt.return (AuthSuccess session)
+        | Error e ->
+            Lwt.return (AuthError ("Invalid session response: " ^ e)) )
+    | `Unauthorized -> (
+        let%lwt body_str = Body.to_string body in
+        (* Check if 2FA is required *)
+        try
+          let json = Yojson.Safe.from_string body_str in
+          let open Yojson.Safe.Util in
+          let error = json |> member "error" |> to_string_option in
+          match error with
+          | Some "AuthFactorTokenRequired" ->
+              Lwt.return AuthNeeds2FA
+          | _ ->
+              Lwt.return (AuthError "Invalid credentials")
+        with _ -> Lwt.return (AuthError "Invalid credentials") )
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return
+          (AuthError
+             (Printf.sprintf "Authentication failed (%s): %s"
+                (Http.Status.to_string status)
+                body_str ) )
+  with exn ->
+    Lwt.return (AuthError ("Network error: " ^ Printexc.to_string exn))
+
+let get_session ~pds_endpoint ~access_jwt =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.server.getSession"
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = Util.http_get uri ~headers in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          get_session_response_of_yojson (Yojson.Safe.from_string body_str)
+        with
+        | Ok session ->
+            Lwt.return_ok session
+        | Error e ->
+            Lwt.return_error ("Invalid session response: " ^ e) )
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to get session info (%s): %s"
+             (Http.Status.to_string status)
+             body_str )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+(* check if jwt is expired or will expire within delta_s *)
+let jwt_needs_refresh ?(delta_s = 60) access_jwt =
+  match Jwt.decode_jwt access_jwt with
+  | Error _ ->
+      true (* if we can't decode, assume we need refresh *)
+  | Ok (_header, payload) -> (
+    try
+      let open Yojson.Safe.Util in
+      let exp = payload |> member "exp" |> to_int in
+      let now = int_of_float (Unix.gettimeofday ()) in
+      exp - now < delta_s
+    with _ -> true )
+
+let refresh_session ~pds_endpoint ~refresh_jwt =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.server.refreshSession"
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ refresh_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = post_empty ~uri ~headers in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          refresh_session_response_of_yojson (Yojson.Safe.from_string body_str)
+        with
+        | Ok tokens ->
+            Lwt.return_ok tokens
+        | Error e ->
+            Lwt.return_error ("Invalid refresh response: " ^ e) )
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to refresh session (%s): %s"
+             (Http.Status.to_string status)
+             body_str )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+let get_service_auth ~pds_endpoint ~access_jwt =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.server.getServiceAuth"
+    |> fun u ->
+    Uri.add_query_params' u
+      [ ("aud", Env.did)
+      ; ("lxm", "com.atproto.server.createAccount")
+      ; ("exp", string_of_int (int_of_float (Unix.gettimeofday ()) + 300)) ]
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = Util.http_get uri ~headers in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          service_auth_response_of_yojson (Yojson.Safe.from_string body_str)
+        with
+        | Ok {token} ->
+            Lwt.return_ok token
+        | Error e ->
+            Lwt.return_error ("Invalid service auth response: " ^ e) )
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to get service auth (%s): %s"
+             (Http.Status.to_string status)
+             body_str )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+(* get credentials from old pds so we can remove the pds rotation key *)
+let get_remote_recommended_credentials ~pds_endpoint ~access_jwt =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.identity.getRecommendedDidCredentials"
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = Cohttp_lwt_unix.Client.get ~headers uri in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          remote_credentials_response_of_yojson
+            (Yojson.Safe.from_string body_str)
+        with
+        | Ok creds ->
+            Lwt.return_ok creds
+        | Error e ->
+            Lwt.return_error ("Invalid credentials response: " ^ e) )
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to get remote credentials (%s): %s"
+             (Http.Status.to_string status)
+             body_str )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+(* list current rotation keys from plc directory audit log *)
+let get_plc_rotation_keys ~did =
+  if not (String.starts_with ~prefix:"did:plc:" did) then Lwt.return_ok []
+  else
+    let uri =
+      Uri.make ~scheme:"https" ~host:"plc.directory" ~path:(did ^ "/log/last")
+        ()
+    in
+    try%lwt
+      let%lwt res, body =
+        Cohttp_lwt_unix.Client.get
+          ~headers:(Http.Header.of_list [("Accept", "application/json")])
+          uri
+      in
+      match res.status with
+      | `OK -> (
+          let%lwt body_str = Body.to_string body in
+          try
+            let json = Yojson.Safe.from_string body_str in
+            let open Yojson.Safe.Util in
+            let rotation_keys =
+              json |> member "rotationKeys" |> to_list |> List.map to_string
+            in
+            Lwt.return_ok rotation_keys
+          with _ -> Lwt.return_ok [] )
+      | _ ->
+          let%lwt () = Body.drain_body body in
+          Lwt.return_ok []
+    with _ -> Lwt.return_ok []
+
+let request_plc_operation_signature ~pds_endpoint ~access_jwt =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.identity.requestPlcOperationSignature"
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = post_empty ~uri ~headers in
+    match res.status with
+    | `OK ->
+        let%lwt () = Body.drain_body body in
+        Lwt.return_ok ()
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to request PLC signature (%s): %s"
+             (Http.Status.to_string status)
+             body_str )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+let sign_plc_operation ~pds_endpoint ~access_jwt ~token
+    ~(credentials : Plc.credentials) =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.identity.signPlcOperation"
+  in
+  let headers =
+    Http.Header.of_list
+      [ ("Authorization", "Bearer " ^ access_jwt)
+      ; ("Content-Type", "application/json") ]
+  in
+  let body =
+    `Assoc
+      [ ("token", `String token)
+      ; ( "rotationKeys"
+        , `List (List.map (fun s -> `String s) credentials.rotation_keys) )
+      ; ( "verificationMethods"
+        , `Assoc
+            (List.map
+               (fun (k, v) -> (k, `String v))
+               credentials.verification_methods ) )
+      ; ( "alsoKnownAs"
+        , `List (List.map (fun s -> `String s) credentials.also_known_as) )
+      ; ("services", Plc.service_map_to_yojson credentials.services) ]
+  in
+  try%lwt
+    let%lwt res, body =
+      Cohttp_lwt_unix.Client.post ~headers
+        ~body:(Body.of_string (Yojson.Safe.to_string body))
+        uri
+    in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          sign_plc_operation_response_of_yojson
+            (Yojson.Safe.from_string body_str)
+        with
+        | Ok resp ->
+            Lwt.return_ok resp.operation
+        | Error e ->
+            Lwt.return_error ("Invalid sign operation response: " ^ e) )
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to sign PLC operation (%s): %s"
+             (Http.Status.to_string status)
+             body_str )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+let submit_plc_operation ~did ~handle ~(operation : Plc.signed_operation) db =
+  match operation with
+  | Tombstone _ ->
+      Lwt.return_error "Cannot submit tombstone operation during migration"
+  | Operation op -> (
+    match Plc.validate_operation ~handle (Operation op) with
+    | Ok () -> (
+      match%lwt Plc.submit_operation did operation with
+      | Ok () ->
+          let%lwt _ = Sequencer.sequence_identity db ~did () in
+          let%lwt _ = Id_resolver.Did.resolve ~skip_cache:true did in
+          Lwt.return_ok ()
+      | Error (status, msg) ->
+          Lwt.return_error
+            (Printf.sprintf "PLC submission failed (%d): %s" status msg) )
+    | Error e ->
+        Lwt.return_error e )
+
+let fetch_repo ~pds_endpoint ~access_jwt ~did =
+  let uri =
+    Uri.with_path (Uri.of_string pds_endpoint) "/xrpc/com.atproto.sync.getRepo"
+    |> fun u -> Uri.add_query_param' u ("did", did)
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = Util.http_get uri ~headers in
+    match res.status with
+    | `OK ->
+        let%lwt body_bytes = Body.to_string body in
+        Lwt.return_ok (Bytes.of_string body_bytes)
+    | status ->
+        let%lwt () = Body.drain_body body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to fetch repo (%s)"
+             (Http.Status.to_string status) )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+let list_blobs ~pds_endpoint ~access_jwt ~did ?cursor () =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.sync.listBlobs"
+    |> fun u ->
+    Uri.add_query_param' u ("did", did)
+    |> fun u ->
+    match cursor with
+    | Some c ->
+        Uri.add_query_param' u ("cursor", c)
+    | None ->
+        u
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = Util.http_get uri ~headers in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          list_blobs_response_of_yojson (Yojson.Safe.from_string body_str)
+        with
+        | Ok resp ->
+            Lwt.return_ok resp
+        | Error e ->
+            Lwt.return_error ("Invalid list blobs response: " ^ e) )
+    | status ->
+        let%lwt () = Body.drain_body body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to list blobs (%s)"
+             (Http.Status.to_string status) )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+let fetch_blob ~pds_endpoint ~access_jwt ~did ~cid =
+  let uri =
+    Uri.with_path (Uri.of_string pds_endpoint) "/xrpc/com.atproto.sync.getBlob"
+    |> fun u -> Uri.add_query_params' u [("did", did); ("cid", cid)]
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = Util.http_get uri ~headers in
+    match res.status with
+    | `OK ->
+        let content_type =
+          Http.Header.get res.headers "Content-Type"
+          |> Option.value ~default:"application/octet-stream"
+        in
+        let%lwt body_bytes = Body.to_string body in
+        Lwt.return_ok (content_type, Bytes.of_string body_bytes)
+    | status ->
+        let%lwt () = Body.drain_body body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to fetch blob %s (%s)" cid
+             (Http.Status.to_string status) )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+let fetch_preferences ~pds_endpoint ~access_jwt =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/app.bsky.actor.getPreferences"
+  in
+  let headers =
+    Http.Header.of_list [("Authorization", "Bearer " ^ access_jwt)]
+  in
+  try%lwt
+    let%lwt res, body = Util.http_get uri ~headers in
+    match res.status with
+    | `OK -> (
+        let%lwt body_str = Body.to_string body in
+        match
+          get_preferences_response_of_yojson (Yojson.Safe.from_string body_str)
+        with
+        | Ok resp ->
+            Lwt.return_ok resp.preferences
+        | Error e ->
+            Dream.warning (fun log ->
+                log "migration: failed to parse preferences response: %s" e ) ;
+            Lwt.return_ok (`List []) )
+    | status ->
+        let%lwt () = Body.drain_body body in
+        Dream.warning (fun log ->
+            log "migration: failed to fetch preferences: %s"
+              (Http.Status.to_string status) ) ;
+        Lwt.return_ok (`List [])
+  with exn ->
+    Dream.warning (fun log ->
+        log "migration: exception fetching preferences: %s"
+          (Printexc.to_string exn) ) ;
+    Lwt.return_ok (`List [])
+
+(* create account on this pds with existing did *)
+let create_migrated_account ~email ~handle ~password ~did ~service_auth_token
+    ?invite_code db =
+  let open Lwt.Infix in
+  (* ensure service auth token is signed by the did we're migrating *)
+  let%lwt verified =
+    match%lwt
+      Jwt.verify_service_jwt ~nsid:"com.atproto.server.createAccount"
+        ~verify_sig:(fun _did pk ->
+          Lwt.return
+          @@ Jwt.verify_jwt service_auth_token
+               ~pubkey:(Kleidos.parse_multikey_str pk) )
+        service_auth_token
+    with
+    | Ok creds ->
+        Lwt.return_ok creds
+    | Error (AuthRequired e) ->
+        Lwt.return_error @@ Errors.auth_required e
+    | Error (ExpiredToken e) ->
+        Lwt.return_error @@ Errors.invalid_request ~name:"ExpiredToken" e
+    | Error (InvalidToken e) ->
+        Lwt.return_error @@ Errors.invalid_request ~name:"InvalidToken" e
+    | Error (InternalError e) ->
+        Lwt.return_error @@ Errors.internal_error ~msg:e ()
+  in
+  match verified with
+  | Error e ->
+      Lwt.return_error e
+  | Ok _ -> (
+    (* check if did already exists *)
+    match%lwt
+      Data_store.get_actor_by_identifier did db
+    with
+    | Some existing when existing.deactivated_at <> None ->
+        (* account exists but is deactivated, resumable migration *)
+        Lwt.return_error
+          "RESUMABLE: An incomplete migration exists for this account."
+    | Some _ ->
+        Lwt.return_error
+          "An account with this DID already exists on this PDS. If you \
+           previously migrated here, try logging in instead."
+    | None -> (
+      (* check if handle is available (may need different handle) *)
+      match%lwt
+        Data_store.get_actor_by_identifier handle db
+      with
+      | Some _ ->
+          Lwt.return_error
+            ( "The handle @" ^ handle
+            ^ " is already taken on this PDS. You may need to use a different \
+               handle." )
+      | None -> (
+        (* check if email is available *)
+        match%lwt
+          Data_store.get_actor_by_identifier email db
+        with
+        | Some _ ->
+            Lwt.return_error "An account with this email already exists"
+        | None -> (
+            (* validate invite code if required *)
+              ( match
+                  ( Env.invite_required
+                  , invite_code
+                  , Option.bind invite_code (fun c ->
+                        if String.length c = 0 then None else Some c ) )
+                with
+              | true, None, _ | true, _, None ->
+                  Lwt.return_error "An invite code is required"
+              | true, Some code, _ -> (
+                match%lwt Data_store.get_invite ~code db with
+                | Some i when i.remaining > 0 -> (
+                  match%lwt Data_store.use_invite ~code db with
+                  | Some _ ->
+                      Lwt.return_ok ()
+                  | None ->
+                      Lwt.return_error "Failed to use invite code" )
+                | _ ->
+                    Lwt.return_error "Invalid invite code" )
+              | false, _, _ ->
+                  Lwt.return_ok () )
+            >>= function
+            | Error e ->
+                Lwt.return_error e
+            | Ok () ->
+                (* generate new signing key *)
+                let signing_key, signing_pubkey =
+                  Kleidos.K256.generate_keypair ()
+                in
+                let sk_priv_mk = Kleidos.K256.privkey_to_multikey signing_key in
+                (* create deactivated actor *)
+                let%lwt () =
+                  Data_store.create_actor ~did ~handle ~email ~password
+                    ~signing_key:sk_priv_mk db
+                in
+                let%lwt () = Data_store.deactivate_actor did db in
+                let () =
+                  Util.mkfile_p
+                    (Util.Constants.user_db_filepath did)
+                    ~perm:0o644
+                in
+                let%lwt _ = Sequencer.sequence_identity db ~did ~handle () in
+                let%lwt _ =
+                  Sequencer.sequence_account db ~did ~active:false
+                    ~status:`Deactivated ()
+                in
+                Lwt.return_ok (Kleidos.K256.pubkey_to_did_key signing_pubkey) )
+        ) ) )
+
+let bytes_to_car_stream (data : bytes) : Car.stream =
+ fun () -> Lwt.return (Lwt_seq.Cons (data, fun () -> Lwt.return Lwt_seq.Nil))
+
+let import_repo ~did ~car_data =
+  try%lwt
+    let%lwt repo = Repository.load ~create:true did in
+    let stream = bytes_to_car_stream car_data in
+    match%lwt Repository.import_car repo stream with
+    | Ok _ ->
+        Lwt.return_ok ()
+    | Error e ->
+        Lwt.return_error ("Failed to import repository: " ^ Printexc.to_string e)
+  with exn ->
+    Lwt.return_error ("Failed to import repository: " ^ Printexc.to_string exn)
+
+(* import blobs in batches *)
+let import_blobs_batch ~pds_endpoint ~access_jwt ~did ~cids =
+  let%lwt user_db = User_store.connect ~create:true did in
+  let%lwt results =
+    Lwt_list.map_p
+      (fun cid_str ->
+        match%lwt fetch_blob ~pds_endpoint ~access_jwt ~did ~cid:cid_str with
+        | Error e ->
+            Dream.warning (fun log ->
+                log "migration %s: failed to fetch blob %s: %s" did cid_str e ) ;
+            Lwt.return_error cid_str
+        | Ok (mimetype, data) -> (
+          match Cid.of_string cid_str with
+          | Error _ ->
+              Lwt.return_error cid_str
+          | Ok cid ->
+              let%lwt _ = User_store.put_blob user_db cid mimetype data in
+              Lwt.return_ok cid_str ) )
+      cids
+  in
+  let imported =
+    List.filter (function Ok _ -> true | Error _ -> false) results
+    |> List.length
+  in
+  let failed =
+    List.filter (function Error _ -> true | Ok _ -> false) results
+    |> List.length
+  in
+  Lwt.return (imported, failed)
+
+(* remove trailing slash from pds endpoint *)
+let normalize_endpoint s =
+  if String.length s > 0 && s.[String.length s - 1] = '/' then
+    String.sub s 0 (String.length s - 1)
+  else s
+
+(* check if plc identity has been updated to point to this pds *)
+let check_identity_updated did =
+  match%lwt Id_resolver.Did.resolve ~skip_cache:true did with
+  | Error e ->
+      Lwt.return_error ("Failed to resolve DID: " ^ e)
+  | Ok doc -> (
+    match Id_resolver.Did.Document.get_service doc "#atproto_pds" with
+    | None ->
+        Lwt.return_error "DID document missing PDS service"
+    | Some endpoint ->
+        let normalized_endpoint = normalize_endpoint endpoint in
+        let normalized_host = normalize_endpoint Env.host_endpoint in
+        if normalized_endpoint = normalized_host then Lwt.return_ok true
+        else Lwt.return_ok false )
+
+let check_local_account_status ~did =
+  try%lwt
+    match%lwt get_account_status did with
+    | Ok status ->
+        Lwt.return_ok status
+    | _ ->
+        Lwt.return_error "Failed to load account data"
+  with exn ->
+    Lwt.return_error
+      ("Failed to check account status: " ^ Printexc.to_string exn)
+
+let list_local_missing_blobs ~did ~limit ?cursor () =
+  try%lwt
+    let%lwt {db= us; _} = Repository.load did in
+    let cursor = Option.value ~default:"" cursor in
+    let%lwt blobs = User_store.list_missing_blobs ~limit ~cursor us in
+    let cids = List.map (fun (_, cid) -> Cid.to_string cid) blobs in
+    (* done if we get fewer blobs than limit *)
+    let next_cursor =
+      if List.length blobs >= limit then List.nth_opt cids (List.length cids - 1)
+      else None
+    in
+    Lwt.return_ok (cids, next_cursor)
+  with exn ->
+    Lwt.return_error ("Failed to list missing blobs: " ^ Printexc.to_string exn)
+
+let activate_account did db =
+  let%lwt () = Data_store.activate_actor did db in
+  let%lwt _ =
+    Sequencer.sequence_account db ~did ~active:true ~status:`Active ()
+  in
+  Lwt.return_unit
+
+(* deactivate account on old pds after successful migration *)
+let deactivate_old_account ~pds_endpoint ~access_jwt =
+  let uri =
+    Uri.with_path
+      (Uri.of_string pds_endpoint)
+      "/xrpc/com.atproto.server.deactivateAccount"
+  in
+  let headers =
+    Http.Header.of_list
+      [ ("Authorization", "Bearer " ^ access_jwt)
+      ; ("Content-Type", "application/json") ]
+  in
+  try%lwt
+    let%lwt res, body =
+      Cohttp_lwt_unix.Client.post ~headers ~body:(Body.of_string "{}") uri
+    in
+    match res.status with
+    | `OK ->
+        let%lwt () = Body.drain_body body in
+        Lwt.return_ok ()
+    | status ->
+        let%lwt body_str = Body.to_string body in
+        Lwt.return_error
+          (Printf.sprintf "Failed to deactivate old account (%s): %s"
+             (Http.Status.to_string status)
+             body_str )
+  with exn -> Lwt.return_error ("Network error: " ^ Printexc.to_string exn)
+
+(* possible states for an existing deactivated account for resumption *)
+type resume_state =
+  | NeedsRepoImport (* account exists but no repo *)
+  | NeedsBlobImport (* repo exists, may need blobs *)
+  | NeedsPlcUpdate (* data imported, needs plc update *)
+  | NeedsActivation (* plc points here, just needs activation *)
+  | AlreadyActive (* account is already active *)
+
+let check_resume_state ~did db =
+  match%lwt Data_store.get_actor_by_identifier did db with
+  | None ->
+      Lwt.return_error "Account not found"
+  | Some actor when actor.deactivated_at = None ->
+      Lwt.return_ok AlreadyActive
+  | Some _actor -> (
+    (* account is deactivated, check if identity already points here *)
+    match%lwt
+      check_identity_updated did
+    with
+    | Ok true ->
+        (* just needs activation *)
+        Lwt.return_ok NeedsActivation
+    | _ -> (
+      (* check if repo exists; error probably means it doesn't *)
+      try%lwt
+        let%lwt us = User_store.connect ~create:false did in
+        let%lwt record_count = User_store.count_records us in
+        if record_count > 0 then
+          (* repo exists, check if we need blob import *)
+          match%lwt User_store.count_blobs us with
+          | cnt when cnt > 0 ->
+              (* data imported, needs plc update *)
+              Lwt.return_ok NeedsPlcUpdate
+          | _ ->
+              (* no blobs, need to start from blob import *)
+              Lwt.return_ok NeedsBlobImport
+        else
+          (* no repo, need to start from repo import *)
+          Lwt.return_ok NeedsRepoImport
+      with _ -> Lwt.return_ok NeedsRepoImport ) )
+
+let get_handler =
+  Xrpc.handler (fun ctx ->
+      let csrf_token = Dream.csrf_token ctx.req in
+      let invite_required = Env.invite_required in
+      let hostname = Env.hostname in
+      (* check for existing migration state *)
+      let props : Frontend.MigratePage.props =
+        match get_migration_state ctx.req with
+        | None ->
+            { csrf_token
+            ; invite_required
+            ; hostname
+            ; step= "enter_credentials"
+            ; did= None
+            ; handle= None
+            ; old_pds= None
+            ; identifier= None
+            ; invite_code= None
+            ; blobs_imported= 0
+            ; blobs_failed= 0
+            ; old_account_deactivated= false
+            ; old_account_deactivation_error= None
+            ; error= None
+            ; message= None }
+        | Some state ->
+            if state.plc_requested then
+              { csrf_token
+              ; invite_required
+              ; hostname
+              ; step= "enter_plc_token"
+              ; did= Some state.did
+              ; handle= Some state.handle
+              ; old_pds= Some state.old_pds
+              ; identifier= None
+              ; invite_code= None
+              ; blobs_imported= state.blobs_imported
+              ; blobs_failed= state.blobs_failed
+              ; old_account_deactivated= false
+              ; old_account_deactivation_error= None
+              ; error= None
+              ; message= None }
+            else
+              { csrf_token
+              ; invite_required
+              ; hostname
+              ; step= "importing_data"
+              ; did= Some state.did
+              ; handle= Some state.handle
+              ; old_pds= Some state.old_pds
+              ; identifier= None
+              ; invite_code= None
+              ; blobs_imported= state.blobs_imported
+              ; blobs_failed= state.blobs_failed
+              ; old_account_deactivated= false
+              ; old_account_deactivation_error= None
+              ; error= None
+              ; message= None }
+      in
+      Util.render_html ~title:"Migrate Account"
+        (module Frontend.MigratePage)
+        ~props )
+
+let post_handler =
+  Xrpc.handler (fun ctx ->
+      let csrf_token = Dream.csrf_token ctx.req in
+      let invite_required = Env.invite_required in
+      let hostname = Env.hostname in
+      let make_props ?(step = "enter_credentials") ?did ?handle ?old_pds
+          ?identifier ?invite_code ?(blobs_imported = 0) ?(blobs_failed = 0)
+          ?(old_account_deactivated = false) ?old_account_deactivation_error
+          ?error ?message () : Frontend.MigratePage.props =
+        { csrf_token
+        ; invite_required
+        ; hostname
+        ; step
+        ; did
+        ; handle
+        ; old_pds
+        ; identifier
+        ; invite_code
+        ; blobs_imported
+        ; blobs_failed
+        ; old_account_deactivated
+        ; old_account_deactivation_error
+        ; error
+        ; message }
+      in
+      let render_error ?(step = "enter_credentials") ?did ?handle ?old_pds
+          ?identifier ?invite_code error =
+        Util.render_html ~status:`Bad_Request ~title:"Migrate Account"
+          (module Frontend.MigratePage)
+          ~props:
+            (make_props ~step ?did ?handle ?old_pds ?identifier ?invite_code
+               ~error () )
+      in
+      (* helper to transition to PLC token step after data import *)
+      let transition_to_plc_token_step ~did ~handle ~old_pds ~access_jwt
+          ~refresh_jwt ~email ~blobs_imported ~blobs_failed =
+        (* import preferences before transitioning *)
+        let%lwt () =
+          match%lwt fetch_preferences ~pds_endpoint:old_pds ~access_jwt with
+          | Ok prefs ->
+              Data_store.put_preferences ~did ~prefs ctx.db
+          | _ ->
+              Lwt.return_unit
+        in
+        (* don't need plc step for did:web *)
+        if String.starts_with ~prefix:"did:web:" did then
+          (* check if identity already points here *)
+          match%lwt check_identity_updated did with
+          | Ok true ->
+              (* identity already points here, activate directly *)
+              let%lwt () = activate_account did ctx.db in
+              let%lwt () = Session.log_in_did ctx.req did in
+              let%lwt deactivation_result =
+                deactivate_old_account ~pds_endpoint:old_pds ~access_jwt
+              in
+              let old_account_deactivated, old_account_deactivation_error =
+                match deactivation_result with
+                | Ok () ->
+                    (true, None)
+                | Error e ->
+                    Dream.warning (fun log ->
+                        log "migration %s: failed to deactivate old account: %s"
+                          did e ) ;
+                    (false, Some e)
+              in
+              Util.render_html ~title:"Migrate Account"
+                (module Frontend.MigratePage)
+                ~props:
+                  (make_props ~step:"complete" ~did ~handle ~blobs_imported
+                     ~blobs_failed ~old_account_deactivated
+                     ?old_account_deactivation_error
+                     ~message:
+                       "Your account has been successfully migrated! Your \
+                        did:web identity is pointing to this PDS."
+                     () )
+          | _ ->
+              (* identity not updated yet - show instructions *)
+              Util.render_html ~title:"Migrate Account"
+                (module Frontend.MigratePage)
+                ~props:
+                  (make_props ~step:"error" ~did ~handle ~blobs_imported
+                     ~blobs_failed
+                     ~error:
+                       (Printf.sprintf
+                          "Your account uses did:web which requires manual \
+                           configuration. Please update your \
+                           .well-known/did.json at %s to point to this PDS \
+                           (%s), then try resuming the migration."
+                          (String.sub did 8 (String.length did - 8))
+                          Env.host_endpoint )
+                     () )
+        else
+          (* did:plc, regular flow *)
+          match%lwt
+            request_plc_operation_signature ~pds_endpoint:old_pds ~access_jwt
+          with
+          | Error e ->
+              Dream.warning (fun log ->
+                  log "migration %s: failed to request PLC signature: %s" did e ) ;
+              (* still show the token step, user may have received email already *)
+              let%lwt () =
+                set_migration_state ctx.req
+                  { did
+                  ; handle
+                  ; old_pds
+                  ; access_jwt
+                  ; refresh_jwt
+                  ; email
+                  ; blobs_imported
+                  ; blobs_failed
+                  ; blobs_cursor= ""
+                  ; plc_requested= true }
+              in
+              Util.render_html ~title:"Migrate Account"
+                (module Frontend.MigratePage)
+                ~props:
+                  (make_props ~step:"enter_plc_token" ~did ~handle ~old_pds
+                     ~blobs_imported ~blobs_failed
+                     ~message:
+                       "Data import complete! Check your email for a PLC \
+                        confirmation code."
+                     ~error:
+                       ( "Note: Could not automatically request PLC signature: "
+                       ^ e
+                       ^ ". You may need to request it manually from your old \
+                          PDS." )
+                     () )
+          | Ok () ->
+              let%lwt () =
+                set_migration_state ctx.req
+                  { did
+                  ; handle
+                  ; old_pds
+                  ; access_jwt
+                  ; refresh_jwt
+                  ; email
+                  ; blobs_imported
+                  ; blobs_failed
+                  ; blobs_cursor= ""
+                  ; plc_requested= true }
+              in
+              Util.render_html ~title:"Migrate Account"
+                (module Frontend.MigratePage)
+                ~props:
+                  (make_props ~step:"enter_plc_token" ~did ~handle ~old_pds
+                     ~blobs_imported ~blobs_failed
+                     ~message:
+                       "Data import complete! Check your email for a PLC \
+                        confirmation code."
+                     () )
+      in
+      match%lwt Dream.form ctx.req with
+      | `Ok fields -> (
+          let action =
+            List.assoc_opt "action" fields |> Option.value ~default:""
+          in
+          match action with
+          | "start_migration" -> (
+              let identifier =
+                List.assoc_opt "identifier" fields
+                |> Option.value ~default:"" |> String.trim
+              in
+              let password =
+                List.assoc_opt "password" fields |> Option.value ~default:""
+              in
+              let invite_code =
+                List.assoc_opt "invite_code" fields
+                |> Option.map String.trim
+                |> fun c ->
+                Option.bind c (fun s ->
+                    if String.length s = 0 then None else Some s )
+              in
+              (* for jumping to specific steps while debugging *)
+              let debug_step =
+                match invite_code with
+                | Some "DEBUG:RESUME" ->
+                    Some "resume_available"
+                | Some "DEBUG:IMPORT" ->
+                    Some "importing_data"
+                | Some "DEBUG:PLC" ->
+                    Some "enter_plc_token"
+                | Some "DEBUG:COMPLETE" ->
+                    Some "complete"
+                | Some "DEBUG:COMPLETE_FAIL" ->
+                    Some "complete_deactivation_failed"
+                | Some "DEBUG:ERROR" ->
+                    Some "error"
+                | _ ->
+                    None
+              in
+              match debug_step with
+              | Some "resume_available" ->
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:
+                      (make_props ~step:"resume_available" ~did:"did:plc:a1b2c3"
+                         ~handle:"test.user" ~old_pds:"https://bsky.social" () )
+              | Some "importing_data" ->
+                  let%lwt () =
+                    set_migration_state ctx.req
+                      { did= "did:plc:a1b2c3"
+                      ; handle= "test.user"
+                      ; old_pds= "https://bsky.social"
+                      ; access_jwt= "test_access_jwt"
+                      ; refresh_jwt= "test_refresh_jwt"
+                      ; email= "test@example.com"
+                      ; blobs_imported= 42
+                      ; blobs_failed= 3
+                      ; blobs_cursor= ""
+                      ; plc_requested= false }
+                  in
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:
+                      (make_props ~step:"importing_data" ~did:"did:plc:a1b2c3"
+                         ~handle:"test.user" ~old_pds:"https://bsky.social"
+                         ~blobs_imported:42 ~blobs_failed:3 () )
+              | Some "enter_plc_token" ->
+                  let%lwt () =
+                    set_migration_state ctx.req
+                      { did= "did:plc:a1b2c3"
+                      ; handle= "test.user"
+                      ; old_pds= "https://bsky.social"
+                      ; access_jwt= "test_access_jwt"
+                      ; refresh_jwt= "test_refresh_jwt"
+                      ; email= "test@example.com"
+                      ; blobs_imported= 100
+                      ; blobs_failed= 0
+                      ; blobs_cursor= ""
+                      ; plc_requested= true }
+                  in
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:
+                      (make_props ~step:"enter_plc_token"
+                         ~did:"did:plc:testuser123" ~handle:"test.user"
+                         ~old_pds:"https://bsky.social" ~blobs_imported:100
+                         ~blobs_failed:0
+                         ~message:
+                           "Data import complete! Check your email for a PLC \
+                            confirmation code."
+                         () )
+              | Some "complete" ->
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:
+                      (make_props ~step:"complete" ~did:"did:plc:testuser123"
+                         ~handle:"test.user" ~blobs_imported:100 ~blobs_failed:0
+                         ~old_account_deactivated:true
+                         ~message:"Your account has been successfully migrated!"
+                         () )
+              | Some "complete_deactivation_failed" ->
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:
+                      (make_props ~step:"complete" ~did:"did:plc:testuser123"
+                         ~handle:"test.user" ~blobs_imported:95 ~blobs_failed:5
+                         ~old_account_deactivated:false
+                         ~old_account_deactivation_error:
+                           "Failed to deactivate old account (401): \
+                            Unauthorized"
+                         ~message:"Your account has been successfully migrated!"
+                         () )
+              | Some "error" ->
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:(make_props ~step:"error" ())
+              | _ -> (
+                  if
+                    (* normal flow *)
+                    String.length identifier = 0
+                  then render_error "Please enter your handle or DID"
+                  else if String.length password = 0 then
+                    render_error "Please enter your password"
+                  else
+                    (* step 1: resolve identity *)
+                    match%lwt resolve_identity identifier with
+                    | Error e ->
+                        render_error e
+                    | Ok (did, handle, old_pds) -> (
+                      (* step 2: authenticate with old pds *)
+                      match%lwt
+                        create_session_on_pds ~pds_endpoint:old_pds ~identifier
+                          ~password ()
+                      with
+                      | AuthError e ->
+                          render_error e
+                      | AuthNeeds2FA ->
+                          (* show 2FA form *)
+                          Util.render_html ~title:"Migrate Account"
+                            (module Frontend.MigratePage)
+                            ~props:
+                              (make_props ~step:"enter_2fa" ~identifier ~old_pds
+                                 ?invite_code () )
+                      | AuthSuccess session -> (
+                        (* step 3: get session info for account status and email *)
+                        match%lwt
+                          get_session ~pds_endpoint:old_pds
+                            ~access_jwt:session.access_jwt
+                        with
+                        | Error e ->
+                            render_error ("Failed to get account info: " ^ e)
+                        | Ok session_info -> (
+                            let is_active =
+                              match session_info.active with
+                              | Some false ->
+                                  false
+                              | _ ->
+                                  true (* default to true if not specified *)
+                            in
+                            if not is_active then
+                              render_error
+                                "This account is already deactivated. Cannot \
+                                 migrate a deactivated account."
+                            else
+                              (* step 4: get service auth token *)
+                              match%lwt
+                                get_service_auth ~pds_endpoint:old_pds
+                                  ~access_jwt:session.access_jwt
+                              with
+                              | Error e ->
+                                  render_error
+                                    ("Failed to get service authorization: " ^ e)
+                              | Ok service_auth_token -> (
+                                  (* use real email from old PDS, fallback to placeholder *)
+                                  let email =
+                                    match session_info.email with
+                                    | Some e when String.length e > 0 ->
+                                        e
+                                    | _ ->
+                                        Printf.sprintf "%s@%s" did Env.hostname
+                                  in
+                                  (* Step 5: Create account *)
+                                  match%lwt
+                                    create_migrated_account ~email ~handle
+                                      ~password ~did ~service_auth_token
+                                      ?invite_code ctx.db
+                                  with
+                                  | Error e
+                                    when String.starts_with ~prefix:"RESUMABLE:"
+                                           e -> (
+                                    (* try to automatically resume *)
+                                    match%lwt
+                                      check_resume_state ~did ctx.db
+                                    with
+                                    | Error e ->
+                                        render_error ~did ~handle ~old_pds e
+                                    | Ok AlreadyActive ->
+                                        (* account is already active, just log them in *)
+                                        let%lwt () =
+                                          Session.log_in_did ctx.req did
+                                        in
+                                        Util.render_html
+                                          ~title:"Migrate Account"
+                                          (module Frontend.MigratePage)
+                                          ~props:
+                                            (make_props ~step:"complete" ~did
+                                               ~handle
+                                               ~message:
+                                                 "Your account is already \
+                                                  active! You have been logged \
+                                                  in."
+                                               () )
+                                    | Ok NeedsActivation ->
+                                        (* identity already points here, just activate *)
+                                        let%lwt () =
+                                          activate_account did ctx.db
+                                        in
+                                        let%lwt () =
+                                          Session.log_in_did ctx.req did
+                                        in
+                                        let%lwt deactivation_result =
+                                          match%lwt
+                                            deactivate_old_account
+                                              ~pds_endpoint:old_pds
+                                              ~access_jwt:session.access_jwt
+                                          with
+                                          | Ok () ->
+                                              Lwt.return_ok ()
+                                          | Error err
+                                            when Util.str_contains ~affix:"401"
+                                                   err
+                                                 || Util.str_contains
+                                                      ~affix:"Unauthorized" err
+                                            -> (
+                                            match%lwt
+                                              refresh_session
+                                                ~pds_endpoint:old_pds
+                                                ~refresh_jwt:session.refresh_jwt
+                                            with
+                                            | Ok tokens ->
+                                                deactivate_old_account
+                                                  ~pds_endpoint:old_pds
+                                                  ~access_jwt:tokens.access_jwt
+                                            | Error refresh_err ->
+                                                Lwt.return_error
+                                                  (Printf.sprintf
+                                                     "Token expired and \
+                                                      refresh failed: %s"
+                                                     refresh_err ) )
+                                          | Error err ->
+                                              Lwt.return_error err
+                                        in
+                                        let ( old_account_deactivated
+                                            , old_account_deactivation_error ) =
+                                          match deactivation_result with
+                                          | Ok () ->
+                                              (true, None)
+                                          | Error err ->
+                                              Dream.warning (fun log ->
+                                                  log
+                                                    "migration %s: failed to \
+                                                     deactivate old account: \
+                                                     %s"
+                                                    did err ) ;
+                                              (false, Some err)
+                                        in
+                                        Util.render_html
+                                          ~title:"Migrate Account"
+                                          (module Frontend.MigratePage)
+                                          ~props:
+                                            (make_props ~step:"complete" ~did
+                                               ~handle ~old_account_deactivated
+                                               ?old_account_deactivation_error
+                                               ~message:
+                                                 "Your account has been \
+                                                  activated! Your identity is \
+                                                  pointing to this PDS."
+                                               () )
+                                    | Ok NeedsPlcUpdate ->
+                                        (* data is imported, need plc update *)
+                                        transition_to_plc_token_step ~did
+                                          ~handle ~old_pds
+                                          ~access_jwt:session.access_jwt
+                                          ~refresh_jwt:session.refresh_jwt
+                                          ~email ~blobs_imported:0
+                                          ~blobs_failed:0
+                                    | Ok NeedsRepoImport | Ok NeedsBlobImport
+                                      -> (
+                                      (* need to re-import data, continue with normal flow *)
+                                      match%lwt
+                                        fetch_repo ~pds_endpoint:old_pds
+                                          ~access_jwt:session.access_jwt ~did
+                                      with
+                                      | Error err ->
+                                          render_error ~did ~handle ~old_pds
+                                            ( "Failed to fetch repository: "
+                                            ^ err )
+                                      | Ok car_data -> (
+                                        match%lwt
+                                          import_repo ~did ~car_data
+                                        with
+                                        | Error err ->
+                                            render_error ~did ~handle ~old_pds
+                                              err
+                                        | Ok () ->
+                                            (* continue with blob import like normal flow *)
+                                            transition_to_plc_token_step ~did
+                                              ~handle ~old_pds
+                                              ~access_jwt:session.access_jwt
+                                              ~refresh_jwt:session.refresh_jwt
+                                              ~email ~blobs_imported:0
+                                              ~blobs_failed:0 ) ) )
+                                  | Error e ->
+                                      render_error e
+                                  | Ok _signing_key_did -> (
+                                    (* step 5: fetch and import repo *)
+                                    match%lwt
+                                      fetch_repo ~pds_endpoint:old_pds
+                                        ~access_jwt:session.access_jwt ~did
+                                    with
+                                    | Error e ->
+                                        render_error
+                                          ("Failed to fetch repository: " ^ e)
+                                    | Ok car_data -> (
+                                      match%lwt import_repo ~did ~car_data with
+                                      | Error e ->
+                                          render_error e
+                                      | Ok () -> (
+                                          (* log account status after repo import *)
+                                          let%lwt () =
+                                            match%lwt
+                                              check_local_account_status ~did
+                                            with
+                                            | Ok status ->
+                                                Dream.info (fun log ->
+                                                    log
+                                                      "migration %s: repo \
+                                                       imported, \
+                                                       indexed_records=%d, \
+                                                       expected_blobs=%d"
+                                                      did status.indexed_records
+                                                      status.expected_blobs ) ;
+                                                Lwt.return_unit
+                                            | Error e ->
+                                                Dream.warning (fun log ->
+                                                    log
+                                                      "migration %s: failed to \
+                                                       check account status: \
+                                                       %s"
+                                                      did e ) ;
+                                                Lwt.return_unit
+                                          in
+                                          (* step 6: list missing blobs to import *)
+                                          match%lwt
+                                            list_local_missing_blobs ~did
+                                              ~limit:50 ()
+                                          with
+                                          | Error e ->
+                                              Dream.warning (fun log ->
+                                                  log
+                                                    "migration %s: failed to \
+                                                     list missing blobs: %s"
+                                                    did e ) ;
+                                              (* skip blobs, go to plc token step *)
+                                              transition_to_plc_token_step ~did
+                                                ~handle ~old_pds
+                                                ~access_jwt:session.access_jwt
+                                                ~refresh_jwt:session.refresh_jwt
+                                                ~email ~blobs_imported:0
+                                                ~blobs_failed:0
+                                          | Ok (missing_cids, next_cursor) ->
+                                              if List.length missing_cids = 0
+                                              then
+                                                (* no missing blobs, go to plc token step *)
+                                                transition_to_plc_token_step
+                                                  ~did ~handle ~old_pds
+                                                  ~access_jwt:session.access_jwt
+                                                  ~refresh_jwt:
+                                                    session.refresh_jwt ~email
+                                                  ~blobs_imported:0
+                                                  ~blobs_failed:0
+                                              else
+                                                (* import this batch of missing blobs *)
+                                                let%lwt imported, failed =
+                                                  import_blobs_batch
+                                                    ~pds_endpoint:old_pds
+                                                    ~access_jwt:
+                                                      session.access_jwt ~did
+                                                    ~cids:missing_cids
+                                                in
+                                                (* store state for continuation *)
+                                                let cursor =
+                                                  Option.value ~default:""
+                                                    next_cursor
+                                                in
+                                                (* check if there are more missing blobs *)
+                                                if String.length cursor = 0 then
+                                                  (* no more missing blobs, go to plc *)
+                                                  transition_to_plc_token_step
+                                                    ~did ~handle ~old_pds
+                                                    ~access_jwt:
+                                                      session.access_jwt
+                                                    ~refresh_jwt:
+                                                      session.refresh_jwt ~email
+                                                    ~blobs_imported:imported
+                                                    ~blobs_failed:failed
+                                                else
+                                                  (* more blobs to import, save state *)
+                                                  let%lwt () =
+                                                    set_migration_state ctx.req
+                                                      { did
+                                                      ; handle
+                                                      ; old_pds
+                                                      ; access_jwt=
+                                                          session.access_jwt
+                                                      ; refresh_jwt=
+                                                          session.refresh_jwt
+                                                      ; email
+                                                      ; blobs_imported= imported
+                                                      ; blobs_failed= failed
+                                                      ; blobs_cursor= cursor
+                                                      ; plc_requested= false }
+                                                  in
+                                                  Util.render_html
+                                                    ~title:"Migrate Account"
+                                                    (module Frontend.MigratePage)
+                                                    ~props:
+                                                      (make_props
+                                                         ~step:"importing_data"
+                                                         ~did ~handle ~old_pds
+                                                         ~blobs_imported:
+                                                           imported
+                                                         ~blobs_failed:failed () )
+                                          ) ) ) ) ) ) ) ) )
+          | "continue_blobs" -> (
+            match get_migration_state ctx.req with
+            | None ->
+                render_error "Migration state not found. Please start over."
+            | Some state -> (
+                (* refresh token if needed before continuing blob import *)
+                let%lwt state =
+                  if jwt_needs_refresh state.access_jwt then (
+                    match%lwt
+                      refresh_session ~pds_endpoint:state.old_pds
+                        ~refresh_jwt:state.refresh_jwt
+                    with
+                    | Ok tokens ->
+                        let new_state =
+                          { state with
+                            access_jwt= tokens.access_jwt
+                          ; refresh_jwt= tokens.refresh_jwt }
+                        in
+                        let%lwt () = set_migration_state ctx.req new_state in
+                        Lwt.return new_state
+                    | Error e ->
+                        Dream.warning (fun log ->
+                            log
+                              "migration %s: token refresh failed, continuing \
+                               with old token: %s"
+                              state.did e ) ;
+                        Lwt.return state )
+                  else Lwt.return state
+                in
+                (* continue importing missing blobs *)
+                let cursor =
+                  if String.length state.blobs_cursor > 0 then
+                    Some state.blobs_cursor
+                  else None
+                in
+                match%lwt
+                  list_local_missing_blobs ~did:state.did ~limit:50 ?cursor ()
+                with
+                | Error e ->
+                    Dream.warning (fun log ->
+                        log "migration %s: failed to list missing blobs: %s"
+                          state.did e ) ;
+                    (* no more blobs, go to plc token step *)
+                    transition_to_plc_token_step ~did:state.did
+                      ~handle:state.handle ~old_pds:state.old_pds
+                      ~access_jwt:state.access_jwt
+                      ~refresh_jwt:state.refresh_jwt ~email:state.email
+                      ~blobs_imported:state.blobs_imported
+                      ~blobs_failed:state.blobs_failed
+                | Ok (missing_cids, next_cursor) ->
+                    if List.length missing_cids = 0 then
+                      (* no more blobs, go to plc token step *)
+                      transition_to_plc_token_step ~did:state.did
+                        ~handle:state.handle ~old_pds:state.old_pds
+                        ~access_jwt:state.access_jwt
+                        ~refresh_jwt:state.refresh_jwt ~email:state.email
+                        ~blobs_imported:state.blobs_imported
+                        ~blobs_failed:state.blobs_failed
+                    else
+                      let%lwt imported, failed =
+                        import_blobs_batch ~pds_endpoint:state.old_pds
+                          ~access_jwt:state.access_jwt ~did:state.did
+                          ~cids:missing_cids
+                      in
+                      let new_imported = state.blobs_imported + imported in
+                      let new_failed = state.blobs_failed + failed in
+                      let new_cursor = Option.value ~default:"" next_cursor in
+                      (* check if there are more missing blobs *)
+                      if String.length new_cursor = 0 then
+                        (* all done, go to plc *)
+                        transition_to_plc_token_step ~did:state.did
+                          ~handle:state.handle ~old_pds:state.old_pds
+                          ~access_jwt:state.access_jwt
+                          ~refresh_jwt:state.refresh_jwt ~email:state.email
+                          ~blobs_imported:new_imported ~blobs_failed:new_failed
+                      else
+                        (* more blobs to import, save state *)
+                        let%lwt () =
+                          set_migration_state ctx.req
+                            { state with
+                              blobs_imported= new_imported
+                            ; blobs_failed= new_failed
+                            ; blobs_cursor= new_cursor }
+                        in
+                        Util.render_html ~title:"Migrate Account"
+                          (module Frontend.MigratePage)
+                          ~props:
+                            (make_props ~step:"importing_data" ~did:state.did
+                               ~handle:state.handle ~old_pds:state.old_pds
+                               ~blobs_imported:new_imported
+                               ~blobs_failed:new_failed () ) ) )
+          | "submit_plc_token" -> (
+            match get_migration_state ctx.req with
+            | None ->
+                render_error "Migration state not found. Please start over."
+            | Some state -> (
+                let plc_token =
+                  List.assoc_opt "plc_token" fields
+                  |> Option.value ~default:"" |> String.trim
+                in
+                if String.length plc_token = 0 then
+                  render_error ~step:"enter_plc_token" ~did:state.did
+                    ~handle:state.handle ~old_pds:state.old_pds
+                    "Please enter the PLC token from your email"
+                else
+                  (* Get our recommended credentials *)
+                  match%lwt
+                    get_recommended_did_credentials state.did ctx.db
+                  with
+                  | Error e ->
+                      render_error ~step:"enter_plc_token" ~did:state.did
+                        ~handle:state.handle ~old_pds:state.old_pds
+                        ("Failed to get credentials: " ^ e)
+                  | Ok base_credentials -> (
+                      (* new rotation keys = current rotation keys - old PDS key(s) + new PDS key *)
+                      let%lwt merged_credentials =
+                        let%lwt old_pds_keys =
+                          match%lwt
+                            get_remote_recommended_credentials
+                              ~pds_endpoint:state.old_pds
+                              ~access_jwt:state.access_jwt
+                          with
+                          | Ok creds ->
+                              Lwt.return creds.rotation_keys
+                          | Error e ->
+                              Dream.warning (fun log ->
+                                  log
+                                    "migration %s: failed to get old PDS \
+                                     credentials: %s"
+                                    state.did e ) ;
+                              Lwt.return []
+                        in
+                        let%lwt current_keys =
+                          match%lwt get_plc_rotation_keys ~did:state.did with
+                          | Ok keys ->
+                              Lwt.return keys
+                          | Error _ ->
+                              Lwt.return []
+                        in
+                        (* remove old PDS key(s) from current keys *)
+                        let preserved_keys =
+                          List.filter
+                            (fun k -> not (List.mem k old_pds_keys))
+                            current_keys
+                        in
+                        (* then add in new key *)
+                        let merged_keys =
+                          preserved_keys @ base_credentials.rotation_keys
+                          |> List.sort_uniq String.compare
+                        in
+                        Lwt.return
+                          {base_credentials with rotation_keys= merged_keys}
+                      in
+                      (* get old pds to sign plc operation *)
+                      match%lwt
+                        sign_plc_operation ~pds_endpoint:state.old_pds
+                          ~access_jwt:state.access_jwt ~token:plc_token
+                          ~credentials:merged_credentials
+                      with
+                      | Error e ->
+                          render_error ~step:"enter_plc_token" ~did:state.did
+                            ~handle:state.handle ~old_pds:state.old_pds
+                            ("Failed to sign PLC operation: " ^ e)
+                      | Ok signed_operation -> (
+                        (* submit plc operation *)
+                        match%lwt
+                          submit_plc_operation ~did:state.did
+                            ~handle:state.handle ~operation:signed_operation
+                            ctx.db
+                        with
+                        | Error e ->
+                            render_error ~step:"enter_plc_token" ~did:state.did
+                              ~handle:state.handle ~old_pds:state.old_pds
+                              ("Failed to submit PLC operation: " ^ e)
+                        | Ok () ->
+                            (* log account status before activation *)
+                            let%lwt () =
+                              match%lwt
+                                check_local_account_status ~did:state.did
+                              with
+                              | Ok status ->
+                                  Dream.info (fun log ->
+                                      log
+                                        "migration %s: activating account, \
+                                         imported_blobs=%d/%d"
+                                        state.did status.imported_blobs
+                                        status.expected_blobs ) ;
+                                  Lwt.return_unit
+                              | Error e ->
+                                  Dream.warning (fun log ->
+                                      log
+                                        "migration %s: failed to check status \
+                                         before activation: %s"
+                                        state.did e ) ;
+                                  Lwt.return_unit
+                            in
+                            (* activate the account *)
+                            let%lwt () = activate_account state.did ctx.db in
+                            let%lwt () = Session.log_in_did ctx.req state.did in
+                            let%lwt () = clear_migration_state ctx.req in
+                            (* try deactivating old account with current token, refresh if expired *)
+                            let%lwt deactivation_result =
+                              match%lwt
+                                deactivate_old_account
+                                  ~pds_endpoint:state.old_pds
+                                  ~access_jwt:state.access_jwt
+                              with
+                              | Ok () ->
+                                  Lwt.return_ok ()
+                              | Error e
+                                when Util.str_contains ~affix:"401" e
+                                     || Util.str_contains ~affix:"Unauthorized"
+                                          e -> (
+                                match%lwt
+                                  refresh_session ~pds_endpoint:state.old_pds
+                                    ~refresh_jwt:state.refresh_jwt
+                                with
+                                | Ok tokens ->
+                                    deactivate_old_account
+                                      ~pds_endpoint:state.old_pds
+                                      ~access_jwt:tokens.access_jwt
+                                | Error refresh_err ->
+                                    Lwt.return_error
+                                      (Printf.sprintf
+                                         "Token expired and refresh failed: %s"
+                                         refresh_err ) )
+                              | Error e ->
+                                  Lwt.return_error e
+                            in
+                            let ( old_account_deactivated
+                                , old_account_deactivation_error ) =
+                              match deactivation_result with
+                              | Ok () ->
+                                  (true, None)
+                              | Error e ->
+                                  Dream.warning (fun log ->
+                                      log
+                                        "migration %s: failed to deactivate \
+                                         old account: %s"
+                                        state.did e ) ;
+                                  (false, Some e)
+                            in
+                            Util.render_html ~title:"Migrate Account"
+                              (module Frontend.MigratePage)
+                              ~props:
+                                (make_props ~step:"complete" ~did:state.did
+                                   ~handle:state.handle
+                                   ~blobs_imported:state.blobs_imported
+                                   ~blobs_failed:state.blobs_failed
+                                   ~old_account_deactivated
+                                   ?old_account_deactivation_error
+                                   ~message:
+                                     "Your account has been successfully \
+                                      migrated!"
+                                   () ) ) ) ) )
+          | "resend_plc_token" -> (
+            match get_migration_state ctx.req with
+            | None ->
+                render_error "Migration state not found. Please start over."
+            | Some state -> (
+              match%lwt
+                request_plc_operation_signature ~pds_endpoint:state.old_pds
+                  ~access_jwt:state.access_jwt
+              with
+              | Error e ->
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:
+                      (make_props ~step:"enter_plc_token" ~did:state.did
+                         ~handle:state.handle ~old_pds:state.old_pds
+                         ~error:("Failed to resend: " ^ e) () )
+              | Ok () ->
+                  Util.render_html ~title:"Migrate Account"
+                    (module Frontend.MigratePage)
+                    ~props:
+                      (make_props ~step:"enter_plc_token" ~did:state.did
+                         ~handle:state.handle ~old_pds:state.old_pds
+                         ~message:"Confirmation code resent! Check your email."
+                         () ) ) )
+          | "submit_2fa" -> (
+              let identifier =
+                List.assoc_opt "identifier" fields
+                |> Option.value ~default:"" |> String.trim
+              in
+              let old_pds =
+                List.assoc_opt "old_pds" fields
+                |> Option.value ~default:"" |> String.trim
+              in
+              let auth_factor_token =
+                List.assoc_opt "auth_factor_token" fields
+                |> Option.value ~default:"" |> String.trim
+              in
+              let invite_code =
+                List.assoc_opt "invite_code" fields |> Option.map String.trim
+              in
+              let password =
+                List.assoc_opt "password" fields |> Option.value ~default:""
+              in
+              if String.length auth_factor_token = 0 then
+                render_error ~step:"enter_2fa" ~identifier ~old_pds ?invite_code
+                  "Please enter your authentication code"
+              else
+                (* re-authenticate with 2fa token *)
+                match%lwt resolve_identity identifier with
+                | Error e ->
+                    render_error ~step:"enter_2fa" ~identifier ~old_pds
+                      ?invite_code e
+                | Ok (did, handle, resolved_pds) -> (
+                    let pds_endpoint =
+                      if String.length old_pds > 0 then old_pds
+                      else resolved_pds
+                    in
+                    match%lwt
+                      create_session_on_pds ~pds_endpoint ~identifier ~password
+                        ~auth_factor_token ()
+                    with
+                    | AuthError e ->
+                        render_error ~step:"enter_2fa" ~identifier
+                          ~old_pds:pds_endpoint ?invite_code e
+                    | AuthNeeds2FA ->
+                        render_error ~step:"enter_2fa" ~identifier
+                          ~old_pds:pds_endpoint ?invite_code
+                          "Invalid authentication code. Please try again."
+                    | AuthSuccess session -> (
+                      (* continue with normal migration flow *)
+                      match%lwt
+                        get_session ~pds_endpoint ~access_jwt:session.access_jwt
+                      with
+                      | Error e ->
+                          render_error ("Failed to get account info: " ^ e)
+                      | Ok session_info -> (
+                          let is_active =
+                            match session_info.active with
+                            | Some false ->
+                                false
+                            | _ ->
+                                true
+                          in
+                          if not is_active then
+                            render_error
+                              "This account is already deactivated. Cannot \
+                               migrate a deactivated account."
+                          else
+                            match%lwt
+                              get_service_auth ~pds_endpoint
+                                ~access_jwt:session.access_jwt
+                            with
+                            | Error e ->
+                                render_error
+                                  ("Failed to get service authorization: " ^ e)
+                            | Ok service_auth_token -> (
+                                let email =
+                                  match session_info.email with
+                                  | Some e when String.length e > 0 ->
+                                      e
+                                  | _ ->
+                                      Printf.sprintf "%s@%s" did Env.hostname
+                                in
+                                match%lwt
+                                  create_migrated_account ~email ~handle
+                                    ~password ~did ~service_auth_token
+                                    ?invite_code ctx.db
+                                with
+                                | Error e ->
+                                    render_error e
+                                | Ok _signing_key_did -> (
+                                  match%lwt
+                                    fetch_repo ~pds_endpoint
+                                      ~access_jwt:session.access_jwt ~did
+                                  with
+                                  | Error e ->
+                                      render_error
+                                        ("Failed to fetch repository: " ^ e)
+                                  | Ok car_data -> (
+                                    match%lwt import_repo ~did ~car_data with
+                                    | Error e ->
+                                        render_error e
+                                    | Ok () ->
+                                        transition_to_plc_token_step ~did
+                                          ~handle ~old_pds:pds_endpoint
+                                          ~access_jwt:session.access_jwt
+                                          ~refresh_jwt:session.refresh_jwt
+                                          ~email ~blobs_imported:0
+                                          ~blobs_failed:0 ) ) ) ) ) ) )
+          | "resume_migration" -> (
+              (* resume a previously started migration *)
+              let identifier =
+                List.assoc_opt "identifier" fields
+                |> Option.value ~default:"" |> String.trim
+              in
+              let password =
+                List.assoc_opt "password" fields |> Option.value ~default:""
+              in
+              if String.length identifier = 0 then
+                render_error ~step:"resume_available"
+                  "Please enter your handle or DID"
+              else if String.length password = 0 then
+                render_error ~step:"resume_available"
+                  "Please enter your password"
+              else
+                match%lwt resolve_identity identifier with
+                | Error e ->
+                    render_error ~step:"resume_available" e
+                | Ok (did, handle, old_pds) -> (
+                  match%lwt
+                    create_session_on_pds ~pds_endpoint:old_pds ~identifier
+                      ~password ()
+                  with
+                  | AuthError e ->
+                      render_error ~step:"resume_available" e
+                  | AuthNeeds2FA ->
+                      (* show 2fa form, for resume we go back to credentials *)
+                      Util.render_html ~title:"Migrate Account"
+                        (module Frontend.MigratePage)
+                        ~props:
+                          (make_props ~step:"enter_2fa" ~identifier ~old_pds ())
+                  | AuthSuccess session -> (
+                      (* get session info for email *)
+                      let%lwt email =
+                        match%lwt
+                          get_session ~pds_endpoint:old_pds
+                            ~access_jwt:session.access_jwt
+                        with
+                        | Ok info ->
+                            Lwt.return
+                              ( match info.email with
+                              | Some e when String.length e > 0 ->
+                                  e
+                              | _ ->
+                                  Printf.sprintf "%s@%s" did Env.hostname )
+                        | Error _ ->
+                            Lwt.return (Printf.sprintf "%s@%s" did Env.hostname)
+                      in
+                      (* check what state the existing account is in *)
+                      match%lwt check_resume_state ~did ctx.db with
+                      | Error e ->
+                          render_error ~step:"resume_available" ~did ~handle
+                            ~old_pds e
+                      | Ok AlreadyActive ->
+                          (* already active, just log in *)
+                          let%lwt () = Session.log_in_did ctx.req did in
+                          Util.render_html ~title:"Migrate Account"
+                            (module Frontend.MigratePage)
+                            ~props:
+                              (make_props ~step:"complete" ~did ~handle
+                                 ~message:
+                                   "Your account is already active! You have \
+                                    been logged in."
+                                 () )
+                      | Ok NeedsActivation ->
+                          (* identity already points here, just activate *)
+                          let%lwt () = activate_account did ctx.db in
+                          let%lwt () = Session.log_in_did ctx.req did in
+                          let%lwt deactivation_result =
+                            match%lwt
+                              deactivate_old_account ~pds_endpoint:old_pds
+                                ~access_jwt:session.access_jwt
+                            with
+                            | Ok () ->
+                                Lwt.return_ok ()
+                            | Error e
+                              when Util.str_contains ~affix:"401" e
+                                   || Util.str_contains ~affix:"Unauthorized" e
+                              -> (
+                              match%lwt
+                                refresh_session ~pds_endpoint:old_pds
+                                  ~refresh_jwt:session.refresh_jwt
+                              with
+                              | Ok tokens ->
+                                  deactivate_old_account ~pds_endpoint:old_pds
+                                    ~access_jwt:tokens.access_jwt
+                              | Error refresh_err ->
+                                  Lwt.return_error
+                                    (Printf.sprintf
+                                       "Token expired and refresh failed: %s"
+                                       refresh_err ) )
+                            | Error e ->
+                                Lwt.return_error e
+                          in
+                          let ( old_account_deactivated
+                              , old_account_deactivation_error ) =
+                            match deactivation_result with
+                            | Ok () ->
+                                (true, None)
+                            | Error e ->
+                                Dream.warning (fun log ->
+                                    log
+                                      "migration %s: failed to deactivate old \
+                                       account: %s"
+                                      did e ) ;
+                                (false, Some e)
+                          in
+                          Util.render_html ~title:"Migrate Account"
+                            (module Frontend.MigratePage)
+                            ~props:
+                              (make_props ~step:"complete" ~did ~handle
+                                 ~old_account_deactivated
+                                 ?old_account_deactivation_error
+                                 ~message:
+                                   "Your account has been activated! Your \
+                                    identity is pointing to this PDS."
+                                 () )
+                      | Ok NeedsPlcUpdate ->
+                          (* data is imported, need plc update *)
+                          transition_to_plc_token_step ~did ~handle ~old_pds
+                            ~access_jwt:session.access_jwt
+                            ~refresh_jwt:session.refresh_jwt ~email
+                            ~blobs_imported:0 ~blobs_failed:0
+                      | Ok NeedsRepoImport | Ok NeedsBlobImport -> (
+                        (* need to re-import data *)
+                        match%lwt
+                          fetch_repo ~pds_endpoint:old_pds
+                            ~access_jwt:session.access_jwt ~did
+                        with
+                        | Error e ->
+                            render_error ~did ~handle ~old_pds
+                              ("Failed to fetch repository: " ^ e)
+                        | Ok car_data -> (
+                          match%lwt import_repo ~did ~car_data with
+                          | Error e ->
+                              render_error ~did ~handle ~old_pds e
+                          | Ok () -> (
+                            (* list missing blobs locally *)
+                            match%lwt
+                              list_local_missing_blobs ~did ~limit:50 ()
+                            with
+                            | Error e ->
+                                Dream.warning (fun log ->
+                                    log
+                                      "migration %s: failed to list missing \
+                                       blobs: %s"
+                                      did e ) ;
+                                transition_to_plc_token_step ~did ~handle
+                                  ~old_pds ~access_jwt:session.access_jwt
+                                  ~refresh_jwt:session.refresh_jwt ~email
+                                  ~blobs_imported:0 ~blobs_failed:0
+                            | Ok (missing_cids, next_cursor) ->
+                                if List.length missing_cids = 0 then
+                                  transition_to_plc_token_step ~did ~handle
+                                    ~old_pds ~access_jwt:session.access_jwt
+                                    ~refresh_jwt:session.refresh_jwt ~email
+                                    ~blobs_imported:0 ~blobs_failed:0
+                                else
+                                  let%lwt imported, failed =
+                                    import_blobs_batch ~pds_endpoint:old_pds
+                                      ~access_jwt:session.access_jwt ~did
+                                      ~cids:missing_cids
+                                  in
+                                  let cursor =
+                                    Option.value ~default:"" next_cursor
+                                  in
+                                  if String.length cursor = 0 then
+                                    transition_to_plc_token_step ~did ~handle
+                                      ~old_pds ~access_jwt:session.access_jwt
+                                      ~refresh_jwt:session.refresh_jwt ~email
+                                      ~blobs_imported:imported
+                                      ~blobs_failed:failed
+                                  else
+                                    let%lwt () =
+                                      set_migration_state ctx.req
+                                        { did
+                                        ; handle
+                                        ; old_pds
+                                        ; access_jwt= session.access_jwt
+                                        ; refresh_jwt= session.refresh_jwt
+                                        ; email
+                                        ; blobs_imported= imported
+                                        ; blobs_failed= failed
+                                        ; blobs_cursor= cursor
+                                        ; plc_requested= false }
+                                    in
+                                    Util.render_html ~title:"Migrate Account"
+                                      (module Frontend.MigratePage)
+                                      ~props:
+                                        (make_props ~step:"importing_data" ~did
+                                           ~handle ~old_pds
+                                           ~blobs_imported:imported
+                                           ~blobs_failed:failed () ) ) ) ) ) ) )
+          | _ ->
+              render_error "Invalid action" )
+      | _ ->
+          render_error "Invalid form submission" )
diff --git a/pegasus/lib/api/identity/getRecommendedDidCredentials.ml b/pegasus/lib/api/identity/getRecommendedDidCredentials.ml
index 8542bdc..4100fb0 100644
--- a/pegasus/lib/api/identity/getRecommendedDidCredentials.ml
+++ b/pegasus/lib/api/identity/getRecommendedDidCredentials.ml
@@ -1,14 +1,21 @@
-type response = Plc.credentials
+type response = Plc.credentials [@@deriving yojson {strict= false}]
+
+let get_credentials did db =
+  match%lwt Data_store.get_actor_by_identifier did db with
+  | None ->
+      Lwt.return_error "actor not found"
+  | Some actor ->
+      actor.signing_key |> Kleidos.parse_multikey_str |> Kleidos.derive_pubkey
+      |> Kleidos.pubkey_to_did_key
+      |> (fun did_key ->
+      Plc.create_did_credentials Env.rotation_key did_key actor.handle )
+      |> Lwt.return_ok
 
 let handler =
   Xrpc.handler ~auth:Authorization (fun {auth; db; _} ->
       let did = Auth.get_authed_did_exn auth in
-      match%lwt Data_store.get_actor_by_identifier did db with
-      | None ->
-          Errors.internal_error ~msg:"actor not found" ()
-      | Some actor ->
-          actor.signing_key |> Kleidos.parse_multikey_str
-          |> Kleidos.derive_pubkey |> Kleidos.pubkey_to_did_key
-          |> (fun did_key ->
-          Plc.create_did_credentials Env.rotation_key did_key actor.handle )
-          |> Plc.credentials_to_yojson |> Yojson.Safe.to_string |> Dream.json )
+      match%lwt get_credentials did db with
+      | Error msg ->
+          Errors.internal_error ~msg ()
+      | Ok credentials ->
+          response_to_yojson credentials |> Yojson.Safe.to_string |> Dream.json )
diff --git a/pegasus/lib/api/identity/submitPlcOperation.ml b/pegasus/lib/api/identity/submitPlcOperation.ml
index 98d1be2..b99e38d 100644
--- a/pegasus/lib/api/identity/submitPlcOperation.ml
+++ b/pegasus/lib/api/identity/submitPlcOperation.ml
@@ -12,30 +12,11 @@ let handler =
       | None ->
           Errors.internal_error ~msg:"actor not found" ()
       | Some actor -> (
-          let pds_pubkey =
-            Env.rotation_key |> Kleidos.derive_pubkey
-            |> Kleidos.pubkey_to_did_key
-          in
-          if not (List.mem pds_pubkey op.rotation_keys) then
-            Errors.invalid_request
-              "rotation keys must include the PDS public key" ;
-          ( match List.assoc_opt "atproto_pds" op.services with
-          | Some {type'; endpoint}
-            when type' <> "AtprotoPersonalDataServer"
-                 || endpoint <> Env.host_endpoint ->
-              Errors.invalid_request "invalid atproto_pds service"
-          | _ ->
-              () ) ;
-          let actor_pubkey =
-            actor.signing_key |> Kleidos.parse_multikey_str
-            |> Kleidos.derive_pubkey |> Kleidos.pubkey_to_did_key
-          in
-          if
-            List.assoc_opt "atproto" op.verification_methods
-            <> Some actor_pubkey
-          then Errors.invalid_request "incorrect atproto signing key" ;
-          if List.hd op.also_known_as <> "at://" ^ actor.handle then
-            Errors.invalid_request "incorrect handle" ;
+        match
+          Plc.validate_operation ~handle:actor.handle
+            ~signing_key:actor.signing_key (Operation op)
+        with
+        | Ok () -> (
           match%lwt Plc.submit_operation did (Operation op) with
           | Ok () ->
               let%lwt _ = Sequencer.sequence_identity db ~did () in
@@ -46,4 +27,6 @@ let handler =
                 ~msg:
                   ( "failed to submit plc operation: " ^ Int.to_string status
                   ^ " " ^ msg )
-                () ) )
+                () )
+        | Error e ->
+            Errors.invalid_request e ) )
diff --git a/pegasus/lib/api/server/checkAccountStatus.ml b/pegasus/lib/api/server/checkAccountStatus.ml
index 7b2f5bc..bf467c8 100644
--- a/pegasus/lib/api/server/checkAccountStatus.ml
+++ b/pegasus/lib/api/server/checkAccountStatus.ml
@@ -10,43 +10,44 @@ type response =
   ; imported_blobs: int [@key "importedBlobs"] }
 [@@deriving yojson {strict= false}]
 
+let get_account_status did =
+  let%lwt {db= us; commit; actor; _} = Repository.load did in
+  let%lwt cid, commit =
+    match commit with
+    | Some c ->
+        Lwt.return c
+    | None ->
+        User_store.get_commit us |> Lwt.map Option.get
+  in
+  let repo_commit, repo_rev = (Cid.to_string cid, commit.rev) in
+  match%lwt
+    Lwt.all
+      [ User_store.count_blocks us
+      ; User_store.count_records us
+      ; User_store.count_blobs us
+      ; User_store.count_referenced_blobs us ]
+  with
+  | [block_count; indexed_records; imported_blobs; expected_blobs] ->
+      (* mst blocks + records + commit *)
+      let repo_blocks = block_count + indexed_records + 1 in
+      Lwt.return_ok
+        { activated= actor.deactivated_at = None
+        ; valid_did= true
+        ; repo_commit
+        ; repo_rev
+        ; repo_blocks
+        ; indexed_records
+        ; private_state_values= 0
+        ; expected_blobs
+        ; imported_blobs }
+  | _ ->
+      Lwt.return_error "failed to load account data"
+
 let handler =
-  Xrpc.handler (fun {db; auth; _} ->
+  Xrpc.handler (fun {auth; _} ->
       let did = Auth.get_authed_did_exn auth in
-      match%lwt Data_store.get_actor_by_identifier did db with
-      | None ->
-          Errors.internal_error ~msg:"actor not found" ()
-      | Some actor -> (
-          let%lwt {db= us; commit; _} =
-            Repository.load did
-          in
-          let%lwt cid, commit =
-            match commit with
-            | Some c ->
-                Lwt.return c
-            | None ->
-                User_store.get_commit us |> Lwt.map Option.get
-          in
-          let repo_commit, repo_rev = (Cid.to_string cid, commit.rev) in
-          match%lwt
-            Lwt.all
-              [ User_store.count_blocks us
-              ; User_store.count_records us
-              ; User_store.count_blobs us
-              ; User_store.count_referenced_blobs us ]
-          with
-          | [block_count; indexed_records; imported_blobs; expected_blobs] ->
-              (* mst blocks + records + commit *)
-              let repo_blocks = block_count + indexed_records + 1 in
-              { activated= actor.deactivated_at <> None
-              ; valid_did= true
-              ; repo_commit
-              ; repo_rev
-              ; repo_blocks
-              ; indexed_records
-              ; private_state_values= 0
-              ; expected_blobs
-              ; imported_blobs }
-              |> response_to_yojson |> Yojson.Safe.to_string |> Dream.json
-          | _ ->
-              Errors.internal_error ~msg:"failed to load account data" () ) )
+      match%lwt get_account_status did with
+      | Ok status ->
+          status |> response_to_yojson |> Yojson.Safe.to_string |> Dream.json
+      | Error msg ->
+          Errors.internal_error ~msg () )
diff --git a/pegasus/lib/api/server/getSession.ml b/pegasus/lib/api/server/getSession.ml
index 1da970a..9402b58 100644
--- a/pegasus/lib/api/server/getSession.ml
+++ b/pegasus/lib/api/server/getSession.ml
@@ -1,4 +1,4 @@
-type response = Auth.session_info
+type response = Auth.session_info [@@deriving yojson {strict= false}]
 
 let handler =
   Xrpc.handler ~auth:Authorization (fun {db; auth; _} ->
@@ -9,8 +9,8 @@ let handler =
         if Auth.allows_email_read auth then session
         else
           { session with
-            email= ""
-          ; email_confirmed= false
-          ; email_auth_factor= false }
+            email= Some ""
+          ; email_confirmed= Some false
+          ; email_auth_factor= Some false }
       in
       Dream.json @@ Yojson.Safe.to_string @@ Auth.session_info_to_yojson session )
diff --git a/pegasus/lib/auth.ml b/pegasus/lib/auth.ml
index f8e3d50..c7e8bdd 100644
--- a/pegasus/lib/auth.ml
+++ b/pegasus/lib/auth.ml
@@ -3,9 +3,9 @@ type t = (module Rapper_helper.CONNECTION)
 type session_info =
   { handle: string
   ; did: string
-  ; email: string
-  ; email_confirmed: bool [@key "emailConfirmed"]
-  ; email_auth_factor: bool [@key "emailAuthFactor"]
+  ; email: string option
+  ; email_confirmed: bool option [@key "emailConfirmed"]
+  ; email_auth_factor: bool option [@key "emailAuthFactor"]
   ; active: bool option [@default None]
   ; status: string option [@default None] }
 [@@deriving yojson {strict= false}]
@@ -149,9 +149,9 @@ let get_session_info identifier db =
   Lwt.return
     { did= actor.did
     ; handle= actor.handle
-    ; email= actor.email
-    ; email_confirmed= true
-    ; email_auth_factor= true
+    ; email= Some actor.email
+    ; email_confirmed= Some (actor.email_confirmed_at <> None)
+    ; email_auth_factor= Some true
     ; active
     ; status }
 
@@ -410,92 +410,22 @@ module Verifiers = struct
       | Error e ->
           Lwt.return_error @@ Errors.auth_required e
       | Ok token -> (
-        match Jwt.decode_jwt token with
-        | Error e ->
-            Lwt.return_error @@ Errors.auth_required e
-        | Ok (_header, payload) -> (
-          try
-            let open Yojson.Safe.Util in
-            let iss = payload |> member "iss" |> to_string in
-            let aud = payload |> member "aud" |> to_string in
-            let exp = payload |> member "exp" |> to_int in
-            let lxm = payload |> member "lxm" |> to_string_option in
-            let now = int_of_float (Unix.gettimeofday ()) in
-            if exp < now then
-              Lwt.return_error
-              @@ Errors.invalid_request ~name:"ExpiredToken" "token expired"
-            else if aud <> Env.did then
-              Lwt.return_error
-              @@ Errors.invalid_request ~name:"InvalidToken"
-                   "jwt audience does not match service did"
-            else
-              let nsid =
-                (Dream.path [@warning "-3"]) req |> List.rev |> List.hd
-              in
-              match lxm with
-              | Some l when l <> nsid && l <> "*" ->
-                  Lwt.return_error
-                  @@ Errors.invalid_request ~name:"InvalidToken"
-                       ("jwt lxm " ^ l ^ " does not match " ^ nsid)
-              | _ -> (
-                  let did =
-                    match String.split_on_char '#' iss with
-                    | did :: _ ->
-                        did
-                    | [] ->
-                        iss
-                  in
-                  match%lwt Id_resolver.Did.resolve did with
-                  | Error e ->
-                      Dream.debug (fun log ->
-                          log "failed to resolve did %s: %s" did e ) ;
-                      Lwt.return_error
-                      @@ Errors.internal_error
-                           ~msg:"could not resolve jwt issuer did" ()
-                  | Ok did_doc -> (
-                    match
-                      Id_resolver.Did.Document.get_verification_key did_doc
-                        "#atproto"
-                    with
-                    | None ->
-                        Lwt.return_error
-                        @@ Errors.internal_error
-                             ~msg:"missing or bad key in issuer did doc" ()
-                    | Some pubkey_multibase -> (
-                      match%lwt
-                        verify_with_key token pubkey_multibase did db
-                      with
-                      | Ok creds ->
-                          Lwt.return_ok creds
-                      | Error _ -> (
-                        (* try again, skipping cache in case of key rotation *)
-                        match%lwt
-                          Id_resolver.Did.resolve ~skip_cache:true did
-                        with
-                        | Error _ ->
-                            Lwt.return_error
-                            @@ Errors.invalid_request ~name:"InvalidToken"
-                                 "jwt signature does not match jwt issuer"
-                        | Ok fresh_doc -> (
-                          match
-                            Id_resolver.Did.Document.get_verification_key
-                              fresh_doc "#atproto"
-                          with
-                          | None ->
-                              Lwt.return_error
-                              @@ Errors.invalid_request ~name:"InvalidToken"
-                                   "jwt signature does not match jwt issuer"
-                          | Some fresh_pubkey_multibase
-                            when fresh_pubkey_multibase = pubkey_multibase ->
-                              Lwt.return_error
-                              @@ Errors.invalid_request ~name:"InvalidToken"
-                                   "jwt signature does not match jwt issuer"
-                          | Some fresh_pubkey_multibase ->
-                              verify_with_key token fresh_pubkey_multibase did
-                                db ) ) ) ) )
-          with _ ->
-            Lwt.return_error @@ Errors.invalid_request "malformed service jwt" )
-        )
+          let nsid = (Dream.path [@warning "-3"]) req |> List.rev |> List.hd in
+          match%lwt
+            Jwt.verify_service_jwt ~nsid
+              ~verify_sig:(fun did pk -> verify_with_key token pk did db)
+              token
+          with
+          | Ok creds ->
+              Lwt.return_ok creds
+          | Error (AuthRequired e) ->
+              Lwt.return_error @@ Errors.auth_required e
+          | Error (ExpiredToken e) ->
+              Lwt.return_error @@ Errors.invalid_request ~name:"ExpiredToken" e
+          | Error (InvalidToken e) ->
+              Lwt.return_error @@ Errors.invalid_request ~name:"InvalidToken" e
+          | Error (InternalError e) ->
+              Lwt.return_error @@ Errors.internal_error ~msg:e () )
 
   let authorization : verifier =
    fun ctx ->
diff --git a/pegasus/lib/errors.ml b/pegasus/lib/errors.ml
index df2d6ad..1072ec8 100644
--- a/pegasus/lib/errors.ml
+++ b/pegasus/lib/errors.ml
@@ -32,6 +32,20 @@ let not_found ?(name = "NotFound") msg = raise (NotFoundError (name, msg))
 
 let use_dpop_nonce () = raise UseDpopNonceError
 
+let printer = function
+  | InvalidRequestError (error, message) ->
+      Some (Printf.sprintf "Invalid request (%s): %s" error message)
+  | InternalServerError (error, message) ->
+      Some (Printf.sprintf "Internal server error (%s): %s" error message)
+  | AuthError (error, message) ->
+      Some (Printf.sprintf "Auth error (%s): %s" error message)
+  | NotFoundError (error, message) ->
+      Some (Printf.sprintf "Not found (%s): %s" error message)
+  | UseDpopNonceError ->
+      Some "Use DPoP nonce"
+  | _ ->
+      None
+
 let exn_to_response exn =
   let format_response error msg status =
     Dream.json ~status @@ Yojson.Safe.to_string
diff --git a/pegasus/lib/jwt.ml b/pegasus/lib/jwt.ml
index 476585b..342d1fd 100644
--- a/pegasus/lib/jwt.ml
+++ b/pegasus/lib/jwt.ml
@@ -120,3 +120,88 @@ let generate_service_jwt ~did ~aud ~lxm ~signing_key =
   let exp = now_s + Defaults.service_token_exp in
   let payload = service_jwt_to_yojson {iss= did; aud; lxm; exp} in
   sign_jwt payload ~signing_key
+
+type verify_jwt_error =
+  | AuthRequired of string
+  | ExpiredToken of string
+  | InvalidToken of string
+  | InternalError of string
+
+(* if no did is provided, iss did will be assumed to be correct *)
+let verify_service_jwt ~nsid ?did ~(verify_sig : string -> string -> 'a) token =
+  match decode_jwt token with
+  | Error e ->
+      Lwt.return_error @@ AuthRequired e
+  | Ok (_header, payload) -> (
+    try
+      let open Yojson.Safe.Util in
+      let iss = payload |> member "iss" |> to_string in
+      let aud = payload |> member "aud" |> to_string in
+      let exp = payload |> member "exp" |> to_int in
+      let lxm = payload |> member "lxm" |> to_string_option in
+      let now = int_of_float (Unix.gettimeofday ()) in
+      if exp < now then Lwt.return_error @@ ExpiredToken "token expired"
+      else if aud <> Env.did then
+        Lwt.return_error
+        @@ InvalidToken "jwt audience does not match service did"
+      else
+        let iss_did =
+          match String.split_on_char '#' iss with did :: _ -> did | [] -> iss
+        in
+        if did <> None && Some iss_did <> did then
+          Lwt.return_error @@ InvalidToken "jwt issuer does not match did"
+        else
+          match lxm with
+          | Some l when l <> nsid && l <> "*" ->
+              Lwt.return_error
+              @@ InvalidToken ("jwt lxm " ^ l ^ " does not match " ^ nsid)
+          | _ -> (
+              let did = Option.value did ~default:iss_did in
+              match%lwt Id_resolver.Did.resolve did with
+              | Error e ->
+                  Dream.debug (fun log ->
+                      log "failed to resolve did %s: %s" did e ) ;
+                  Lwt.return_error
+                  @@ InternalError "could not resolve jwt issuer did"
+              | Ok did_doc -> (
+                match
+                  Id_resolver.Did.Document.get_verification_key did_doc
+                    "#atproto"
+                with
+                | None ->
+                    Lwt.return_error
+                    @@ InternalError "missing or bad key in issuer did doc"
+                | Some pubkey_multibase -> (
+                  match%lwt verify_sig did pubkey_multibase with
+                  | Ok creds ->
+                      Lwt.return_ok creds
+                  | Error _ -> (
+                    (* try again, skipping cache in case of key rotation *)
+                    match%lwt
+                      Id_resolver.Did.resolve ~skip_cache:true did
+                    with
+                    | Error _ ->
+                        Lwt.return_error
+                        @@ InvalidToken
+                             "jwt signature does not match jwt issuer"
+                    | Ok fresh_doc -> (
+                      match
+                        Id_resolver.Did.Document.get_verification_key fresh_doc
+                          "#atproto"
+                      with
+                      | None ->
+                          Lwt.return_error
+                          @@ InvalidToken
+                               "jwt signature does not match jwt issuer"
+                      | Some fresh_pubkey_multibase
+                        when fresh_pubkey_multibase = pubkey_multibase ->
+                          Lwt.return_error
+                          @@ InvalidToken
+                               "jwt signature does not match jwt issuer"
+                      | Some fresh_pubkey_multibase -> (
+                        match%lwt verify_sig did fresh_pubkey_multibase with
+                        | Ok creds ->
+                            Lwt.return_ok creds
+                        | Error e ->
+                            Lwt.return_error @@ InternalError e ) ) ) ) ) )
+    with _ -> Lwt.return_error @@ InvalidToken "malformed service jwt" )
diff --git a/pegasus/lib/plc.ml b/pegasus/lib/plc.ml
index 6a5b9f9..f58e2ae 100644
--- a/pegasus/lib/plc.ml
+++ b/pegasus/lib/plc.ml
@@ -165,6 +165,38 @@ let submit_operation ?(endpoint = default_endpoint) did operation :
       let%lwt body_str = Body.to_string body in
       Lwt.return_error (Http.Status.to_int res.status, body_str)
 
+let validate_operation ~handle ?signing_key (op : signed_operation) =
+  let pds_pubkey =
+    Env.rotation_key |> Kleidos.derive_pubkey |> Kleidos.pubkey_to_did_key
+  in
+  match op with
+  | Operation op -> (
+      if not (List.mem pds_pubkey op.rotation_keys) then
+        Error "rotation keys must include the PDS public key"
+      else
+        match List.assoc_opt "atproto_pds" op.services with
+        | Some {type'; endpoint}
+          when type' <> "AtprotoPersonalDataServer"
+               || endpoint <> Env.host_endpoint ->
+            Error "invalid atproto_pds service"
+        | _ ->
+            let actor_pubkey =
+              signing_key
+              |> Option.map (fun sk ->
+                  sk |> Kleidos.parse_multikey_str |> Kleidos.derive_pubkey
+                  |> Kleidos.pubkey_to_did_key )
+            in
+            if
+              actor_pubkey <> None
+              && List.assoc_opt "atproto" op.verification_methods
+                 <> actor_pubkey
+            then Error "incorrect atproto signing key"
+            else if List.hd op.also_known_as <> "at://" ^ handle then
+              Error "incorrect handle"
+            else Ok () )
+  | Tombstone _ ->
+      Ok ()
+
 let did_of_operation operation : string =
   let cbor = signed_operation_to_yojson operation |> Dag_cbor.encode_yojson in
   let digest = Digestif.SHA256.(cbor |> digest_bytes |> to_raw_string) in
diff --git a/pegasus/lib/repository.ml b/pegasus/lib/repository.ml
index 819f94c..f192ffc 100644
--- a/pegasus/lib/repository.ml
+++ b/pegasus/lib/repository.ml
@@ -146,6 +146,7 @@ type write_result =
 type t =
   { key: Kleidos.key
   ; did: string
+  ; actor: Data_store.Types.actor
   ; db: User_store.t
   ; mutable commit: (Cid.t * signed_commit) option }
 
@@ -422,7 +423,7 @@ let load ?create ?(ensure_active = false) did : t Lwt.t =
       Errors.invalid_request ~name:"RepoNotFound"
         "your princess is in another castle"
   in
-  let%lwt {signing_key; _} =
+  let%lwt actor =
     match%lwt Data_store.get_actor_by_identifier did ds_conn with
     | Some actor when ensure_active = false || actor.deactivated_at = None ->
         Lwt.return actor
@@ -432,9 +433,9 @@ let load ?create ?(ensure_active = false) did : t Lwt.t =
     | None ->
         failwith ("failed to retrieve actor for " ^ did)
   in
-  let key = Kleidos.parse_multikey_str signing_key in
+  let key = Kleidos.parse_multikey_str actor.signing_key in
   let%lwt commit = User_store.get_commit user_db in
-  Lwt.return {key; did; db= user_db; commit}
+  Lwt.return {key; did; actor; db= user_db; commit}
 
 let export_car t : Car.stream Lwt.t =
   let%lwt root, commit =
diff --git a/pegasus/lib/util.ml b/pegasus/lib/util.ml
index ba2e9e8..76a470f 100644
--- a/pegasus/lib/util.ml
+++ b/pegasus/lib/util.ml
@@ -460,6 +460,13 @@ let make_headers headers =
           headers )
     (Http.Header.init ()) headers
 
+let str_contains ~affix str =
+  let re = Str.regexp_string affix in
+  try
+    ignore (Str.search_forward re str 0) ;
+    true
+  with Not_found -> false
+
 module type Template = sig
   type props
 
diff --git a/public/main.css b/public/main.css
index 1dabba9..e2db30a 100644
--- a/public/main.css
+++ b/public/main.css
@@ -64,4 +64,9 @@
 	--shadow-shimmer: inset 0 0 1em #90bbeea6;
 	--shadow-glow: inset 0 0 1.25em #2d37ba80;
 	--shadow-bleed: inset 0 0 1.25em #db4c6473;
+	--shadow-elixir:
+		0 0 3px 1px rgba(166, 144, 241, 0.25),
+		-1px 2px 8px 0 rgba(141, 109, 216, 0.7) inset,
+		1px 3px 8px 0 rgba(184, 176, 219, 0.8) inset,
+		2px -2px 8px 0 rgba(68, 57, 119, 0.9) inset;
 }
-- 
2.54.0